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

A

aboutMessage - Static variable in class cetus.gui.CetusGuiSpeedupPanel
 
absorb(DFAGraph) - Method in class cetus.analysis.DFAGraph
Absorbs all nodes from another graph.
ABSTRACT - Static variable in class cetus.hir.Specifier
 
AccessExpression - Class in cetus.hir
AccessExpression is a representation for expressions that access a member of class-like objects.
AccessExpression(Expression, AccessOperator, Expression) - Constructor for class cetus.hir.AccessExpression
Creates an assignment expression.
AccessLevel - Class in cetus.hir
Deprecated.
AccessLevel(Specifier) - Constructor for class cetus.hir.AccessLevel
Deprecated.
This constructor is used only within this class.
AccessOperator - Class in cetus.hir
Infix operators that accesses righthand side member of lefthand side structure, class, or union.
AccessSymbol - Class in cetus.hir
AccessSymbol is intended to express an object of AccessExpression as a Symbol object.
AccessSymbol(AccessExpression) - Constructor for class cetus.hir.AccessSymbol
Constructs an object with the given access expression.
AccessSymbol(Symbol, Symbol) - Constructor for class cetus.hir.AccessSymbol
Constructs a struct symbol with the given base and member symbol.
actionPerformed(ActionEvent) - Method in class cetus.gui.CetusGUI
 
actionPerformed(ActionEvent) - Method in class cetus.gui.CetusGUIOptionsPanel
 
actionPerformed(ActionEvent) - Method in class cetus.gui.CetusGuiSpeedupPanel
 
actionPerformed(ActionEvent) - Method in class cetus.gui.GUIBasicPanel
 
add(Expression, Expression) - Static method in class cetus.analysis.NormalExpression
Deprecated.
Returns addition of the two expressions with simplification.
add(Section.ELEMENT) - Method in class cetus.analysis.Section
Adds a new element in the section.
add(String, int[]) - Static method in class cetus.application.ThirdPartyLibrary
Adds a function name which has side effects and an array of indices on which the side effect parameters are
add(String, String) - Method in class cetus.exec.CommandLineOptionSet
Registers a new UTILITY option with the given usage information.
add(String, String, String) - Method in class cetus.exec.CommandLineOptionSet
Registers a new UTILITY option with the given argument and usage information.
add(int, String, String) - Method in class cetus.exec.CommandLineOptionSet
Registers a new option with the given type and usage information.
add(int, String, String, String) - Method in class cetus.exec.CommandLineOptionSet
Registers a new option with the given type, argument, and usage.
add(int, String, String, String, String) - Method in class cetus.exec.CommandLineOptionSet
Registers a new option with the given type, value, argument, and usage.
add(int, String, String, String, String, String) - Method in class cetus.exec.CommandLineOptionSet
Registers a new option with the given type, value, turn-on value, argument, and usage.
ADD - Static variable in class cetus.hir.AssignmentOperator
+=
ADD - Static variable in class cetus.hir.BinaryOperator
+
add(Traversable) - Method in class cetus.hir.FlatIterator
Adds an object after the last object that was returned by next or previous.
add(Expression) - Method in class cetus.hir.MinMaxExpression
Adds an operand at the end of the operand list.
add(Object, Object) - Method in class cetus.hir.PreAnnotation
 
add(Expression, Expression) - Static method in class cetus.hir.Symbolic
Returns addition of the two expressions with simplification.
addAll(Map<String, int[]>) - Static method in class cetus.application.ThirdPartyLibrary
Adds function names with parameter indices for side effect parameters
addAll(List<Expression>) - Static method in class cetus.hir.Symbolic
Returns an expression that adds all expressions in the given expression list.
addAll(Collection<T>, Collection) - Static method in class cetus.hir.Tools
Wrapper for Collection.addAll() that suppress "unchecked" warnings.
addAllArcs(ArrayList<DDGraph.Arc>) - Method in class cetus.analysis.DDGraph
 
addAllLinks(Collection<T>) - Method in class cetus.hir.ChainedList
Appends all of the elements in the specified collection to the end of this list, in the order that they are returned by the specified collection's iterator.
addArc(DDGraph.Arc) - Method in class cetus.analysis.DDGraph
 
