Package org.checkerframework.dataflow.cfg

Class UnderlyingAST

java.lang.Object

org.checkerframework.dataflow.cfg.UnderlyingAST

All Implemented Interfaces:

org.plumelib.util.UniqueId

Direct Known Subclasses:

UnderlyingAST.CFGLambda, UnderlyingAST.CFGMethod, UnderlyingAST.CFGStatement

public abstract class UnderlyingAST
extends Object
implements org.plumelib.util.UniqueId

Represents an abstract syntax tree of type Tree that underlies a given control flow graph.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	UnderlyingAST.CFGLambda	If the underlying AST is a lambda.
static class	UnderlyingAST.CFGMethod	If the underlying AST is a method.
static class	UnderlyingAST.CFGStatement	If the underlying AST is a statement or expression.
static enum	UnderlyingAST.Kind	The kinds of underlying ASTs.

Field Summary

Fields

Modifier and Type	Field	Description
protected final UnderlyingAST.Kind	kind	The kind of the underlying AST.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	UnderlyingAST(UnderlyingAST.Kind kind)	Creates an UnderlyingAST.

Method Summary

Modifier and Type	Method	Description
abstract Tree	getCode()	Returns the code that corresponds to the CFG.
UnderlyingAST.Kind	getKind()
long	getUid()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid

Field Details

kind

protected final UnderlyingAST.Kind kind

The kind of the underlying AST.

Constructor Details

UnderlyingAST

protected UnderlyingAST(UnderlyingAST.Kind kind)

Creates an UnderlyingAST.

Parameters:

kind - the kind of the AST

Method Details

getUid

public long getUid(@UnknownInitialization UnderlyingAST this)

Specified by:

getUid in interface org.plumelib.util.UniqueId

getCode

public abstract Tree getCode()

Returns the code that corresponds to the CFG. For a method or lamdda, this returns the body. For other constructs, it returns the tree itself (a statement or expression).

Returns:

the code that corresponds to the CFG

getKind

public UnderlyingAST.Kind getKind()