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
@Nullable Tree	getContextTree() Returns the context tree.
@Nullable 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 @Nullable 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 @Nullable Tree getContextTree()

Description copied from class: AssignmentContext

Returns the context tree.

Specified by:

getContextTree in class AssignmentContext