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

R

ReachingDefinitionsAnalysis - Class in tip.cfg.dfa
 
ReachingDefinitionsAnalysis() - Constructor for class tip.cfg.dfa.ReachingDefinitionsAnalysis
 
ReachingDefinitionsAnalysis.AssignVarStmPointStringifier - Class in tip.cfg.dfa
 
ReachingDefinitionsAnalysis.AssignVarStmPointStringifier() - Constructor for class tip.cfg.dfa.ReachingDefinitionsAnalysis.AssignVarStmPointStringifier
 
readInput() - Method in class tip.vm.TipVm
 
remove(IProgramPoint) - Method in class tip.cfg.CCFG
Removes the IProgramPoint point from the set of program points associated with this ICFG.
remove(IProgramPoint) - Method in interface tip.cfg.ICFG
Removes the IProgramPoint point from the set of program points associated with this ICFG.
remove(Object) - Method in class tip.node.NodeList
 
remove(int) - Method in class tip.node.NodeList
 
remove(Object) - Method in class tip.util.EqualityMap
remove(Object) - Method in class tip.util.EqualitySet
removeAll(Collection<?>) - Method in class tip.util.EqualitySet
Removes all element in the collection c from this set.
removeFirst() - Method in class tip.node.NodeList
 
removeLast() - Method in class tip.node.NodeList
 
removePoint(IProgramPoint) - Method in class tip.cfg.CCFG
Removes point from this control flow graph, updating the predecessors and successors of point to point to eachother.
removePoint(IProgramPoint) - Method in interface tip.cfg.ICFG
Removes point from this control flow graph, updating the predecessors and successors of point to point to eachother.
removePredecessor(IProgramPoint) - Method in class tip.cfg.AProgramPoint
Removes predecessor from the set of predecessors of this program point.
removePredecessor(IProgramPoint) - Method in interface tip.cfg.IProgramPoint
Removes predecessor from the set of predecessors of this program point.
removeSuccessor(IProgramPoint) - Method in class tip.cfg.AProgramPoint
Removes successor to the set of successors of this program point.
removeSuccessor(IProgramPoint) - Method in interface tip.cfg.IProgramPoint
Removes successor to the set of successors of this program point.
renameRootVariables() - Static method in class tip.types.Type
Assigns names to type variables ( a,b,c,...)
replaceBy(Node) - Method in class tip.node.Node
Replaces this node by node in the AST.
replaceBy(Node) - Method in interface tip.node.NodeInterface
Replaces this node by node in the AST.
replaceByCFG(IProgramPoint, ICFG) - Method in class tip.cfg.CCFG
Replaces point with cfg in this control flow graph.
replaceByCFG(IProgramPoint, ICFG) - Method in interface tip.cfg.ICFG
Replaces point with cfg in this control flow graph.
replacePoint(IProgramPoint, IProgramPoint) - Method in class tip.cfg.CCFG
Replaces oldPoint with newPoint in this control flow graph.
replacePoint(IProgramPoint, IProgramPoint) - Method in interface tip.cfg.ICFG
Replaces oldPoint with newPoint in this control flow graph.
reset() - Static method in class tip.Errors
Reset the error flag for a fresh compilation
Resources - Class in tip.phases
 
Resources() - Constructor for class tip.phases.Resources
 
ResourcesDisplay - Class in tip.display
 
ResourcesDisplay() - Constructor for class tip.display.ResourcesDisplay
 
retainAll(Collection<?>) - Method in class tip.util.EqualitySet
ReversedDepthFirstAdapter - Class in tip.analysis
ReversedDepthFirstAdapter extends the AnalysisAdapter to provide a backward depth-first traversal of the AST.
ReversedDepthFirstAdapter() - Constructor for class tip.analysis.ReversedDepthFirstAdapter
 
RoutingAutomaton<S extends Node,T extends Node> - Class in tip.node
 
RoutingSymbol - Enum in tip.node
 
runProgram() - Method in class tip.vm.TipVm
 

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