|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
NodeFilter
filter
.
classType
.
classType
.
NodeFilter
filter
.
classType
.
classType
.
PExp
nodes that are the args
children of this AFunctionCallExp
node.
PExp
nodes that are the args
children of this AFunctionPtrCallExp
node.
PBinop
node which is the binop
child of this ABinopExp
node.
ABlock
node which is the block
child of this ABlockStm
node.
ABlock
node which is the block
child of this ABody
node.
ABlock
node which is the block
child of this PBody
node.
ABody
node which is the body
child of this AFuncDecl
node.
PStm
node which is the body
child of this AIfThenStm
node.
PStm
node which is the body
child of this AWhileStm
node.
AAssignPtrStm
node that are
accepted by the NodeFilter
filter
to collection
.
AAssignVarStm
node that are
accepted by the NodeFilter
filter
to collection
.
ABinopExp
node that are
accepted by the NodeFilter
filter
to collection
.
ABlock
node that are
accepted by the NodeFilter
filter
to collection
.
ABlockStm
node that are
accepted by the NodeFilter
filter
to collection
.
ABody
node that are
accepted by the NodeFilter
filter
to collection
.
ADeclStm
node that are
accepted by the NodeFilter
filter
to collection
.
ADerefExp
node that are
accepted by the NodeFilter
filter
to collection
.
ADivideBinop
node that are
accepted by the NodeFilter
filter
to collection
.
AEqBinop
node that are
accepted by the NodeFilter
filter
to collection
.
AFuncDecl
node that are
accepted by the NodeFilter
filter
to collection
.
AFunctionCallExp
node that are
accepted by the NodeFilter
filter
to collection
.
AFunctionPtrCallExp
node that are
accepted by the NodeFilter
filter
to collection
.
AGtBinop
node that are
accepted by the NodeFilter
filter
to collection
.
AIfThenElseStm
node that are
accepted by the NodeFilter
filter
to collection
.
AIfThenStm
node that are
accepted by the NodeFilter
filter
to collection
.
AInputExp
node that are
accepted by the NodeFilter
filter
to collection
.
AIntConstExp
node that are
accepted by the NodeFilter
filter
to collection
.
ALocalDecl
node that are
accepted by the NodeFilter
filter
to collection
.
AMallocExp
node that are
accepted by the NodeFilter
filter
to collection
.
AMinusBinop
node that are
accepted by the NodeFilter
filter
to collection
.
ANullExp
node that are
accepted by the NodeFilter
filter
to collection
.
AOutputStm
node that are
accepted by the NodeFilter
filter
to collection
.
APlusBinop
node that are
accepted by the NodeFilter
filter
to collection
.
APointerExp
node that are
accepted by the NodeFilter
filter
to collection
.
AProgram
node that are
accepted by the NodeFilter
filter
to collection
.
AReturnStm
node that are
accepted by the NodeFilter
filter
to collection
.
ATimesBinop
node that are
accepted by the NodeFilter
filter
to collection
.
AVarExp
node that are
accepted by the NodeFilter
filter
to collection
.
AWhileStm
node that are
accepted by the NodeFilter
filter
to collection
.
Node
node that are
accepted by the NodeFilter
filter
to collection
.
NodeFilter
filter
.
classType
.
NodeInterface
node that are
accepted by the NodeFilter
filter
to collection
.
NodeFilter
filter
.
classType
.
Start
node that are
accepted by the NodeFilter
filter
to collection
.
Token
node that are
accepted by the NodeFilter
filter
to collection
.
code
field of this AProgram
node.
code
field of this PProgram
node.
PExp
node which is the condition
child of this AIfThenElseStm
node.
PExp
node which is the condition
child of this AIfThenStm
node.
PExp
node which is the condition
child of this AWhileStm
node.
ALocalDecl
nodes that are the decl
children of this ADeclStm
node.
decl
field of this TIdentifier
node.
declared
field of this ALocalDecl
node.
IProgramPoint
s that are dependent on point
.
IProgramPoint
s that are dependent on point
.
IProgramPoint
s that depend upon point
.
IProgramPoint
s that depend upon point
.
IProgramPoint
s that are dependent on point
.
AAssignPtrStm
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AAssignVarStm
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
ABinopExp
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
ABlock
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
ABlockStm
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
ABody
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
ADeclStm
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
ADerefExp
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
ADivideBinop
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AEqBinop
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AFuncDecl
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AFunctionCallExp
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AFunctionPtrCallExp
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AGtBinop
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AIfThenElseStm
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AIfThenStm
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AInputExp
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AIntConstExp
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
ALocalDecl
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AMallocExp
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AMinusBinop
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
ANullExp
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AOutputStm
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
APlusBinop
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
APointerExp
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AProgram
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AReturnStm
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
ATimesBinop
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AVarExp
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
AWhileStm
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
Node
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
NodeFilter
filter
.
classType
.
classType
.
NodeInterface
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
NodeFilter
filter
.
classType
.
classType
.
Start
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
Token
node (including the node itself) that are
accepted by the NodeFilter
filter
to collection
.
Equalitor
used for the domain elements.
PStm
node which is the else_body
child of this AIfThenElseStm
node.
EOF
node which is the eof
child of this Start
node.
Equalitor
used for equality on key elements.
Equalitor
used for element equality.
PExp
node which is the exp
child of this AAssignVarStm
node.
PExp
node which is the exp
child of this ADerefExp
node.
PExp
node which is the exp
child of this AFunctionPtrCallExp
node.
PExp
node which is the exp
child of this AOutputStm
node.
PExp
node which is the exp
child of this AReturnStm
node.
ALocalDecl
nodes that are the formals
children of this AFuncDecl
node.
function_env
field of this AProgram
node.
function_env
field of this PProgram
node.
AFuncDecl
nodes that are the functions
children of this AProgram
node.
AFuncDecl
nodes that are the functions
children of this PProgram
node.
TIdentifier
node which is the identifier
child of this AAssignVarStm
node.
TIdentifier
node which is the identifier
child of this AFunctionCallExp
node.
TIdentifier
node which is the identifier
child of this APointerExp
node.
TIdentifier
node which is the identifier
child of this AVarExp
node.
Object
associated with the Node
node
in the in
map.
Object
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.
TIntegerConst
node which is the integer_const
child of this AIntConstExp
node.
IProgramPoint
s that are point
depends
upon.
IProgramPoint
s that are point
depends
upon.
IProgramPoint
s that are point
depends
upon.
Lattice
used an analysis in progress.
a
and b
according to this set lattice.
a
and
b
.
a
and b
according to this map lattice.
a
and b
according to this set lattice.
PExp
node which is the left
child of this AAssignPtrStm
node.
PExp
node which is the 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.
TIdentifier
node which is the name
child of this AFuncDecl
node.
TIdentifier
node which is the name
child of this ALocalDecl
node.
TIdentifier
node which is the name
child of this PDecl
node.
Node
in the AST associated with this program point.
AAssignPtrStm
associated with this program point.
AAssignVarStm
associated with this program point.
ABinopExp
associated with this program point.
ABlock
associated with this program point.
ADeclStm
associated with this program point.
ADerefExp
associated with this program point.
AFunctionCallExp
associated with this program point.
AFunctionPtrCallExp
associated with this program point.
AIfThenElseStm
associated with this program point.
AIfThenStm
associated with this program point.
AInputExp
associated with this program point.
AIntConstExp
associated with this program point.
AMallocExp
associated with this program point.
ANullExp
associated with this program point.
AOutputStm
associated with this program point.
APointerExp
associated with this program point.
AReturnStm
associated with this program point.
AVarExp
associated with this program point.
AWhileStm
associated with this program point.
Node
in the AST associated with this program point.
collection
.
collection
.
Answer.caseAAssignPtrStm(AAssignPtrStm)
on nodeText
.
Answer.caseAAssignVarStm(AAssignVarStm)
on nodeText
.
Answer.caseABinopExp(ABinopExp)
on nodeText
.
Answer.caseABlock(ABlock)
on nodeText
.
Answer.caseADeclStm(ADeclStm)
on nodeText
.
Answer.caseADerefExp(ADerefExp)
on nodeText
.
Answer.caseAFunctionCallExp(AFunctionCallExp)
on nodeText
.
Answer.caseAFunctionPtrCallExp(AFunctionPtrCallExp)
on nodeText
.
Answer.caseAIfThenElseStm(AIfThenElseStm)
on nodeText
.
Answer.caseAIfThenStm(AIfThenStm)
on nodeText
.
Answer.caseAInputExp(AInputExp)
on nodeText
.
Answer.caseAIntConstExp(AIntConstExp)
on nodeText
.
Answer.caseAMallocExp(AMallocExp)
on nodeText
.
Answer.caseANullExp(ANullExp)
on nodeText
.
Answer.caseAOutputStm(AOutputStm)
on nodeText
.
Answer.caseAPointerExp(APointerExp)
on nodeText
.
Answer.caseAReturnStm(AReturnStm)
on nodeText
.
Answer.caseAVarExp(AVarExp)
on nodeText
.
Answer.caseAWhileStm(AWhileStm)
on nodeText
.
"{entry}"
.
"{exit}"
.
Answer
nodeText
.
num_args
field of this AFuncDecl
node.
num_locals
field of this AFuncDecl
node.
Object
associated with the Node
node
in the out
map.
Object
associated with the Node
node
in the out
map.
AProgram
node which is the program
child of this Start
node.
Lattice
for the range elements.
PExp
node which is the right
child of this AAssignPtrStm
node.
PExp
node which is the right
child of this ABinopExp
node.
PStm
nodes that are the statements
children of this ABlock
node.
PStm
nodes that are the statements
children of this PBlock
node.
PDecl
of this DeclarationTarget
.
AMallocExp
of this MallocTarget
.
PStm
node which is the then_body
child of this AIfThenElseStm
node.
TAssign
node which is the token
child of this AAssignPtrStm
node.
TAssign
node which is the token
child of this AAssignVarStm
node.
TLBrace
node which is the token
child of this ABlockStm
node.
TVar
node which is the token
child of this ADeclStm
node.
TStar
node which is the token
child of this ADerefExp
node.
TDiv
node which is the token
child of this ADivideBinop
node.
TEq
node which is the token
child of this AEqBinop
node.
TGt
node which is the token
child of this AGtBinop
node.
TLPar
node which is the token
child of this AIfThenElseStm
node.
TLPar
node which is the token
child of this AIfThenStm
node.
TMinus
node which is the token
child of this AMinusBinop
node.
TOutput
node which is the token
child of this AOutputStm
node.
TPlus
node which is the token
child of this APlusBinop
node.
TAnd
node which is the token
child of this APointerExp
node.
TReturn
node which is the token
child of this AReturnStm
node.
TStar
node which is the token
child of this ATimesBinop
node.
TLPar
node which is the token
child of this AWhileStm
node.
Token
node which is the token
child of this PBinop
node.
Token
node which is the token
child of this PStm
node.
v
as computed by the
algorithm from the added constraints
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.
point
.
point
.
variable
.
variable
.
variable
.
point
.
point
only
including information relevant for points in the distance
vicinity of point
.
point
.
point
only
included information relevant for points in the distance
vicinity
of point
.
distance
successors
or predecessors.
distance
successors
or predecessors.
true
if node
guards further processesing.
true
if node
guards further processesing.
true
if node
guards further processesing.
GuardedSubTypeFilter
implements the NodeFilter
interface by
accepting all nodes that are subtypes of the first class and
guarding on all nodes that are subtypes of the second class given in the constructor.SubTypeFilter
using subtype relation of classT
as filtering criterion and subtype relation of guardClass
as
guarding criterion.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |