org.checkerframework.dataflow.cfg

Class UnderlyingAST

java.lang.Object

org.checkerframework.dataflow.cfg.UnderlyingAST

Direct Known Subclasses:

UnderlyingAST.CFGLambda, UnderlyingAST.CFGMethod, UnderlyingAST.CFGStatement

public abstract class UnderlyingAST
extends Object

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

Author:

Stefan Heule

Nested Class Summary

Nested Classes

Modifier and Type	Class and 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 class	UnderlyingAST.Kind

Field Summary

Fields

Modifier and Type	Field and Description
protected UnderlyingAST.Kind	kind

Constructor Summary

Constructors

Constructor and Description
UnderlyingAST(UnderlyingAST.Kind kind)

Method Summary

Modifier and Type	Method and Description
abstract Tree	getCode()
UnderlyingAST.Kind	getKind()

Methods inherited from class java.lang.Object

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

Field Detail

kind

protected final UnderlyingAST.Kind kind

Constructor Detail

UnderlyingAST

public UnderlyingAST(UnderlyingAST.Kind kind)

Method Detail

getCode

public abstract Tree getCode()

Returns:

the code that corresponds to the CFG

getKind

public UnderlyingAST.Kind getKind()