org.checkerframework.dataflow.cfg.node

Class AssignmentContext.AssignmentLhsContext

java.lang.Object

org.checkerframework.dataflow.cfg.node.AssignmentContext

org.checkerframework.dataflow.cfg.node.AssignmentContext.AssignmentLhsContext

Enclosing class:

AssignmentContext

public static class AssignmentContext.AssignmentLhsContext
extends AssignmentContext

An assignment context for an assignment 'lhs = rhs'.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.dataflow.cfg.node.AssignmentContext

AssignmentContext.AssignmentLhsContext, AssignmentContext.LambdaReturnContext, AssignmentContext.MethodParameterContext, AssignmentContext.MethodReturnContext

Field Summary

Fields

Modifier and Type	Field and Description
protected Node	node

Constructor Summary

Constructors

Constructor and Description
AssignmentLhsContext(Node node)

Method Summary

Modifier and Type	Method and Description
Tree	getContextTree()
Element	getElementForType() Returns an Element that has the type of this assignment context.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

node

protected final Node node

Constructor Detail

AssignmentLhsContext

public AssignmentLhsContext(Node node)

Method Detail

getElementForType

public Element getElementForType()

Description copied from class: AssignmentContext

Returns an Element that has the type of this assignment context.

Specified by:

getElementForType in class AssignmentContext

getContextTree

public Tree getContextTree()

Specified by:

getContextTree in class AssignmentContext