|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
end
is called after the fixed point analysis of the control flow
graph cfg
has ended.
end
is called after the fixed point analysis of the control flow
graph cfg
has ended.
EntryPoint
represents the entry point of a control flow graph._node_
.
EOF
token represents the end-of-file marker from an input-file.EOF
token with no line and position information.
EOF
token with the given line and position information.
EOF
token that is an alias of the given token.
Equalitor
defines an interface for an
abstraction of the equals
and hashCode
methods.EqualityElement
encapsulates elements of type T
with an
Equalitor
of the same type.EqualityElement
encapsulating element
with
the Equalitor
equalitor
.
EqualityMap
implements a Map
where equality of key elements
can be abstracted using an Equalitor
, i.e. key elements are in the
set are regarded as equal based on Equalitor.equals(Object, Object)
.IdentityEqualitor
as equalitor
on key elements.
equalitor
as equalitor on key
elements.
EqualitySet
implements a Set
where equality of elements can
be abstracted using an Equalitor
, i.e. elements in the set are
regarded as equal based on Equalitor.equals(Object, Object)
.EqualitySet
using the
IdentityEqualitor
as equalitor.
EqualitySet
using the IdentityEqualitor
as
equalitor, initially containing the elements in c
.
EqualitySet
using equalitor
as the
equalitor.
EqualitySet
using equalitor
as the
equalitor, initially containing the elements in c
.
EqualitySet
containing the elements of set
with
equalitor
as the equalitor.
true
if the sets a
and b
represent the
same element in this set lattice.
true
if the maps a
and b
represent the
same element in this map lattice.
true
if the sets a
and b
represent the
same element in this set lattice.
true
if the elements a
and b
are equal
according to this {link Equalitor}.
false
if o
is not an EqualityElement
,
otherwise EqualityElement.equals(EqualityElement)
.
Equalitor.equals(Object, Object)
from the equalitor
on the encapsulated element and element
.
true
if the two expressions are regard as the same binary
expression.
true
if the object o
is an instance
ExpressionEqualitor
.
true
if the elements a
and b
are equal
according to this {link Equalitor}.
ExitPoint
represents the exit point of a control flow graph._node_
.
true
, expands all nodes in the tree.
ExpressionEqualitor
define an equality on binary expressions, such
that for instance two different occurences of the binary expression a-b
are regarded the same expression.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |