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

U

unify(Type) - Method in class tip.types.Function
 
unify(Type) - Method in class tip.types.Int
 
unify(Type) - Method in class tip.types.Pointer
 
unify(Type) - Method in class tip.types.Type
Unify this type and the given type
unify(Type) - Method in class tip.types.Variable
 
union(UnionFind) - Method in class tip.cfg.UnionFind
 
union(Type) - Method in class tip.types.Type
Computes and returns the union of this set and the given set.
UnionFind - Class in tip.cfg
 
UnionFind() - Constructor for class tip.cfg.UnionFind
 
UnionSetLattice<L> - Class in tip.cfg
UnionSetLattice defines a set lattice with elements of type L and with union as least-upper-bound operator.
UnionSetLattice() - Constructor for class tip.cfg.UnionSetLattice
Creates a new UnionSetLattice using the IdentityEqualitor as equalitor used for element equality.
UnionSetLattice(Equalitor<L>) - Constructor for class tip.cfg.UnionSetLattice
Creates a new UnionSetLattice using the equalitor as Equalitor used for element equality.
UNKNOWN - Static variable in class tip.cfg.dfa.ConstantPropagationAnalysis.Const
 
updateTree(Node) - Static method in class tip.node.RoutingAutomaton
 
useParser - Static variable in class tip.display.CFGDisplay
 
Util - Class in tip
A number of convenient enums and intertype methods for switching on and extracting information from various AST nodes.
Util() - Constructor for class tip.Util
 

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