A B C D E F G H I J K L M N O P Q R S T U V W _

E

EBinop - Enum in tip.node
 
EDecl - Enum in tip.node
 
EExp - Enum in tip.node
 
end(ICFG) - Method in interface tip.cfg.FixedPointAnalysis
end is called after the fixed point analysis of the control flow graph cfg has ended.
end(ICFG) - Method in class tip.cfg.FlowAnalysis
end is called after the fixed point analysis of the control flow graph cfg has ended.
EntryPoint - Class in tip.cfg
EntryPoint represents the entry point of a control flow graph.
EntryPoint() - Constructor for class tip.cfg.EntryPoint
Creates a new entry point with no associated node.
EntryPoint(Node) - Constructor for class tip.cfg.EntryPoint
Creates a new entry point associated with _node_.
entrySet() - Method in class tip.util.EqualityMap
Environments - Class in tip.phases
 
Environments() - Constructor for class tip.phases.Environments
 
EnvironmentsDisplay - Class in tip.display
 
EnvironmentsDisplay() - Constructor for class tip.display.EnvironmentsDisplay
 
EOF - Class in tip.node
The EOF token represents the end-of-file marker from an input-file.
EOF() - Constructor for class tip.node.EOF
Creates a new EOF token with no line and position information.
EOF(int, int) - Constructor for class tip.node.EOF
Creates a new EOF token with the given line and position information.
EOF(Token) - Constructor for class tip.node.EOF
Creates a new EOF token that is an alias of the given token.
EQ_op - Static variable in class tip.cfg.dfa.SignAnalysis
 
Equalitor<T> - Interface in tip.util
Equalitor defines an interface for an abstraction of the equals and hashCode methods.
EqualityElement<T> - Class in tip.util
EqualityElement encapsulates elements of type T with an Equalitor of the same type.
EqualityElement(T, Equalitor<T>) - Constructor for class tip.util.EqualityElement
Creates a new EqualityElement encapsulating element with the Equalitor equalitor.
EqualityMap<K,V> - Class in tip.util
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).
EqualityMap() - Constructor for class tip.util.EqualityMap
Creates a new empty map using IdentityEqualitor as equalitor on key elements.
EqualityMap(Equalitor<K>) - Constructor for class tip.util.EqualityMap
Create a new empty map using equalitor as equalitor on key elements.
EqualitySet<E> - Class in tip.util
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() - Constructor for class tip.util.EqualitySet
Creates a new empty EqualitySet using the IdentityEqualitor as equalitor.
EqualitySet(Collection<E>) - Constructor for class tip.util.EqualitySet
Create a new EqualitySet using the IdentityEqualitor as equalitor, initially containing the elements in c.
EqualitySet(Equalitor<E>) - Constructor for class tip.util.EqualitySet
Creates a new empty EqualitySet using equalitor as the equalitor.
EqualitySet(Collection<E>, Equalitor<E>) - Constructor for class tip.util.EqualitySet
Creates a new EqualitySet using equalitor as the equalitor, initially containing the elements in c.
EqualitySet(Set<EqualityElement<E>>, Equalitor<E>) - Constructor for class tip.util.EqualitySet
Create an EqualitySet containing the elements of set with equalitor as the equalitor.
equals(Object) - Method in class tip.cfg.DeclarationTarget
equals(ConstantPropagationAnalysis.Const, ConstantPropagationAnalysis.Const) - Method in class tip.cfg.dfa.ConstantPropagationAnalysis.ConstLattice
 
equals(DivisionAnalysis.Div, DivisionAnalysis.Div) - Method in enum tip.cfg.dfa.DivisionAnalysis.Div
 
equals(Object) - Method in class tip.cfg.dfa.IntervalAnalysis.Interval
 
equals(IntervalAnalysis.Interval, IntervalAnalysis.Interval) - Method in class tip.cfg.dfa.IntervalAnalysis.Interval
 
equals(NullPointerAnalysis.Null, NullPointerAnalysis.Null) - Method in class tip.cfg.dfa.NullPointerAnalysis.NullLattice
 
equals(Object) - Method in class tip.cfg.dfa.NullPointerAnalysis.NullLattice
 
equals(SignAnalysis.Sign, SignAnalysis.Sign) - Method in class tip.cfg.dfa.SignAnalysis.SignLattice
 
equals(Object) - Method in class tip.cfg.dfa.SignAnalysis.SignLattice
 
equals(EqualitySet<L>, EqualitySet<L>) - Method in class tip.cfg.IntersectionSetLattice
Returns true if the sets a and b represent the same element in this set lattice.
equals(Object) - Method in class tip.cfg.MallocTarget
equals(EqualityMap<A, L>, EqualityMap<A, L>) - Method in class tip.cfg.MapLattice
Returns true if the maps a and b represent the same element in this map lattice.
equals(Object) - Method in interface tip.cfg.Target
equals(EqualitySet<L>, EqualitySet<L>) - Method in class tip.cfg.UnionSetLattice
Returns true if the sets a and b represent the same element in this set lattice.
equals(T, T) - Method in interface tip.util.Equalitor
Returns true if the elements a and b are equal according to this {link Equalitor}.
equals(Object) - Method in class tip.util.EqualityElement
Returns false if o is not an EqualityElement, otherwise EqualityElement.equals(EqualityElement).
equals(EqualityElement<T>) - Method in class tip.util.EqualityElement
Returns {link Equalitor.equals(Object, Object) from the equalitor on the encapsulated element and element.
equals(Object) - Method in class tip.util.EqualityMap
equals(Object) - Method in class tip.util.EqualitySet
equals(ABinopExp, ABinopExp) - Method in class tip.util.ExpressionEqualitor
Returns true if the two expressions are regard as the same binary expression.
equals(Object) - Method in class tip.util.ExpressionEqualitor
Returns true if the object o is an instance ExpressionEqualitor.
equals(T, T) - Method in class tip.util.IdentityEqualitor
Returns true if the elements a and b are equal according to this {link Equalitor}.
equals(Object) - Method in class tip.util.IdentityEqualitor
equiv(Type) - Method in class tip.types.Type
Returns true if this element is in the same equivalence class as 'other', false otherwise.
error(Token, String) - Static method in class tip.Errors
Report an error at a specific position in a source file.
errorMessage(String) - Static method in class tip.Errors
Report an error not associated with a syntax node, such as a file error or parse error.
Errors - Class in tip
Methods and intertype declarations having to do with error handling.
Errors() - Constructor for class tip.Errors
 
EStm - Enum in tip.node
 
eval(EqualityMap<ALocalDecl, IntervalAnalysis.Interval>, PExp) - Method in class tip.cfg.dfa.IntervalAnalysis
 
ExitPoint - Class in tip.cfg
ExitPoint represents the exit point of a control flow graph.
ExitPoint() - Constructor for class tip.cfg.ExitPoint
Creates a new exit point with no associated node.
ExitPoint(Node) - Constructor for class tip.cfg.ExitPoint
Creates a new exit point associated with _node_.
expandAll(JTree, boolean) - Static method in class tip.display.ASTDisplay
If expand is true, expands all nodes in the tree.
ExpressionEqualitor - Class in tip.util
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.
ExpressionEqualitor() - Constructor for class tip.util.ExpressionEqualitor
 

A B C D E F G H I J K L M N O P Q R S T U V W _