|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
args
children of this AFunctionCallExp
node.
args
children of this AFunctionPtrCallExp
node.
binop
child of this ABinopExp
node.
block
child of this ABlockStm
node.
block
child of this ABody
node.
block
child of this PBody
node.
body
child of this AFuncDecl
node.
body
child of this AIfThenStm
node.
body
child of this AWhileStm
node.
code
field of this AProgram
node.
code
field of this PProgram
node.
condition
child of this AIfThenElseStm
node.
condition
child of this AIfThenStm
node.
condition
child of this AWhileStm
node.
decl
children of this ADeclStm
node.
decl
field of this TIdentifier
node.
declared
field of this ALocalDecl
node.
else_body
child of this AIfThenElseStm
node.
eof
child of this Start
node.
exp
child of this AAssignVarStm
node.
exp
child of this ADerefExp
node.
exp
child of this AFunctionPtrCallExp
node.
exp
child of this AOutputStm
node.
exp
child of this AReturnStm
node.
formals
children of this AFuncDecl
node.
function_env
field of this AProgram
node.
function_env
field of this PProgram
node.
functions
children of this AProgram
node.
functions
children of this PProgram
node.
identifier
child of this AAssignVarStm
node.
identifier
child of this AFunctionCallExp
node.
identifier
child of this APointerExp
node.
identifier
child of this AVarExp
node.
Object
o
to be a associated with the Node
node
in the in
map.
Object
o
to be a associated with the Node
node
in the in
map.
index
field of this AFuncDecl
node.
index
field of this ALocalDecl
node.
index
field of this PDecl
node.
instructions
field of this ABody
node.
instructions
field of this PBody
node.
integer_const
child of this AIntConstExp
node.
left
child of this AAssignPtrStm
node.
left
child of this ABinopExp
node.
local_env
field of this ABlock
node.
local_env
field of this PBlock
node.
malloc_index
field of this AMallocExp
node.
malloc_index
field of this ITarget
node.
name
child of this AFuncDecl
node.
name
child of this ALocalDecl
node.
name
child of this PDecl
node.
num_args
field of this AFuncDecl
node.
num_locals
field of this AFuncDecl
node.
Object
o
to be a associated with the Node
node
in the out
map.
Object
o
to be a associated with the Node
node
in the out
map.
program
child of this Start
node.
right
child of this AAssignPtrStm
node.
right
child of this ABinopExp
node.
statements
children of this ABlock
node.
statements
children of this PBlock
node.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
Token.setText(String)
method.
then_body
child of this AIfThenElseStm
node.
token
child of this AAssignPtrStm
node.
token
child of this AAssignVarStm
node.
token
child of this ABlockStm
node.
token
child of this ADeclStm
node.
token
child of this ADerefExp
node.
token
child of this ADivideBinop
node.
token
child of this AEqBinop
node.
token
child of this AGtBinop
node.
token
child of this AIfThenElseStm
node.
token
child of this AIfThenStm
node.
token
child of this AMinusBinop
node.
token
child of this AOutputStm
node.
token
child of this APlusBinop
node.
token
child of this APointerExp
node.
token
child of this AReturnStm
node.
token
child of this ATimesBinop
node.
token
child of this AWhileStm
node.
type
field of this ABinopExp
node.
type
field of this ADerefExp
node.
type
field of this AFunctionCallExp
node.
type
field of this AFunctionPtrCallExp
node.
type
field of this AInputExp
node.
type
field of this AIntConstExp
node.
type
field of this AMallocExp
node.
type
field of this ANullExp
node.
type
field of this APointerExp
node.
type
field of this AVarExp
node.
type
field of this ITarget
node.
type
field of this ITyped
node.
type
field of this PExp
node.
type
field of this TIdentifier
node.
value
field of this AIntConstExp
node.
newVariable
as the variable for point
.
ShapeAnalysis
implements the Shape analysis for computing points-to
maps.ShapeAnalysis
.
start
is called before the fixed point analysis of the control
flow graph cfg
is started.
start
is called before the fixed point analysis of the control
flow graph cfg
is started.
Start
node is the topmost node in the AST.Start
node with no children.
Start
node with the given nodes as children.
Stringifiable
defines an interface for declaring the
applicability of the Stringifier
interface.Stringifier
defines an interface for abstracting the toString
method.SubExpressions
implements the CFGAnswerAdapter
to retrieve
child nodes accepted by a NodeFilter
in subexpressions of nodes
associated with program points in a control flow graph.SubExpressions
instance using the
NodeFilter
filter
for filtering nodes.
SubTypeFilter
implements the NodeFilter
interface by
accepting all nodes that are subtypes of the class given in the constructor and
guarding on no nodes.SubTypeFilter
using subtype relation of classT
as filtering criterion.
cfg
in this control flow graph.
cfg
in this control flow graph.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |