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

F

fatalError(Token, String) - Static method in class tip.Errors
Report an error at a specific position in a source file and stop the compilation.
find() - Method in class tip.types.Type
Returns the canonical element of the set that this element is in.
findNode(Node, Class<T>) - Static method in class tip.Util
Search up the AST for an ancestor node of a specific type.
FixedPointAnalysis<VariableType> - Interface in tip.cfg
FixedPointAnalysis defines the interface for general fixed-point analyses for which WorkList can be used.
FlowAnalysis<VariableType> - Class in tip.cfg
FlowAnalysis implements the basic structure for a flow analysis implementing the FixedPointAnalysis interface.
ForwardsStrategy - Class in tip.cfg
ForwardsStrategy defines the methods for retrieving the dependency set and joint set for a program point in a forwards analysis.
ForwardsStrategy() - Constructor for class tip.cfg.ForwardsStrategy
 
Function - Class in tip.types
 
Function(LinkedList<Type>, Type) - Constructor for class tip.types.Function
 
FunctionPointers - Class in tip.cfg.cfa
FunctionPointers is an implemention of a simple control flow analysis for functions pointers.
FunctionPointers() - Constructor for class tip.cfg.cfa.FunctionPointers
 

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