addArgument(Expression) - Method in class cetus.hir.FunctionCall
Inserts the specified expression at the end of the argument list.
addBaseClass(IDExpression) - Method in class cetus.hir.ClassDeclaration
Adds the name of the base class - not used in C
addBaseClass(Specifier, IDExpression) - Method in class cetus.hir.ClassDeclaration
Adds the name of the base class with the specifier - not used in C
addBaseInterface(IDExpression) - Method in class cetus.hir.ClassDeclaration
Adds the name of the interface - not used in C
addCallee(Procedure) - Method in class cetus.analysis.CallGraph.Node
 
addCaller(Statement) - Method in class cetus.analysis.CallGraph.Node
 
addCatchBlock(CompoundStatement) - Method in class cetus.hir.ExceptionHandler
Appends a catch block to the list of catch blocks.
addDeclaration(Declaration) - Method in class cetus.hir.ClassDeclaration
 
addDeclaration(Declaration) - Method in class cetus.hir.CompoundStatement
Adds a declaration after the last declaration; this models the C language's requirement that all declarations appear at the beginning of a block.
addDeclaration(Declaration) - Method in class cetus.hir.DoLoop
 
addDeclaration(Declaration) - Method in class cetus.hir.ForLoop
 
addDeclaration(Declaration) - Method in class cetus.hir.LinkageSpecification
 
addDeclaration(Declaration) - Method in class cetus.hir.Namespace
 
addDeclaration(Declaration) - Method in class cetus.hir.Procedure
Adds a parameter declaration to the procedure.
addDeclaration(Declaration) - Method in interface cetus.hir.SymbolTable
Add a declaration to the end of the set of declarations and place the declared symbols in the symbol table.
addDeclaration(Declaration) - Method in class cetus.hir.TranslationUnit
 
addDeclaration(Declaration) - Method in class cetus.hir.WhileLoop
 
addDeclarationAfter(Declaration, Declaration) - Method in class cetus.hir.ClassDeclaration
 
addDeclarationAfter(Declaration, Declaration) - Method in class cetus.hir.CompoundStatement
 
addDeclarationAfter(Declaration, Declaration) - Method in class cetus.hir.DoLoop
 
addDeclarationAfter(Declaration, Declaration) - Method in class cetus.hir.ForLoop
 
addDeclarationAfter(Declaration, Declaration) - Method in class cetus.hir.LinkageSpecification
 
addDeclarationAfter(Declaration, Declaration) - Method in class cetus.hir.Namespace
 
addDeclarationAfter(Declaration, Declaration) - Method in class cetus.hir.Procedure
Adds a new parameter declaration after the reference declaration.
addDeclarationAfter(Declaration, Declaration) - Method in interface cetus.hir.SymbolTable
Add a declaration after the reference declaration.
addDeclarationAfter(Declaration, Declaration) - Method in class cetus.hir.TranslationUnit
 
addDeclarationAfter(Declaration, Declaration) - Method in class cetus.hir.WhileLoop
 
addDeclarationBefore(Declaration, Declaration) - Method in class cetus.hir.ClassDeclaration
 
addDeclarationBefore(Declaration, Declaration) - Method in class cetus.hir.CompoundStatement
 
addDeclarationBefore(Declaration, Declaration) - Method in class cetus.hir.DoLoop
 
addDeclarationBefore(Declaration, Declaration) - Method in class cetus.hir.ForLoop
 
addDeclarationBefore(Declaration, Declaration) - Method in class cetus.hir.LinkageSpecification
 
addDeclarationBefore(Declaration, Declaration) - Method in class cetus.hir.Namespace
 
addDeclarationBefore(Declaration, Declaration) - Method in class cetus.hir.Procedure
Adds a new parameter declaration before the reference declaration.
addDeclarationBefore(Declaration, Declaration) - Method in interface cetus.hir.SymbolTable
Add a declaration before the reference declaration.
addDeclarationBefore(Declaration, Declaration) - Method in class cetus.hir.TranslationUnit
 
addDeclarationBefore(Declaration, Declaration) - Method in class cetus.hir.WhileLoop
 
addDeclarationFirst(Declaration) - Method in class cetus.hir.TranslationUnit
Adds a new declaration decl at the head of the child list.
addDeclarator(Declarator) - Method in class cetus.hir.VariableDeclaration
Adds another declarator to this declaration.
addDefChain(AnalysisTarget) - Method in class cetus.application.AnalysisTarget
 
