- efficiency - Static variable in class cetus.gui.CetusGuiSpeedupPanel
-
- encloses(Expression, Expression) - Method in class cetus.analysis.RangeDomain
-
- enterSymtab(SymbolTable) - Method in class cetus.base.grammars.NewCParser
-
- Enumeration - Class in cetus.hir
-
Enumeration represents a C or C++ enumeration.
- Enumeration(IDExpression, List) - Constructor for class cetus.hir.Enumeration
-
Creates an enumeration.
- enumerator() - Method in class cetus.base.grammars.NewCParser
-
- enumList() - Method in class cetus.base.grammars.NewCParser
-
- enumSpecifier() - Method in class cetus.base.grammars.NewCParser
-
- EOF - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- EOF - Static variable in interface cetus.base.grammars.PreCParserTokenTypes
-
- eq(Expression, Expression) - Static method in class cetus.analysis.NormalExpression
-
Deprecated.
Returns an equality expression e1==e2 with simplification.
- eq(Expression, Expression) - Static method in class cetus.hir.Symbolic
-
Returns comparison(==) of two expressions with simplification.
- EQUAL - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- equalityExpr() - Method in class cetus.base.grammars.NewCParser
-
- equals(Object) - Method in class cetus.analysis.DependenceVector
-
- equals(Domain) - Method in interface cetus.analysis.Domain
-
Checks if the other domain is equal to the current domain.
- equals(Object) - Method in class cetus.analysis.IPPointsToAnalysis.AbstractLocation
-
Checks if the given object is equal to the abstract location.
- equals(Object) - Method in class cetus.analysis.NormalExpression
-
Deprecated.
Checks if this normal expression is equal to the specified object.
- equals(Domain) - Method in class cetus.analysis.NullDomain
-
- equals(Domain) - Method in class cetus.analysis.PointsToDomain
-
Compares equality based on set comparison for
set of PointsToRel
- equals(Domain) - Method in class cetus.analysis.PointsToDomain.Universe
-
- equals(Object) - Method in class cetus.analysis.PointsToRel
-
- equals(RangeDomain) - Method in class cetus.analysis.RangeDomain
-
- equals(Domain) - Method in class cetus.analysis.RangeDomain
-
Pairwise comparison between two RangeDomain objects.
- equals(Object) - Method in class cetus.analysis.Section.ELEMENT
-
Checks if this element is equal to the specified object.
- equals(Domain) - Method in class cetus.analysis.SetDomain
-
- equals(Object) - Method in class cetus.application.AnalysisTarget
-
- equals(Object) - Method in class cetus.hir.AccessSymbol
-
Checks if the this symbol is equal to the the given object.
- equals(Object) - Method in class cetus.hir.AlignofExpression
-
Checks if the alignof expression is equal to the specified object.
- equals(Object) - Method in class cetus.hir.BinaryExpression
-
Compares the binary expression with the specified object.
- equals(Object) - Method in class cetus.hir.BooleanLiteral
-
Compares the boolean literal with the specified object.
- equals(Object) - Method in class cetus.hir.CharLiteral
-
Compares the char literal with the given object for equality.
- equals(Object) - Method in class cetus.hir.CompoundLiteral
-
- equals(Object) - Method in class cetus.hir.Declaration
-
Checks if the declaration is equal to the given object.
- equals(Object) - Method in class cetus.hir.Declarator
-
Checks if the given object is equal to the declarator.
- equals(Object) - Method in class cetus.hir.DeleteExpression
-
- equals(Object) - Method in class cetus.hir.DerefSymbol
-
Checks if this deref symbol equals to the given object.
- equals(Object) - Method in class cetus.hir.EscapeLiteral
-
Compares the escape literal with the specified object for equality.
- equals(Object) - Method in class cetus.hir.Expression
-
Checks if the given object is has the same type with this expression and
its children is same with this expression's.
- equals(Object) - Method in class cetus.hir.FloatLiteral
-
Compare the float literal with the specified object for equality.
- equals(Object) - Method in class cetus.hir.Identifier
-
Checks if the given object o is equal to this identifier.
- equals(Object) - Method in class cetus.hir.InfExpression
-
Compares the expression with the specified object.
- equals(Object) - Method in class cetus.hir.InlineAnnotation
-
- equals(Object) - Method in class cetus.hir.IntegerLiteral
-
Compares the integer literal with the specified object for equality.
- equals(Object) - Method in class cetus.hir.MinMaxExpression
-
- equals(Object) - Method in class cetus.hir.NameID
-
Checks if the given object o is equal to this named ID.
- equals(Object) - Method in class cetus.hir.OffsetofExpression
-
Compares the expression with the specified object for equality.
- equals(Object) - Method in class cetus.hir.OperatorID
-
- equals(Object) - Method in class cetus.hir.PreAnnotation
-
- equals(Object) - Method in class cetus.hir.PseudoSymbol
-
This method should be provided for the symbol to be used in collection.
- equals(Object) - Method in class cetus.hir.SimpleExpression
-
Checks if this simple expression is equal to the given object.
- equals(Object) - Method in class cetus.hir.SizeofExpression
-
Compares the sizeof expression with the specified object for equality
- equals(Object) - Method in class cetus.hir.SomeExpression
-
- equals(Object) - Method in class cetus.hir.Statement
-
Compares the statement with the specified object for equality.
- equals(Object) - Method in class cetus.hir.StringLiteral
-
Compares the string literal with the specified object for equality.
- equals(Object) - Method in class cetus.hir.TemplateID
-
- equals(Object) - Method in class cetus.hir.Typecast
-
Compares the typecast with the specified object for equality.
- equals(Object) - Method in class cetus.hir.UnaryExpression
-
Compares the unary expression with the specified object for equality.
- equals(Object) - Method in class cetus.hir.UserSpecifier
-
- equals(Object) - Method in class cetus.hir.VaArgExpression
-
Compares the va_arg expression with the specified object for equality.
- equals(Object) - Method in class cetus.hir.VariableDeclarator
-
Checks if the given Object obj refers to the same Symbol as this
Symbol.
- Escape - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- EscapeLiteral - Class in cetus.hir
-
Represents a escape character.
- EscapeLiteral(String) - Constructor for class cetus.hir.EscapeLiteral
-
Constructs an escape literal with the specified string name.
- evaluateLogic(Expression) - Method in class cetus.analysis.RangeDomain
-
Evaluates the given logical expression using the constraints.
- EventTimer - Class in cetus.transforms
-
- EventTimer(Program) - Constructor for class cetus.transforms.EventTimer
-
Constructs an event-timing instrumenter with the specified program.
- examplesLocation - Static variable in class cetus.gui.CetusGUITools
-
- ExceptionHandler - Class in cetus.hir
-
Represents an exception handling block (try-catch-finally block) in a C++ or
Java program.
- ExceptionHandler(CompoundStatement, List) - Constructor for class cetus.hir.ExceptionHandler
-
Creates an exception handler.
- ExceptionHandler(CompoundStatement, List, CompoundStatement) - Constructor for class cetus.hir.ExceptionHandler
-
Creates an exception handler.
- ExceptionSpecification - Class in cetus.hir
-
- ExceptionSpecification() - Constructor for class cetus.hir.ExceptionSpecification
-
- exclude(String, String, String) - Method in class cetus.exec.CommandLineOptionSet
-
Excludes the specified IR type and name in the inclusion set for the
specified option name.
- exclusiveOrExpr() - Method in class cetus.base.grammars.NewCParser
-
- exit(String) - Static method in class cetus.hir.Tools
-
Invokes a exit handler after printing the specified message.
- exit(int) - Static method in class cetus.hir.Tools
-
Invokes exit operation.
- exitSymtab() - Method in class cetus.base.grammars.NewCParser
-
- exitThrowsException(boolean) - Static method in class cetus.hir.Tools
-
Selects how Tools.exit() behaves.
- expandArguments(String[], String) - Static method in class cetus.application.ChainTools
-
- expandMay(RangeDomain, Set<Symbol>) - Method in class cetus.analysis.Section
-
Expand every section under the constraints given by the range domain.
- expandMust(RangeDomain, Set<Symbol>, Set<Symbol>) - Method in class cetus.analysis.Section
-
Expand every section under the constraints given by the range domain.
- expandSymbol(Expression, Symbol) - Method in class cetus.analysis.RangeDomain
-
Eliminates all occurrences of the specified variable from the expression
by replacing them with their value ranges.
- expandSymbols(Expression, Set<Symbol>) - Method in class cetus.analysis.RangeDomain
-
Eliminates all occurrences of the specified variables from the expression
by replacing them with their value ranges.
- EXPLICIT - Static variable in class cetus.hir.Specifier
-
- Exponent - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- expr() - Method in class cetus.base.grammars.NewCParser
-
- Expression - Class in cetus.hir
-
Base class for all expressions.
- ExpressionStatement - Class in cetus.hir
-
A statement with the purpose of evaluating an expression for a side effect.
- ExpressionStatement(Expression) - Constructor for class cetus.hir.ExpressionStatement
-
Create an expression statement given an expression.
- exprsToSymbols(List<Expression>) - Static method in class cetus.hir.SymbolTools
-
Returns a list of symbols by taking symbol object out of the expressions
in the given list.
- ext - Static variable in class cetus.gui.CetusGuiSpeedupPanel
-
- extendedDeclModifier() - Method in class cetus.base.grammars.NewCParser
-
- EXTERN - Static variable in class cetus.hir.Specifier
-
- externalDef(TranslationUnit) - Method in class cetus.base.grammars.NewCParser
-
- externalList(TranslationUnit) - Method in class cetus.base.grammars.NewCParser
-
- extractLinesPrecedingTokenNumber(Integer) - Method in class cetus.base.grammars.PreprocessorInfoChannel
-
- extractOutermostDependenceTestEligibleLoops(Traversable) - Static method in class cetus.analysis.LoopTools
-
- extractRanges(Expression) - Static method in class cetus.analysis.RangeAnalysis
-