- RANGE_EMPTY - Static variable in class cetus.analysis.RangeAnalysis
-
Option for disabling range computation
- RANGE_INTER - Static variable in class cetus.analysis.RangeAnalysis
-
Option for enforcing inter-procedural analysis
- RANGE_INTRA - Static variable in class cetus.analysis.RangeAnalysis
-
Option for enforcing intra-procedural analysis
- RANGE_PRAGMA - Static variable in class cetus.analysis.RangeAnalysis
-
Option for enforcing use of range pragma and constraint
- RangeAnalysis - Class in cetus.analysis
-
RangeAnalysis performs symbolic range propagation for the programs by
symbolically executing the program and abstracting the values of integer
variables with a symbolic bounds.
- RangeAnalysis(Program) - Constructor for class cetus.analysis.RangeAnalysis
-
Constructs a range analyzer for the program.
- RangeDomain - Class in cetus.analysis
-
RangeDomain provides symbolic environment for symbolic expression
comparison.
- RangeDomain() - Constructor for class cetus.analysis.RangeDomain
-
Constructs an empty range domain.
- RangeDomain(RangeDomain) - Constructor for class cetus.analysis.RangeDomain
-
Constructs a new range domain with the given range domain other.
- rangeExpr() - Method in class cetus.base.grammars.NewCParser
-
- RangeExpression - Class in cetus.hir
-
RangeExpression represents a symbolic range with a lower bound
expression and an upper bound expression.
- RangeExpression(Expression, Expression) - Constructor for class cetus.hir.RangeExpression
-
Constructs a range expression with the given lower and upper bounds.
- RangeTest - Class in cetus.analysis
-
Symbolic Range Test for disproving loop-carried dependences between two
subscript expressions.
- RangeTest(SubscriptPair) - Constructor for class cetus.analysis.RangeTest
-
Constructs a range test problem from the given subscript pair.
- RBRACKET - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- RCURLY - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- Rcurly - Static variable in interface cetus.base.grammars.PreCParserTokenTypes
-
- ReachingDefinitionAnalysis - Class in cetus.application
-
This class performs the reaching definition analysis.
- ReachingDefinitionAnalysis(Program, Map<Procedure, CFGraph>, LinkedHashSet<AnalysisTarget>) - Constructor for class cetus.application.ReachingDefinitionAnalysis
-
- readFileInJarToArrayStrings(String, String, int) - Static method in class cetus.gui.CetusGUITools
-
- readFileInJarToString(String, String) - Static method in class cetus.gui.CetusGUITools
-
- readFileToArrayStrings(File) - Static method in class cetus.gui.CetusGUITools
-
- readFileToString(File) - Static method in class cetus.gui.CetusGUITools
-
- readURLToArrayStrings(String) - Static method in class cetus.gui.CetusGUITools
-
- Reduction - Class in cetus.analysis
-
Performs reduction variable analysis to detect and annotate statements like
x = x + i in loops.
- Reduction(Program) - Constructor for class cetus.analysis.Reduction
-
- ReductionTransform - Class in cetus.transforms
-
This trasformation produces OpenMP-conforming codes from the reduction items
recognized by
Reduction.
- ReductionTransform(Program) - Constructor for class cetus.transforms.ReductionTransform
-
Constructs a new reduction transformation pass.
- REFERENCE - Static variable in class cetus.hir.Specifier
-
- regexPositiveInteger5OrMoreDigits - Static variable in class cetus.gui.CetusGUITools
-
- regexVersionNumber - Static variable in class cetus.gui.CetusGUITools
-
- REGISTER - Static variable in class cetus.hir.Specifier
-
- registerOptions() - Static method in class cetus.exec.Driver
-
Register default legal set of options and default values for Driver.
- registerSafeFunction(String, String...) - Static method in class cetus.analysis.RangeAnalysis
-
Register the specified function names in the safe list of function calls.
- REINTERPRET - Static variable in class cetus.hir.Typecast
-
- Relation - Class in cetus.analysis
-
Class Relation represents symbolic relationship between two expressions.
- Relation() - Constructor for class cetus.analysis.Relation
-
Constructs an empty relation that implies unknown relationship.
- Relation(boolean, boolean, boolean) - Constructor for class cetus.analysis.Relation
-
Constructs a relation object with the specified set of relationships.
- relationalExpr() - Method in class cetus.base.grammars.NewCParser
-
- remove() - Method in class cetus.analysis.DFAGraph.TopIterator
-
- remove() - Method in class cetus.hir.FlatIterator
-
Removes the last object that was returned by next or previous.
- remove() - Method in class cetus.hir.IRIterator
-
This operation is not supported.
- removeAffected(Symbol) - Method in class cetus.analysis.Section.MAP
-
Removes sections that contains the specified symbol.
- removeAffected(Collection<Symbol>) - Method in class cetus.analysis.Section.MAP
-
Removes sections that contains the specified set of variables.
- removeAffected(Symbol) - Method in class cetus.analysis.Section
-
Removes section elements that contain the specified variable.
- removeAll(Collection<T>, Collection) - Static method in class cetus.hir.Tools
-
Wrapper for Collection.removeAll() that suppress "unchecked" warnings.
- removeAnnotations() - Method in interface cetus.hir.Annotatable
-
Remove all annotations.
- removeAnnotations(Class<? extends Annotation>) - Method in interface cetus.hir.Annotatable
-
Remove all annotations of the given type.
- removeAnnotations() - Method in class cetus.hir.Declaration
-
Removes all annotations attached to this declaration.
- removeAnnotations(Class<? extends Annotation>) - Method in class cetus.hir.Declaration
-
Removes all annotations with the specified type.
- removeAnnotations(Traversable, Class<? extends Annotation>) - Static method in class cetus.hir.IRTools
-
Removes all annotations with the specified type from the given traversable
object.
- removeAnnotations() - Method in class cetus.hir.Statement
-
Removes all annotations attached to this statement.
- removeAnnotations(Class<? extends Annotation>) - Method in class cetus.hir.Statement
-
Removes all annotations with the specified type.
- removeAnnotations(Traversable, Class<? extends Annotation>) - Static method in class cetus.hir.Tools
-
- removeChild(Traversable) - Method in class cetus.hir.ClassDeclaration
-
- removeChild(Traversable) - Method in class cetus.hir.CompoundStatement
-
Removes the specified child object if it exists.
- removeChild(Traversable) - Method in class cetus.hir.Declaration
-
This operation is not allowed.
- removeChild(Traversable) - Method in class cetus.hir.Declarator
-
This traversable interface is not supported for declarators.
- removeChild(Traversable) - Method in class cetus.hir.Expression
-
This operation is not allowed.
- removeChild(Traversable) - Method in class cetus.hir.Initializer
-
- removeChild(Traversable) - Method in class cetus.hir.Program
-
- removeChild(Traversable) - Method in class cetus.hir.Statement
-
Removes a specific child of this statement;
some statements do not support this method.
- removeChild(Traversable) - Method in class cetus.hir.TranslationUnit
-
- removeChild(Traversable) - Method in interface cetus.hir.Traversable
-
Removes the specified child.
- removeData(String) - Method in class cetus.analysis.DFANode
-
Removes the data mapped by the specified key.
- removeDuplicateArcs() - Method in class cetus.analysis.DDGraph
-
Filter out duplicate and unwanted arcs from the graph
- removeEdge(DFANode, DFANode) - Method in class cetus.analysis.DFAGraph
-
Removes an edge from the graph.
- removeNode(DFANode) - Method in class cetus.analysis.DFAGraph
-
Removes a node and its associated edges from the graph.
- removeNodes(List<DFANode>) - Method in class cetus.analysis.DFAGraph
-
Removes the specified nodes and their associated edges from the graph.
- removePred(DFANode) - Method in class cetus.analysis.DFANode
-
Removes a predecessor node.
- removeRange(Symbol) - Method in class cetus.analysis.RangeDomain
-
Removes the value range for the specified variable.
- removeRangeWith(Symbol) - Method in class cetus.analysis.RangeDomain
-
Removes value ranges containing the specified variable including the range
of the variable.
- removeRangeWith(Set<Symbol>) - Method in class cetus.analysis.RangeDomain
-
Removes value ranges containing the specified set of symbols.
- removeSideAffected(Traversable) - Method in class cetus.analysis.Section.MAP
-
Removes sections that are unsafe in the given traversable object due
to function calls.
- removeSideAffected(FunctionCall) - Method in class cetus.analysis.Section
-
Removes section elements that is affected by the specified function call.
- removeStatement(Statement) - Method in class cetus.hir.CompoundStatement
-
Remove the given statement if it exists.
- removeSucc(DFANode) - Method in class cetus.analysis.DFANode
-
Removes a successor node.
- removeSymbols(Set<Symbol>) - Method in class cetus.analysis.RangeDomain
-
Removes the ranges for the speicfied variables in the map by replacing
them with their value ranges.
- removeUnmarkedDFANode() - Method in class cetus.application.ProgramSlicer
-
- removeUnmarkedDFANodeWithThreads() - Method in class cetus.application.ProgramSlicer
-
- RemoveUselessSpecifiers - Class in cetus.transforms
-
- removeVerboseParens(Traversable) - Static method in class cetus.hir.PrintTools
-
Removes unnecessary parentheses from the given traversable object.
- replaceAll(Traversable, Expression, Expression) - Static method in class cetus.hir.IRTools
-
Replaces all instances of expression x on the IR tree
beneath t by clones of expression y.
- replaceAll(Traversable, Expression, Expression) - Static method in class cetus.hir.Tools
-
- replaceSymbol(Symbol, Expression) - Method in class cetus.analysis.RangeDomain
-
Replaces all occurrences of the specified variable in the map with the
given expression.
- replaceSymbol(Expression, Symbol, Expression) - Method in class cetus.analysis.RangeDomain
-
Replace all occurrences of the specified variable in the given expression
with the new expression.
- replaceSymbol(Expression, Symbol, Expression) - Static method in class cetus.hir.IRTools
-
Replaces all occurrences of the specified variable var with the
given expression expr in the input expression e.
- replaceSymbol(Expression, Symbol, Expression) - Static method in class cetus.hir.Tools
-
- replaceSymbolicLowerBound(Loop, RangeDomain) - Static method in class cetus.analysis.LoopTools
-
Replaces symbolic values in loop lower bound with information obtained
from range analysis.
- replaceSymbolicLowerBound(Loop) - Static method in class cetus.analysis.LoopTools
-
Replaces symbolic values in loop lower bound with information obtained
from range analysis.
- replaceSymbolicUpperBound(Loop, RangeDomain) - Static method in class cetus.analysis.LoopTools
-
Replaces symbolic values in loop upper bound with information obtained
from range analysis.
- replaceSymbolicUpperBound(Loop) - Static method in class cetus.analysis.LoopTools
-
Replaces symbolic values in loop upper bound with information obtained
from range analysis.
- replaceSymbolIn(Traversable, Symbol, Expression) - Static method in class cetus.hir.IRTools
-
Replaces all occurrences of the specified variable var with the
given expression e in the traversable object t in place.
- replaceSymbolIn(Traversable, Symbol, Expression) - Static method in class cetus.hir.Tools
-
- reportError(RecognitionException) - Method in class cetus.base.grammars.NewCParser
-
- reportError(String) - Method in class cetus.base.grammars.NewCParser
-
- reportWarning(String) - Method in class cetus.base.grammars.NewCParser
-
- request(String[]) - Static method in class cetus.gui.TCPClient
-
- reset() - Method in class cetus.hir.BreadthFirstIterator
-
Resets the iterator by setting the current position to the root object.
- reset() - Method in class cetus.hir.DepthFirstIterator
-
Resets the iterator by setting the current position to the root object.
- reset() - Method in class cetus.hir.DFIterator
-
Initializes the iterator by placing the first item to be returned for a
call to
DFIterator.next().
- reset() - Method in class cetus.hir.FlatIterator
-
- reset() - Method in class cetus.hir.IRIterator
-
Moves the iterator back to the beginning of the sequence.
- reset() - Method in class cetus.hir.PostOrderIterator
-
Resets the iterator by setting the current position to the root object.
- Rest - Static variable in interface cetus.base.grammars.PreCParserTokenTypes
-
- RESTRICT - Static variable in class cetus.hir.PointerSpecifier
-
restrict
- RESTRICT - Static variable in class cetus.hir.Specifier
-
- RESTRICT_VOLATILE - Static variable in class cetus.hir.PointerSpecifier
-
restrict volatile
- retainAll(Collection<T>, Collection) - Static method in class cetus.hir.Tools
-
Wrapper for Collection.retainAll() that suppress "unchecked" warnings.
- return_vars - Static variable in class cetus.analysis.IPPointsToAnalysis
-
- ReturnStatement - Class in cetus.hir
-
Represents a return statement within a procedure.
- ReturnStatement() - Constructor for class cetus.hir.ReturnStatement
-
Creates a "return nothing" statement.
- ReturnStatement(Expression) - Constructor for class cetus.hir.ReturnStatement
-
Creates a statement that returns an expression.
- reverseCFGraph(CFGraph) - Static method in class cetus.application.SlicingTools
-
- reverseVector() - Method in class cetus.analysis.DependenceVector
-
- RPAREN - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- RSHIFT - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- RSHIFT_ASSIGN - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- run(AnalysisPass) - Static method in class cetus.analysis.AnalysisPass
-
- run() - Method in class cetus.application.ChainComputer
-
- run() - Method in class cetus.application.DataFlowAnalysis
-
- run(CodeGenPass) - Static method in class cetus.codegen.CodeGenPass
-
- run(String[]) - Method in class cetus.exec.Driver
-
Runs this driver with args as the command line.
- run() - Method in class cetus.gui.ThreadSpeedup
-
- run() - Method in class cetus.gui.ThreadSpeedupProcess
-
- run() - Method in class cetus.gui.ThreadUpdate
-
- run(Program) - Static method in class cetus.transforms.RemoveUselessSpecifiers
-
- run(TransformPass) - Static method in class cetus.transforms.TransformPass
-
Invokes the specified transform pass.
- runExe(File, int) - Method in class cetus.gui.CetusGuiSpeedupPanel
-
- runPasses() - Method in class cetus.exec.Driver
-
Runs analysis and optimization passes on the program.
- runtest(Program) - Static method in class cetus.analysis.NormalExpression
-
Deprecated.
- runtest(Program) - Static method in class cetus.hir.SimpleExpression
-
- runTimeArray - Static variable in class cetus.gui.CetusGuiSpeedupPanel
-