addEdge(DFANode, DFANode) - Method in class cetus.analysis.DFAGraph
Adds a directed edge from a node to the other.
addExpression(Expression) - Method in class cetus.hir.CommaExpression
Inserts a new expression at the end of the expression list.
addFinallyBlock(CompoundStatement) - Method in class cetus.hir.ExceptionHandler
Appends a finally block.
addIndex(Expression) - Method in class cetus.hir.ArrayAccess
Inserts a new index at the end of the index list, increasing the dimension of the array access.
additiveExpr() - Method in class cetus.base.grammars.NewCParser
 
addLineForTokenNumber(Object, Integer) - Method in class cetus.base.grammars.PreprocessorInfoChannel
 
addLink(T) - Method in class cetus.hir.ChainedList
Appends the specified element to the end of this list.
addLoopName(Program) - Static method in class cetus.analysis.LoopTools
Adds a unique loop name to each for loop.
addNode(DFANode) - Method in class cetus.analysis.DFAGraph
Adds a node to the graph if the node does not exist in the graph.
addParameter(Declaration) - Method in class cetus.hir.Declarator
Inserts a new child declaration to the parameter list.
addParameter(Declaration) - Method in class cetus.hir.NestedDeclarator
Inserts a new parameter declaration to the nested declarator.
addParameter(Declaration) - Method in class cetus.hir.ProcedureDeclarator
Inserts a new parameter declaration at the end of the parameter list.
addParameter(Declaration) - Method in class cetus.hir.VariableDeclarator
 
addParameterAfter(Declaration, Declaration) - Method in class cetus.hir.Declarator
Inserts a new child declaration to the parameter list after the given reference declaration.
addParameterAfter(Declaration, Declaration) - Method in class cetus.hir.NestedDeclarator
Inserts a new parameter declaration to the nested declarator after the reference parameter declaration.
addParameterAfter(Declaration, Declaration) - Method in class cetus.hir.ProcedureDeclarator
Inserts a new parameter declaration after the specified reference parameter declaration.
addParameterAfter(Declaration, Declaration) - Method in class cetus.hir.VariableDeclarator
 
addParameterBefore(Declaration, Declaration) - Method in class cetus.hir.Declarator
Inserts a new child declaration to the parameter list before the given reference declaration.
addParameterBefore(Declaration, Declaration) - Method in class cetus.hir.NestedDeclarator
Inserts a new parameter declaration to the nested declarator before the reference parameter declaration.
addParameterBefore(Declaration, Declaration) - Method in class cetus.hir.ProcedureDeclarator
Inserts a new parameter declaration before the specified reference parameter declaration.
addParameterBefore(Declaration, Declaration) - Method in class cetus.hir.VariableDeclarator
 
addPred(DFANode) - Method in class cetus.analysis.DFANode
Adds a predecessor node.
addPredecessor(BasicBlock) - Method in class cetus.analysis.BasicBlock
 
addPredecessor(BasicBlock) - Method in class cetus.analysis.ProcBasicBlock
 
addPreDefinedSlicingCriteria(ProgramSlicer.Criteria) - Method in class cetus.application.ProgramSlicer
 
addRel(PointsToRel) - Method in class cetus.analysis.PointsToDomain
Add relationship to this domain
ADDRESS_OF - Static variable in class cetus.hir.UnaryOperator
&
addSideEffectParamIndices(String, int[]) - Static method in class cetus.hir.StandardLibrary
 
addSlicingCriteria(DFANode, Procedure) - Method in class cetus.application.ProgramSlicer
Add program slice criteria Whole DFANode is added to the slice criteria
addSlicingCriteria(DFANode, List<Expression>, Procedure) - Method in class cetus.application.ProgramSlicer
Add program slice criteria Traversable in the DFANode is only added to the slice criteria
addStatement(Statement) - Method in class cetus.hir.CompoundStatement
Adds a statement to the end of this compound statement.
addStatementAfter(Statement, Statement) - Method in class cetus.hir.CompoundStatement
Add a new statement after the reference statement.
addStatementBefore(Statement, Statement) - Method in class cetus.hir.CompoundStatement
Add a new statement before the reference statement.
addSucc(DFANode) - Method in class cetus.analysis.DFANode
Adds a successor node.
addSuccessor(BasicBlock) - Method in class cetus.analysis.BasicBlock
 
