org.checkerframework.dataflow.cfg.node

Class Node

java.lang.Object

org.checkerframework.dataflow.cfg.node.Node

Direct Known Subclasses:

ArrayAccessNode, ArrayCreationNode, ArrayTypeNode, AssertionErrorNode, AssignmentNode, BitwiseAndNode, BitwiseComplementNode, BitwiseOrNode, BitwiseXorNode, CaseNode, ClassNameNode, ConditionalAndNode, ConditionalNotNode, ConditionalOrNode, EqualToNode, FieldAccessNode, FloatingDivisionNode, FloatingRemainderNode, FunctionalInterfaceNode, GreaterThanNode, GreaterThanOrEqualNode, InstanceOfNode, IntegerDivisionNode, IntegerRemainderNode, LeftShiftNode, LessThanNode, LessThanOrEqualNode, LocalVariableNode, MarkerNode, MethodAccessNode, MethodInvocationNode, NarrowingConversionNode, NotEqualNode, NullChkNode, NumericalAdditionNode, NumericalMinusNode, NumericalMultiplicationNode, NumericalPlusNode, NumericalSubtractionNode, ObjectCreationNode, PackageNameNode, ParameterizedTypeNode, PrimitiveTypeNode, ReturnNode, SignedRightShiftNode, StringConcatenateAssignmentNode, StringConcatenateNode, StringConversionNode, SuperNode, SynchronizedNode, TernaryExpressionNode, ThisLiteralNode, ThrowNode, TypeCastNode, UnsignedRightShiftNode, ValueLiteralNode, VariableDeclarationNode, WideningConversionNode

public abstract class Node
extends Object

A node in the abstract representation used for Java code inside a basic block.

The following invariants hold:

 block == null || block instanceof RegularBlock || block instanceof ExceptionBlock
 block instanceof RegularBlock ==> block.getContents().contains(this)
 block instanceof ExceptionBlock ==> block.getNode() == this
 block == null <==> "This object represents a parameter of the method."
 

 type != null
 tree != null ==> node.getType() == InternalUtils.typeOf(node.getTree())
 

Author:

Stefan Heule

Field Summary

Fields

Modifier and Type	Field and Description
protected @Nullable AssignmentContext	assignmentContext The assignment context of this node.
protected @Nullable Block	block The basic block this node belongs to (see invariant about this field above).
protected boolean	inSource Does this node represent a tree that appears in the source code (true) or one that the CFG builder added while desugaring (false).
protected boolean	lvalue Is this node an l-value?
protected TypeMirror	type The type of this node.

Constructor Summary

Constructors

Constructor and Description
Node(TypeMirror type)

Method Summary

Modifier and Type	Method and Description
abstract <R,P> R	accept(NodeVisitor<R,P> visitor, P p) Accept method of the visitor pattern
AssignmentContext	getAssignmentContext()
@Nullable Block	getBlock()
boolean	getInSource()
abstract Collection<Node>	getOperands()
Collection<Node>	getTransitiveOperands()
abstract @Nullable Tree	getTree() Returns the Tree in the abstract syntax tree, or null if no corresponding tree exists.
TypeMirror	getType() Returns a TypeMirror representing the type of a Node A Node will always have a type even when it has no Tree.
boolean	isLValue()
void	setAssignmentContext(AssignmentContext assignmentContext)
void	setBlock(Block b) Set the basic block this node belongs to.
void	setInSource(boolean inSrc)
void	setLValue() Make this node an l-value.

Methods inherited from class java.lang.Object

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

Field Detail

block

protected @Nullable Block block

The basic block this node belongs to (see invariant about this field above).

lvalue

protected boolean lvalue

Is this node an l-value?

assignmentContext

protected @Nullable AssignmentContext assignmentContext

The assignment context of this node. See AssignmentContext.

inSource

protected boolean inSource

Does this node represent a tree that appears in the source code (true) or one that the CFG builder added while desugaring (false).

type

protected final TypeMirror type

The type of this node. For Nodes with Trees, this type is the type of the Tree. Otherwise, it is the type is set by the CFGBuilder.

Constructor Detail

Node

public Node(TypeMirror type)

Method Detail

getBlock

public @Nullable Block getBlock()

Returns:

The basic block this node belongs to (or null if it represents the parameter of a method).

setBlock

public void setBlock(Block b)

Set the basic block this node belongs to.

getTree

public abstract @Nullable Tree getTree()

Returns the Tree in the abstract syntax tree, or null if no corresponding tree exists. For instance, this is the case for an ImplicitThisLiteralNode.

Returns:

The corresponding Tree or null.

getType

public TypeMirror getType()

Returns a TypeMirror representing the type of a Node A Node will always have a type even when it has no Tree.

Returns:

A TypeMirror representing the type of this Node.

accept

public abstract <R,P> R accept(NodeVisitor<R,P> visitor,
                               P p)

Accept method of the visitor pattern

Type Parameters:

R - Result type of the operation.

P - Parameter type.

Parameters:

visitor - The visitor to be applied to this node.

p - The parameter for this operation.

isLValue

public boolean isLValue()

setLValue

public void setLValue()

Make this node an l-value.

getInSource

public boolean getInSource()

setInSource

public void setInSource(boolean inSrc)

getAssignmentContext

public AssignmentContext getAssignmentContext()

setAssignmentContext

public void setAssignmentContext(AssignmentContext assignmentContext)

getOperands

public abstract Collection<Node> getOperands()

Returns:

A collection containing all of the operand Nodes of this Node.

getTransitiveOperands

public Collection<Node> getTransitiveOperands()

Returns:

A collection containing all of the operand Nodes of this Node, as well as (transitively) the operands of its operands.