addSuccessor(BasicBlock) - Method in class cetus.analysis.ProcBasicBlock
 
addSymbols(SymbolTable, Declaration) - Static method in class cetus.hir.SymbolTools
Adds symbols to a symbol table and checks for duplicates.
addSymbols(SymbolTable, Declaration) - Static method in class cetus.hir.Tools
Deprecated.
As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
addTrailingSpecifier(Specifier) - Method in class cetus.hir.Declarator
Appends a new specifier to the list of trailing specifiers.
addTranslationUnit(TranslationUnit) - Method in class cetus.hir.Program
Adds a translation unit to the program.
addUseChain(AnalysisTarget) - Method in class cetus.application.AnalysisTarget
 
AliasAnalysis - Class in cetus.analysis
Alias analysis is used to obtain alias sets i.e.
AliasAnalysis(Program) - Constructor for class cetus.analysis.AliasAnalysis
 
AlignofExpression - Class in cetus.hir
AlignofExpression represents the non-standard __alignof__ operation.
AlignofExpression(Expression) - Constructor for class cetus.hir.AlignofExpression
Constructs a new alignof expression with the specified expression.
AlignofExpression(List) - Constructor for class cetus.hir.AlignofExpression
Constructs a new alignof expression with the given specifiers.
ANALYSIS - Variable in class cetus.exec.CommandLineOptionSet
 
AnalysisPass - Class in cetus.analysis
 
AnalysisTarget - Class in cetus.application
This class contains the information for the target of the data flow analysis.
AnalysisTarget(Expression, DFANode, Procedure) - Constructor for class cetus.application.AnalysisTarget
 
AnalysisTarget(FunctionCall, DFANode, Procedure) - Constructor for class cetus.application.AnalysisTarget
 
analyzeLoop(Loop) - Method in class cetus.analysis.LoopAnalysisPass
 
analyzeLoopsForDependence(Loop) - Method in class cetus.analysis.DDTDriver
Analyze this loop and all inner loops to build a dependence graph for the loop nest with this loop as the outermost loop.
analyzeProcedure(Procedure) - Method in class cetus.analysis.ArrayPrivatization
Starts array privatization for a procedure.
analyzeProcedure(IPANode) - Method in class cetus.analysis.IPPointsToAnalysis
Invokes intraprocedural analysis.
analyzeProcedure(IPANode) - Method in class cetus.analysis.IPRangeAnalysis
Performs intraprocedural range analysis.
analyzeProcedure(IPANode) - Method in class cetus.analysis.MayMod
 
analyzeStatement(Statement) - Method in class cetus.analysis.Reduction
 
analyzeStatement2(Statement) - Method in class cetus.analysis.Reduction
Reduction recognition on OpenMP critical sections including ForLoop, CompoundStatement, and a Statement.
and(Expression, Expression) - Static method in class cetus.analysis.NormalExpression
Deprecated.
Returns a binary expression e1&&e2 with simplification.
AND(Relation, Relation) - Static method in class cetus.analysis.Relation
Logical AND operation between two relation objects.
and(Expression, Expression) - Static method in class cetus.hir.Symbolic
Returns and of two expressions with simplification.
Annotatable - Interface in cetus.hir
Annotatable interface defines methods for Cetus IR that contains a list of annotations.
annotate(Annotation) - Method in interface cetus.hir.Annotatable
Annotates with the given annotation.
annotate(Annotation) - Method in class cetus.hir.Declaration
Inserts the given annotation to this declaration.
annotate(Annotation) - Method in class cetus.hir.Statement
Inserts the given annotation to this statement.
annotateAfter(Annotation) - Method in interface cetus.hir.Annotatable
Annotates with the given annotation after the annotatable object.
annotateAfter(Annotation) - Method in class cetus.hir.Declaration
Inserts the given annotation after this declaration.
annotateAfter(Annotation) - Method in class cetus.hir.Statement
Inserts the given annotation after this statement.
annotateBefore(Annotation) - Method in interface cetus.hir.Annotatable
Annotates with the given annotation before the annotatable object.
annotateBefore(Annotation) - Method in class cetus.hir.Declaration
Inserts the given annotation before this declaration.
annotateBefore(Annotation) - Method in class cetus.hir.Statement
Inserts the given annotation before this statement.
Annotation - Class in cetus.hir
Annotation is the base class of any annotation type used in Cetus.
AnnotationDeclaration - Class in cetus.hir
AnnotationDeclaration is used for stand-alone annotations in non-executable code section, e.g., in a TranslationUnit.
AnnotationDeclaration() - Constructor for class cetus.hir.AnnotationDeclaration
Constructs an empty annotation declaration.
AnnotationDeclaration(Annotation) - Constructor for class cetus.hir.AnnotationDeclaration
Constructs a new annotation declaration with the given annotation.
AnnotationParser - Class in cetus.transforms
This pass is used to parse external annotations that might be present in the C source code input to Cetus and convert them to internal Cetus Annotations.
AnnotationParser(Program) - Constructor for class cetus.transforms.AnnotationParser
 
AnnotationStatement - Class in cetus.hir
AnnotationStatement is used for stand-alone annotations in executable code section, e.g., in a CompoundStatement.
AnnotationStatement() - Constructor for class cetus.hir.AnnotationStatement
Constructs an empty annotation statement.
AnnotationStatement(Annotation) - Constructor for class cetus.hir.AnnotationStatement
Constructs a new annotation statement with the specified annotation.
argExprList() - Method in class cetus.base.grammars.NewCParser
 
argumentToParameter(Expression) - Method in class cetus.analysis.CallSite
Converts the given argument to the corresponding parameter.
ArrayAccess - Class in cetus.hir
Represents the access of an array or pointer variable: array[x][y]...
ArrayAccess(Expression, Expression) - Constructor for class cetus.hir.ArrayAccess
Creates an array access with a single index expression.
ArrayAccess(Expression, List) - Constructor for class cetus.hir.ArrayAccess
Creates an array access with multiple index expressions.
ArrayParameterAnalysis - Class in cetus.analysis
This analysis detects array- or pointer-type formal parameters that can be safely expressed in terms of the argument arrays.
ArrayParameterAnalysis(Program, ArrayParameterAnalysis.Option...) - Constructor for class cetus.analysis.ArrayParameterAnalysis
Constructs a new analyzer with the given program.
ArrayParameterAnalysis.Option - Enum in cetus.analysis
Available safety options
ArrayPrivatization - Class in cetus.analysis
ArrayPrivatization performs privatization analysis of the program.
ArrayPrivatization(Program) - Constructor for class cetus.analysis.ArrayPrivatization
Constructs an array privatization analyzer for a program.
ArraySpecifier - Class in cetus.hir
Represents an array specifier, for example the bracketed parts of int array[20][30];
ArraySpecifier() - Constructor for class cetus.hir.ArraySpecifier
Constructs a new array specifier with an empty dimension.
ArraySpecifier(Expression) - Constructor for class cetus.hir.ArraySpecifier
Constructs a new array specifier with the given dimension expression.
ArraySpecifier(List) - Constructor for class cetus.hir.ArraySpecifier
Constructs a new array specifier with the given dimension expressions.
asm_expr() - Method in class cetus.base.grammars.NewCParser
 
ASSIGN - Static variable in interface cetus.base.grammars.NEWCTokenTypes
 
assignExpr() - Method in class cetus.base.grammars.NewCParser
 
AssignmentExpression - Class in cetus.hir
AssignmentExpression represents an assignment expression having a LHS expression, assignment operator, and a RHS expression.
AssignmentExpression(Expression, AssignmentOperator, Expression) - Constructor for class cetus.hir.AssignmentExpression
Creates an assignment expression.
AssignmentOperator - Class in cetus.hir
Infix operators that assign the value of their righthand side to their lefthand side.
assignOperator() - Method in class cetus.base.grammars.NewCParser
 
attach(Annotatable) - Method in class cetus.hir.Annotation
Attaches a link from this annotation to the specified IR.
attribute() - Method in class cetus.base.grammars.NewCParser
 
attributeDecl() - Method in class cetus.base.grammars.NewCParser
 
attributeList() - Method in class cetus.base.grammars.NewCParser
 
AUTO - Static variable in class cetus.hir.Specifier
 
autoCheckUpdateSaveLoadOptions() - Method in class cetus.gui.CetusGUIOptionsPanel
if AutoLoadOption is checked, automatically load saved options when starting Cetus GUI
autoTurnedOnOptions - Static variable in class cetus.exec.Driver
 
A B C D E F G H I J K L M N O P Q R S T U V W _