Overview  Package  Class  Tree  Deprecated   Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _

A

a - Variable in class LinearBinaryCore
 
a - Variable in class LinearBinaryCoreFloat
 
a - Variable in class LinearTernaryCore
 
a - Variable in class LinearTernaryCoreFloat
 
a - Variable in class Pair
 
a - Variable in class Triple
 
aastore(Object[], int, Object) - Static method in class DCRuntime
Execute an aastore instruction and mark the array and its index as comparable.
aastore_df(Object[], int, Object) - Static method in class DCRuntime
Execute an aastore instruction and mark the array and its index as comparable.
ABSTRACT - Static variable in class JavaParser.ModifierSet
 
ABSTRACT - Static variable in interface JavaParserConstants
 
AbstractDeclarator() - Static method in class CParser
 
AbstractDeclarator - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> ( Pointer() | [ Pointer() ] DirectAbstractDeclarator() )
AbstractDeclarator(NodeChoice) - Constructor for class AbstractDeclarator
 
abstractException - Static variable in class Runtime
 
abstractException - Static variable in class Runtime
 
accept(Visitor) - Method in class InvNode
 
accept(Visitor) - Method in class Node
 
accept(Visitor) - Method in class PptNode
 
accept(Visitor) - Method in class RootNode
 
accept(Invariant) - Method in class IsEqualityComparison
 
accept(T) - Method in interface Filter
Tests whether a specified Object satisfies the filter.
accept(T) - Method in class MultiRandSelector
 
accept(T) - Method in class RandomSelector
When in fixed sample mode, increments the number of observed elements i by 1, then with probability k / i, the Object 'next' will be added to the currently selected values 'current_values' where k is equal to 'number_to_take'.
accept(File, String) - Method in class UtilMDE.WildcardFilter
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName
Accept the actions of a visitor.
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName
Accept the actions of a visitor.
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Add
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Add
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Elements
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Elements
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Field
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Field
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.FunctionOf
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.FunctionOf
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.FunctionOfN
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.FunctionOfN
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Poststate
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Poststate
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Prestate
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Prestate
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Simple
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Simple
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.SizeOf
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.SizeOf
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Slice
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Slice
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Subscript
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.Subscript
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.TypeOf
 
accept(VarInfoName.Visitor<T>) - Method in class VarInfoName.TypeOf
 
accept(Visitor) - Method in class AbstractDeclarator
 
accept(Visitor) - Method in class AdditiveExpression
 
accept(Visitor) - Method in class ANDExpression
 
accept(Visitor) - Method in class ArgumentExpressionList
 
accept(Visitor) - Method in class AssignmentExpression
 
accept(Visitor) - Method in class AssignmentOperator
 
accept(Visitor) - Method in class CastExpression
 
accept(Visitor) - Method in class CompoundStatement
 
accept(Visitor) - Method in class ConditionalExpression
 
accept(Visitor) - Method in class Constant
 
accept(Visitor) - Method in class ConstantExpression
 
accept(Visitor) - Method in class Declaration
 
accept(Visitor) - Method in class DeclarationList
 
accept(Visitor) - Method in class DeclarationSpecifiers
 
accept(Visitor) - Method in class Declarator
 
accept(Visitor) - Method in class DirectAbstractDeclarator
 
accept(Visitor) - Method in class DirectDeclarator
 
accept(Visitor) - Method in class Enumerator
 
accept(Visitor) - Method in class EnumeratorList
 
accept(Visitor) - Method in class EnumSpecifier
 
accept(Visitor) - Method in class EqualityExpression
 
accept(Visitor) - Method in class ExclusiveORExpression
 
accept(Visitor) - Method in class Expression
 
accept(Visitor) - Method in class ExpressionStatement
 
accept(Visitor) - Method in class ExternalDeclaration
 
accept(Visitor) - Method in class FunctionDefinition
 
accept(Visitor) - Method in class IdentifierList
 
accept(Visitor) - Method in class InclusiveORExpression
 
accept(Visitor) - Method in class InitDeclarator
 
accept(Visitor) - Method in class InitDeclaratorList
 
accept(Visitor) - Method in class Initializer
 
accept(Visitor) - Method in class InitializerList
 
accept(Visitor) - Method in class IterationStatement
 
accept(Visitor) - Method in class JumpStatement
 
accept(Visitor) - Method in class LabeledStatement
 
accept(Visitor) - Method in class LogicalANDExpression
 
accept(Visitor) - Method in class LogicalORExpression
 
accept(Visitor) - Method in class MultiplicativeExpression
 
accept(Visitor) - Method in interface Node
 
accept(Visitor) - Method in class NodeChoice
 
accept(Visitor) - Method in class NodeList
 
accept(Visitor) - Method in class NodeListOptional
 
accept(Visitor) - Method in class NodeOptional
 
accept(Visitor) - Method in class NodeSequence
 
accept(Visitor) - Method in class NodeToken
 
accept(Visitor) - Method in class ParameterDeclaration
 
accept(Visitor) - Method in class ParameterList
 
accept(Visitor) - Method in class ParameterTypeList
 
accept(Visitor) - Method in class Pointer
 
accept(Visitor) - Method in class PostfixExpression
 
accept(Visitor) - Method in class PrimaryExpression
 
accept(Visitor) - Method in class RelationalExpression
 
accept(Visitor) - Method in class SelectionStatement
 
accept(Visitor) - Method in class ShiftExpression
 
accept(Visitor) - Method in class SpecifierQualifierList
 
accept(Visitor) - Method in class Statement
 
accept(Visitor) - Method in class StatementList
 
accept(Visitor) - Method in class StorageClassSpecifier
 
accept(Visitor) - Method in class StructDeclaration
 
accept(Visitor) - Method in class StructDeclarationList
 
accept(Visitor) - Method in class StructDeclarator
 
accept(Visitor) - Method in class StructDeclaratorList
 
accept(Visitor) - Method in class StructOrUnion
 
accept(Visitor) - Method in class StructOrUnionSpecifier
 
accept(Visitor) - Method in class TranslationUnit
 
accept(Visitor) - Method in class TypedefName
 
accept(Visitor) - Method in class TypeName
 
accept(Visitor) - Method in class TypeQualifier
 
accept(Visitor) - Method in class TypeQualifierList
 
accept(Visitor) - Method in class TypeSpecifier
 
accept(Visitor) - Method in class UnaryExpression
 
accept(Visitor) - Method in class UnaryOperator
 
accept(Visitor) - Method in class AdditiveExpression
 
accept(GJVisitor<R, A>, A) - Method in class AdditiveExpression
 
accept(GJNoArguVisitor<R>) - Method in class AdditiveExpression
 
accept(GJVoidVisitor<A>, A) - Method in class AdditiveExpression
 
accept(Visitor) - Method in class AllocationExpression
 
accept(GJVisitor<R, A>, A) - Method in class AllocationExpression
 
accept(GJNoArguVisitor<R>) - Method in class AllocationExpression
 
accept(GJVoidVisitor<A>, A) - Method in class AllocationExpression
 
accept(Visitor) - Method in class AndExpression
 
accept(GJVisitor<R, A>, A) - Method in class AndExpression
 
accept(GJNoArguVisitor<R>) - Method in class AndExpression
 
accept(GJVoidVisitor<A>, A) - Method in class AndExpression
 
accept(Visitor) - Method in class Annotation
 
accept(GJVisitor<R, A>, A) - Method in class Annotation
 
accept(GJNoArguVisitor<R>) - Method in class Annotation
 
accept(GJVoidVisitor<A>, A) - Method in class Annotation
 
accept(Visitor) - Method in class AnnotationTypeBody
 
accept(GJVisitor<R, A>, A) - Method in class AnnotationTypeBody
 
accept(GJNoArguVisitor<R>) - Method in class AnnotationTypeBody
 
accept(GJVoidVisitor<A>, A) - Method in class AnnotationTypeBody
 
accept(Visitor) - Method in class AnnotationTypeDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class AnnotationTypeDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class AnnotationTypeDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class AnnotationTypeDeclaration
 
accept(Visitor) - Method in class AnnotationTypeMemberDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class AnnotationTypeMemberDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class AnnotationTypeMemberDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class AnnotationTypeMemberDeclaration
 
accept(Visitor) - Method in class ArgumentList
 
accept(GJVisitor<R, A>, A) - Method in class ArgumentList
 
accept(GJNoArguVisitor<R>) - Method in class ArgumentList
 
accept(GJVoidVisitor<A>, A) - Method in class ArgumentList
 
accept(Visitor) - Method in class Arguments
 
accept(GJVisitor<R, A>, A) - Method in class Arguments
 
accept(GJNoArguVisitor<R>) - Method in class Arguments
 
accept(GJVoidVisitor<A>, A) - Method in class Arguments
 
accept(Visitor) - Method in class ArrayDimsAndInits
 
accept(GJVisitor<R, A>, A) - Method in class ArrayDimsAndInits
 
accept(GJNoArguVisitor<R>) - Method in class ArrayDimsAndInits
 
accept(GJVoidVisitor<A>, A) - Method in class ArrayDimsAndInits
 
accept(Visitor) - Method in class ArrayInitializer
 
accept(GJVisitor<R, A>, A) - Method in class ArrayInitializer
 
accept(GJNoArguVisitor<R>) - Method in class ArrayInitializer
 
accept(GJVoidVisitor<A>, A) - Method in class ArrayInitializer
 
accept(Visitor) - Method in class AssertStatement
 
accept(GJVisitor<R, A>, A) - Method in class AssertStatement
 
accept(GJNoArguVisitor<R>) - Method in class AssertStatement
 
accept(GJVoidVisitor<A>, A) - Method in class AssertStatement
 
accept(Visitor) - Method in class AssignmentOperator
 
accept(GJVisitor<R, A>, A) - Method in class AssignmentOperator
 
accept(GJNoArguVisitor<R>) - Method in class AssignmentOperator
 
accept(GJVoidVisitor<A>, A) - Method in class AssignmentOperator
 
accept(Visitor) - Method in class Block
 
accept(GJVisitor<R, A>, A) - Method in class Block
 
accept(GJNoArguVisitor<R>) - Method in class Block
 
accept(GJVoidVisitor<A>, A) - Method in class Block
 
accept(Visitor) - Method in class BlockStatement
 
accept(GJVisitor<R, A>, A) - Method in class BlockStatement
 
accept(GJNoArguVisitor<R>) - Method in class BlockStatement
 
accept(GJVoidVisitor<A>, A) - Method in class BlockStatement
 
accept(Visitor) - Method in class BooleanLiteral
 
accept(GJVisitor<R, A>, A) - Method in class BooleanLiteral
 
accept(GJNoArguVisitor<R>) - Method in class BooleanLiteral
 
accept(GJVoidVisitor<A>, A) - Method in class BooleanLiteral
 
accept(Visitor) - Method in class BreakStatement
 
accept(GJVisitor<R, A>, A) - Method in class BreakStatement
 
accept(GJNoArguVisitor<R>) - Method in class BreakStatement
 
accept(GJVoidVisitor<A>, A) - Method in class BreakStatement
 
accept(Visitor) - Method in class CastExpression
 
accept(GJVisitor<R, A>, A) - Method in class CastExpression
 
accept(GJNoArguVisitor<R>) - Method in class CastExpression
 
accept(GJVoidVisitor<A>, A) - Method in class CastExpression
 
accept(Visitor) - Method in class CastLookahead
 
accept(GJVisitor<R, A>, A) - Method in class CastLookahead
 
accept(GJNoArguVisitor<R>) - Method in class CastLookahead
 
accept(GJVoidVisitor<A>, A) - Method in class CastLookahead
 
accept(Visitor) - Method in class ClassOrInterfaceBody
 
accept(GJVisitor<R, A>, A) - Method in class ClassOrInterfaceBody
 
accept(GJNoArguVisitor<R>) - Method in class ClassOrInterfaceBody
 
accept(GJVoidVisitor<A>, A) - Method in class ClassOrInterfaceBody
 
accept(Visitor) - Method in class ClassOrInterfaceBodyDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class ClassOrInterfaceBodyDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class ClassOrInterfaceBodyDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class ClassOrInterfaceBodyDeclaration
 
accept(Visitor) - Method in class ClassOrInterfaceDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class ClassOrInterfaceDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class ClassOrInterfaceDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class ClassOrInterfaceDeclaration
 
accept(Visitor) - Method in class ClassOrInterfaceType
 
accept(GJVisitor<R, A>, A) - Method in class ClassOrInterfaceType
 
accept(GJNoArguVisitor<R>) - Method in class ClassOrInterfaceType
 
accept(GJVoidVisitor<A>, A) - Method in class ClassOrInterfaceType
 
accept(Visitor) - Method in class CompilationUnit
 
accept(GJVisitor<R, A>, A) - Method in class CompilationUnit
 
accept(GJNoArguVisitor<R>) - Method in class CompilationUnit
 
accept(GJVoidVisitor<A>, A) - Method in class CompilationUnit
 
accept(Visitor) - Method in class ConditionalAndExpression
 
accept(GJVisitor<R, A>, A) - Method in class ConditionalAndExpression
 
accept(GJNoArguVisitor<R>) - Method in class ConditionalAndExpression
 
accept(GJVoidVisitor<A>, A) - Method in class ConditionalAndExpression
 
accept(Visitor) - Method in class ConditionalExpression
 
accept(GJVisitor<R, A>, A) - Method in class ConditionalExpression
 
accept(GJNoArguVisitor<R>) - Method in class ConditionalExpression
 
accept(GJVoidVisitor<A>, A) - Method in class ConditionalExpression
 
accept(Visitor) - Method in class ConditionalOrExpression
 
accept(GJVisitor<R, A>, A) - Method in class ConditionalOrExpression
 
accept(GJNoArguVisitor<R>) - Method in class ConditionalOrExpression
 
accept(GJVoidVisitor<A>, A) - Method in class ConditionalOrExpression
 
accept(Visitor) - Method in class ConstructorDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class ConstructorDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class ConstructorDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class ConstructorDeclaration
 
accept(Visitor) - Method in class ContinueStatement
 
accept(GJVisitor<R, A>, A) - Method in class ContinueStatement
 
accept(GJNoArguVisitor<R>) - Method in class ContinueStatement
 
accept(GJVoidVisitor<A>, A) - Method in class ContinueStatement
 
accept(Visitor) - Method in class DefaultValue
 
accept(GJVisitor<R, A>, A) - Method in class DefaultValue
 
accept(GJNoArguVisitor<R>) - Method in class DefaultValue
 
accept(GJVoidVisitor<A>, A) - Method in class DefaultValue
 
accept(Visitor) - Method in class DoStatement
 
accept(GJVisitor<R, A>, A) - Method in class DoStatement
 
accept(GJNoArguVisitor<R>) - Method in class DoStatement
 
accept(GJVoidVisitor<A>, A) - Method in class DoStatement
 
accept(Visitor) - Method in class EmptyStatement
 
accept(GJVisitor<R, A>, A) - Method in class EmptyStatement
 
accept(GJNoArguVisitor<R>) - Method in class EmptyStatement
 
accept(GJVoidVisitor<A>, A) - Method in class EmptyStatement
 
accept(Visitor) - Method in class EnumBody
 
accept(GJVisitor<R, A>, A) - Method in class EnumBody
 
accept(GJNoArguVisitor<R>) - Method in class EnumBody
 
accept(GJVoidVisitor<A>, A) - Method in class EnumBody
 
accept(Visitor) - Method in class EnumConstant
 
accept(GJVisitor<R, A>, A) - Method in class EnumConstant
 
accept(GJNoArguVisitor<R>) - Method in class EnumConstant
 
accept(GJVoidVisitor<A>, A) - Method in class EnumConstant
 
accept(Visitor) - Method in class EnumDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class EnumDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class EnumDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class EnumDeclaration
 
accept(Visitor) - Method in class EqualityExpression
 
accept(GJVisitor<R, A>, A) - Method in class EqualityExpression
 
accept(GJNoArguVisitor<R>) - Method in class EqualityExpression
 
accept(GJVoidVisitor<A>, A) - Method in class EqualityExpression
 
accept(Visitor) - Method in class ExclusiveOrExpression
 
accept(GJVisitor<R, A>, A) - Method in class ExclusiveOrExpression
 
accept(GJNoArguVisitor<R>) - Method in class ExclusiveOrExpression
 
accept(GJVoidVisitor<A>, A) - Method in class ExclusiveOrExpression
 
accept(Visitor) - Method in class ExplicitConstructorInvocation
 
accept(GJVisitor<R, A>, A) - Method in class ExplicitConstructorInvocation
 
accept(GJNoArguVisitor<R>) - Method in class ExplicitConstructorInvocation
 
accept(GJVoidVisitor<A>, A) - Method in class ExplicitConstructorInvocation
 
accept(Visitor) - Method in class Expression
 
accept(GJVisitor<R, A>, A) - Method in class Expression
 
accept(GJNoArguVisitor<R>) - Method in class Expression
 
accept(GJVoidVisitor<A>, A) - Method in class Expression
 
accept(Visitor) - Method in class ExtendsList
 
accept(GJVisitor<R, A>, A) - Method in class ExtendsList
 
accept(GJNoArguVisitor<R>) - Method in class ExtendsList
 
accept(GJVoidVisitor<A>, A) - Method in class ExtendsList
 
accept(Visitor) - Method in class FieldDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class FieldDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class FieldDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class FieldDeclaration
 
accept(Visitor) - Method in class ForInit
 
accept(GJVisitor<R, A>, A) - Method in class ForInit
 
accept(GJNoArguVisitor<R>) - Method in class ForInit
 
accept(GJVoidVisitor<A>, A) - Method in class ForInit
 
accept(Visitor) - Method in class FormalParameter
 
accept(GJVisitor<R, A>, A) - Method in class FormalParameter
 
accept(GJNoArguVisitor<R>) - Method in class FormalParameter
 
accept(GJVoidVisitor<A>, A) - Method in class FormalParameter
 
accept(Visitor) - Method in class FormalParameters
 
accept(GJVisitor<R, A>, A) - Method in class FormalParameters
 
accept(GJNoArguVisitor<R>) - Method in class FormalParameters
 
accept(GJVoidVisitor<A>, A) - Method in class FormalParameters
 
accept(Visitor) - Method in class ForStatement
 
accept(GJVisitor<R, A>, A) - Method in class ForStatement
 
accept(GJNoArguVisitor<R>) - Method in class ForStatement
 
accept(GJVoidVisitor<A>, A) - Method in class ForStatement
 
accept(Visitor) - Method in class ForUpdate
 
accept(GJVisitor<R, A>, A) - Method in class ForUpdate
 
accept(GJNoArguVisitor<R>) - Method in class ForUpdate
 
accept(GJVoidVisitor<A>, A) - Method in class ForUpdate
 
accept(Visitor) - Method in class IfStatement
 
accept(GJVisitor<R, A>, A) - Method in class IfStatement
 
accept(GJNoArguVisitor<R>) - Method in class IfStatement
 
accept(GJVoidVisitor<A>, A) - Method in class IfStatement
 
accept(Visitor) - Method in class ImplementsList
 
accept(GJVisitor<R, A>, A) - Method in class ImplementsList
 
accept(GJNoArguVisitor<R>) - Method in class ImplementsList
 
accept(GJVoidVisitor<A>, A) - Method in class ImplementsList
 
accept(Visitor) - Method in class ImportDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class ImportDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class ImportDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class ImportDeclaration
 
accept(Visitor) - Method in class InclusiveOrExpression
 
accept(GJVisitor<R, A>, A) - Method in class InclusiveOrExpression
 
accept(GJNoArguVisitor<R>) - Method in class InclusiveOrExpression
 
accept(GJVoidVisitor<A>, A) - Method in class InclusiveOrExpression
 
accept(Visitor) - Method in class Initializer
 
accept(GJVisitor<R, A>, A) - Method in class Initializer
 
accept(GJNoArguVisitor<R>) - Method in class Initializer
 
accept(GJVoidVisitor<A>, A) - Method in class Initializer
 
accept(Visitor) - Method in class InstanceOfExpression
 
accept(GJVisitor<R, A>, A) - Method in class InstanceOfExpression
 
accept(GJNoArguVisitor<R>) - Method in class InstanceOfExpression
 
accept(GJVoidVisitor<A>, A) - Method in class InstanceOfExpression
 
accept(Visitor) - Method in class LabeledStatement
 
accept(GJVisitor<R, A>, A) - Method in class LabeledStatement
 
accept(GJNoArguVisitor<R>) - Method in class LabeledStatement
 
accept(GJVoidVisitor<A>, A) - Method in class LabeledStatement
 
accept(Visitor) - Method in class Literal
 
accept(GJVisitor<R, A>, A) - Method in class Literal
 
accept(GJNoArguVisitor<R>) - Method in class Literal
 
accept(GJVoidVisitor<A>, A) - Method in class Literal
 
accept(Visitor) - Method in class LocalVariableDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class LocalVariableDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class LocalVariableDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class LocalVariableDeclaration
 
accept(Visitor) - Method in class MarkerAnnotation
 
accept(GJVisitor<R, A>, A) - Method in class MarkerAnnotation
 
accept(GJNoArguVisitor<R>) - Method in class MarkerAnnotation
 
accept(GJVoidVisitor<A>, A) - Method in class MarkerAnnotation
 
accept(Visitor) - Method in class MemberSelector
 
accept(GJVisitor<R, A>, A) - Method in class MemberSelector
 
accept(GJNoArguVisitor<R>) - Method in class MemberSelector
 
accept(GJVoidVisitor<A>, A) - Method in class MemberSelector
 
accept(Visitor) - Method in class MemberValue
 
accept(GJVisitor<R, A>, A) - Method in class MemberValue
 
accept(GJNoArguVisitor<R>) - Method in class MemberValue
 
accept(GJVoidVisitor<A>, A) - Method in class MemberValue
 
accept(Visitor) - Method in class MemberValueArrayInitializer
 
accept(GJVisitor<R, A>, A) - Method in class MemberValueArrayInitializer
 
accept(GJNoArguVisitor<R>) - Method in class MemberValueArrayInitializer
 
accept(GJVoidVisitor<A>, A) - Method in class MemberValueArrayInitializer
 
accept(Visitor) - Method in class MemberValuePair
 
accept(GJVisitor<R, A>, A) - Method in class MemberValuePair
 
accept(GJNoArguVisitor<R>) - Method in class MemberValuePair
 
accept(GJVoidVisitor<A>, A) - Method in class MemberValuePair
 
accept(Visitor) - Method in class MemberValuePairs
 
accept(GJVisitor<R, A>, A) - Method in class MemberValuePairs
 
accept(GJNoArguVisitor<R>) - Method in class MemberValuePairs
 
accept(GJVoidVisitor<A>, A) - Method in class MemberValuePairs
 
accept(Visitor) - Method in class MethodDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class MethodDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class MethodDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class MethodDeclaration
 
accept(Visitor) - Method in class MethodDeclarator
 
accept(GJVisitor<R, A>, A) - Method in class MethodDeclarator
 
accept(GJNoArguVisitor<R>) - Method in class MethodDeclarator
 
accept(GJVoidVisitor<A>, A) - Method in class MethodDeclarator
 
accept(Visitor) - Method in class Modifiers
 
accept(GJVisitor<R, A>, A) - Method in class Modifiers
 
accept(GJNoArguVisitor<R>) - Method in class Modifiers
 
accept(GJVoidVisitor<A>, A) - Method in class Modifiers
 
accept(Visitor) - Method in class MultiplicativeExpression
 
accept(GJVisitor<R, A>, A) - Method in class MultiplicativeExpression
 
accept(GJNoArguVisitor<R>) - Method in class MultiplicativeExpression
 
accept(GJVoidVisitor<A>, A) - Method in class MultiplicativeExpression
 
accept(Visitor) - Method in class Name
 
accept(GJVisitor<R, A>, A) - Method in class Name
 
accept(GJNoArguVisitor<R>) - Method in class Name
 
accept(GJVoidVisitor<A>, A) - Method in class Name
 
accept(Visitor) - Method in class NameList
 
accept(GJVisitor<R, A>, A) - Method in class NameList
 
accept(GJNoArguVisitor<R>) - Method in class NameList
 
accept(GJVoidVisitor<A>, A) - Method in class NameList
 
accept(Visitor) - Method in interface Node
 
accept(GJVisitor<R, A>, A) - Method in interface Node
 
accept(GJNoArguVisitor<R>) - Method in interface Node
 
accept(GJVoidVisitor<A>, A) - Method in interface Node
 
accept(Visitor) - Method in class NodeChoice
 
accept(GJVisitor<R, A>, A) - Method in class NodeChoice
 
accept(GJNoArguVisitor<R>) - Method in class NodeChoice
 
accept(GJVoidVisitor<A>, A) - Method in class NodeChoice
 
accept(Visitor) - Method in class NodeList
 
accept(GJVisitor<R, A>, A) - Method in class NodeList
 
accept(GJNoArguVisitor<R>) - Method in class NodeList
 
accept(GJVoidVisitor<A>, A) - Method in class NodeList
 
accept(Visitor) - Method in interface NodeListInterface
 
accept(GJVisitor<R, A>, A) - Method in interface NodeListInterface
 
accept(GJNoArguVisitor<R>) - Method in interface NodeListInterface
 
accept(GJVoidVisitor<A>, A) - Method in interface NodeListInterface
 
accept(Visitor) - Method in class NodeListOptional
 
accept(GJVisitor<R, A>, A) - Method in class NodeListOptional
 
accept(GJNoArguVisitor<R>) - Method in class NodeListOptional
 
accept(GJVoidVisitor<A>, A) - Method in class NodeListOptional
 
accept(Visitor) - Method in class NodeOptional
 
accept(GJVisitor<R, A>, A) - Method in class NodeOptional
 
accept(GJNoArguVisitor<R>) - Method in class NodeOptional
 
accept(GJVoidVisitor<A>, A) - Method in class NodeOptional
 
accept(Visitor) - Method in class NodeSequence
 
accept(GJVisitor<R, A>, A) - Method in class NodeSequence
 
accept(GJNoArguVisitor<R>) - Method in class NodeSequence
 
accept(GJVoidVisitor<A>, A) - Method in class NodeSequence
 
accept(Visitor) - Method in class NodeToken
 
accept(GJVisitor<R, A>, A) - Method in class NodeToken
 
accept(GJNoArguVisitor<R>) - Method in class NodeToken
 
accept(GJVoidVisitor<A>, A) - Method in class NodeToken
 
accept(Visitor) - Method in class NormalAnnotation
 
accept(GJVisitor<R, A>, A) - Method in class NormalAnnotation
 
accept(GJNoArguVisitor<R>) - Method in class NormalAnnotation
 
accept(GJVoidVisitor<A>, A) - Method in class NormalAnnotation
 
accept(Visitor) - Method in class NullLiteral
 
accept(GJVisitor<R, A>, A) - Method in class NullLiteral
 
accept(GJNoArguVisitor<R>) - Method in class NullLiteral
 
accept(GJVoidVisitor<A>, A) - Method in class NullLiteral
 
accept(Visitor) - Method in class PackageDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class PackageDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class PackageDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class PackageDeclaration
 
accept(Visitor) - Method in class PostfixExpression
 
accept(GJVisitor<R, A>, A) - Method in class PostfixExpression
 
accept(GJNoArguVisitor<R>) - Method in class PostfixExpression
 
accept(GJVoidVisitor<A>, A) - Method in class PostfixExpression
 
accept(Visitor) - Method in class PreDecrementExpression
 
accept(GJVisitor<R, A>, A) - Method in class PreDecrementExpression
 
accept(GJNoArguVisitor<R>) - Method in class PreDecrementExpression
 
accept(GJVoidVisitor<A>, A) - Method in class PreDecrementExpression
 
accept(Visitor) - Method in class PreIncrementExpression
 
accept(GJVisitor<R, A>, A) - Method in class PreIncrementExpression
 
accept(GJNoArguVisitor<R>) - Method in class PreIncrementExpression
 
accept(GJVoidVisitor<A>, A) - Method in class PreIncrementExpression
 
accept(Visitor) - Method in class PrimaryExpression
 
accept(GJVisitor<R, A>, A) - Method in class PrimaryExpression
 
accept(GJNoArguVisitor<R>) - Method in class PrimaryExpression
 
accept(GJVoidVisitor<A>, A) - Method in class PrimaryExpression
 
accept(Visitor) - Method in class PrimaryPrefix
 
accept(GJVisitor<R, A>, A) - Method in class PrimaryPrefix
 
accept(GJNoArguVisitor<R>) - Method in class PrimaryPrefix
 
accept(GJVoidVisitor<A>, A) - Method in class PrimaryPrefix
 
accept(Visitor) - Method in class PrimarySuffix
 
accept(GJVisitor<R, A>, A) - Method in class PrimarySuffix
 
accept(GJNoArguVisitor<R>) - Method in class PrimarySuffix
 
accept(GJVoidVisitor<A>, A) - Method in class PrimarySuffix
 
accept(Visitor) - Method in class PrimitiveType
 
accept(GJVisitor<R, A>, A) - Method in class PrimitiveType
 
accept(GJNoArguVisitor<R>) - Method in class PrimitiveType
 
accept(GJVoidVisitor<A>, A) - Method in class PrimitiveType
 
accept(Visitor) - Method in class ReferenceType
 
accept(GJVisitor<R, A>, A) - Method in class ReferenceType
 
accept(GJNoArguVisitor<R>) - Method in class ReferenceType
 
accept(GJVoidVisitor<A>, A) - Method in class ReferenceType
 
accept(Visitor) - Method in class RelationalExpression
 
accept(GJVisitor<R, A>, A) - Method in class RelationalExpression
 
accept(GJNoArguVisitor<R>) - Method in class RelationalExpression
 
accept(GJVoidVisitor<A>, A) - Method in class RelationalExpression
 
accept(Visitor) - Method in class ResultType
 
accept(GJVisitor<R, A>, A) - Method in class ResultType
 
accept(GJNoArguVisitor<R>) - Method in class ResultType
 
accept(GJVoidVisitor<A>, A) - Method in class ResultType
 
accept(Visitor) - Method in class ReturnStatement
 
accept(GJVisitor<R, A>, A) - Method in class ReturnStatement
 
accept(GJNoArguVisitor<R>) - Method in class ReturnStatement
 
accept(GJVoidVisitor<A>, A) - Method in class ReturnStatement
 
accept(Visitor) - Method in class RSIGNEDSHIFT
 
accept(GJVisitor<R, A>, A) - Method in class RSIGNEDSHIFT
 
accept(GJNoArguVisitor<R>) - Method in class RSIGNEDSHIFT
 
accept(GJVoidVisitor<A>, A) - Method in class RSIGNEDSHIFT
 
accept(Visitor) - Method in class RUNSIGNEDSHIFT
 
accept(GJVisitor<R, A>, A) - Method in class RUNSIGNEDSHIFT
 
accept(GJNoArguVisitor<R>) - Method in class RUNSIGNEDSHIFT
 
accept(GJVoidVisitor<A>, A) - Method in class RUNSIGNEDSHIFT
 
accept(Visitor) - Method in class ShiftExpression
 
accept(GJVisitor<R, A>, A) - Method in class ShiftExpression
 
accept(GJNoArguVisitor<R>) - Method in class ShiftExpression
 
accept(GJVoidVisitor<A>, A) - Method in class ShiftExpression
 
accept(Visitor) - Method in class SingleMemberAnnotation
 
accept(GJVisitor<R, A>, A) - Method in class SingleMemberAnnotation
 
accept(GJNoArguVisitor<R>) - Method in class SingleMemberAnnotation
 
accept(GJVoidVisitor<A>, A) - Method in class SingleMemberAnnotation
 
accept(Visitor) - Method in class Statement
 
accept(GJVisitor<R, A>, A) - Method in class Statement
 
accept(GJNoArguVisitor<R>) - Method in class Statement
 
accept(GJVoidVisitor<A>, A) - Method in class Statement
 
accept(Visitor) - Method in class StatementExpression
 
accept(GJVisitor<R, A>, A) - Method in class StatementExpression
 
accept(GJNoArguVisitor<R>) - Method in class StatementExpression
 
accept(GJVoidVisitor<A>, A) - Method in class StatementExpression
 
accept(Visitor) - Method in class StatementExpressionList
 
accept(GJVisitor<R, A>, A) - Method in class StatementExpressionList
 
accept(GJNoArguVisitor<R>) - Method in class StatementExpressionList
 
accept(GJVoidVisitor<A>, A) - Method in class StatementExpressionList
 
accept(Visitor) - Method in class SwitchLabel
 
accept(GJVisitor<R, A>, A) - Method in class SwitchLabel
 
accept(GJNoArguVisitor<R>) - Method in class SwitchLabel
 
accept(GJVoidVisitor<A>, A) - Method in class SwitchLabel
 
accept(Visitor) - Method in class SwitchStatement
 
accept(GJVisitor<R, A>, A) - Method in class SwitchStatement
 
accept(GJNoArguVisitor<R>) - Method in class SwitchStatement
 
accept(GJVoidVisitor<A>, A) - Method in class SwitchStatement
 
accept(Visitor) - Method in class SynchronizedStatement
 
accept(GJVisitor<R, A>, A) - Method in class SynchronizedStatement
 
accept(GJNoArguVisitor<R>) - Method in class SynchronizedStatement
 
accept(GJVoidVisitor<A>, A) - Method in class SynchronizedStatement
 
accept(Visitor) - Method in class ThrowStatement
 
accept(GJVisitor<R, A>, A) - Method in class ThrowStatement
 
accept(GJNoArguVisitor<R>) - Method in class ThrowStatement
 
accept(GJVoidVisitor<A>, A) - Method in class ThrowStatement
 
accept(Visitor) - Method in class TryStatement
 
accept(GJVisitor<R, A>, A) - Method in class TryStatement
 
accept(GJNoArguVisitor<R>) - Method in class TryStatement
 
accept(GJVoidVisitor<A>, A) - Method in class TryStatement
 
accept(Visitor) - Method in class Type
 
accept(GJVisitor<R, A>, A) - Method in class Type
 
accept(GJNoArguVisitor<R>) - Method in class Type
 
accept(GJVoidVisitor<A>, A) - Method in class Type
 
accept(Visitor) - Method in class TypeArgument
 
accept(GJVisitor<R, A>, A) - Method in class TypeArgument
 
accept(GJNoArguVisitor<R>) - Method in class TypeArgument
 
accept(GJVoidVisitor<A>, A) - Method in class TypeArgument
 
accept(Visitor) - Method in class TypeArguments
 
accept(GJVisitor<R, A>, A) - Method in class TypeArguments
 
accept(GJNoArguVisitor<R>) - Method in class TypeArguments
 
accept(GJVoidVisitor<A>, A) - Method in class TypeArguments
 
accept(Visitor) - Method in class TypeBound
 
accept(GJVisitor<R, A>, A) - Method in class TypeBound
 
accept(GJNoArguVisitor<R>) - Method in class TypeBound
 
accept(GJVoidVisitor<A>, A) - Method in class TypeBound
 
accept(Visitor) - Method in class TypeDeclaration
 
accept(GJVisitor<R, A>, A) - Method in class TypeDeclaration
 
accept(GJNoArguVisitor<R>) - Method in class TypeDeclaration
 
accept(GJVoidVisitor<A>, A) - Method in class TypeDeclaration
 
accept(Visitor) - Method in class TypeParameter
 
accept(GJVisitor<R, A>, A) - Method in class TypeParameter
 
accept(GJNoArguVisitor<R>) - Method in class TypeParameter
 
accept(GJVoidVisitor<A>, A) - Method in class TypeParameter
 
accept(Visitor) - Method in class TypeParameters
 
accept(GJVisitor<R, A>, A) - Method in class TypeParameters
 
accept(GJNoArguVisitor<R>) - Method in class TypeParameters
 
accept(GJVoidVisitor<A>, A) - Method in class TypeParameters
 
accept(Visitor) - Method in class UnaryExpression
 
accept(GJVisitor<R, A>, A) - Method in class UnaryExpression
 
accept(GJNoArguVisitor<R>) - Method in class UnaryExpression
 
accept(GJVoidVisitor<A>, A) - Method in class UnaryExpression
 
accept(Visitor) - Method in class UnaryExpressionNotPlusMinus
 
accept(GJVisitor<R, A>, A) - Method in class UnaryExpressionNotPlusMinus
 
accept(GJNoArguVisitor<R>) - Method in class UnaryExpressionNotPlusMinus
 
accept(GJVoidVisitor<A>, A) - Method in class UnaryExpressionNotPlusMinus
 
accept(Visitor) - Method in class VariableDeclarator
 
accept(GJVisitor<R, A>, A) - Method in class VariableDeclarator
 
accept(GJNoArguVisitor<R>) - Method in class VariableDeclarator
 
accept(GJVoidVisitor<A>, A) - Method in class VariableDeclarator
 
accept(Visitor) - Method in class VariableDeclaratorId
 
accept(GJVisitor<R, A>, A) - Method in class VariableDeclaratorId
 
accept(GJNoArguVisitor<R>) - Method in class VariableDeclaratorId
 
accept(GJVoidVisitor<A>, A) - Method in class VariableDeclaratorId
 
accept(Visitor) - Method in class VariableInitializer
 
accept(GJVisitor<R, A>, A) - Method in class VariableInitializer
 
accept(GJNoArguVisitor<R>) - Method in class VariableInitializer
 
accept(GJVoidVisitor<A>, A) - Method in class VariableInitializer
 
accept(Visitor) - Method in class WhileStatement
 
accept(GJVisitor<R, A>, A) - Method in class WhileStatement
 
accept(GJNoArguVisitor<R>) - Method in class WhileStatement
 
accept(GJVoidVisitor<A>, A) - Method in class WhileStatement
 
accept(Visitor) - Method in class WildcardBounds
 
accept(GJVisitor<R, A>, A) - Method in class WildcardBounds
 
accept(GJNoArguVisitor<R>) - Method in class WildcardBounds
 
accept(GJVoidVisitor<A>, A) - Method in class WildcardBounds
 
acceptIter(Iterator<T>) - Method in class MultiRandSelector
 
actualStrings - Variable in class Converter
 
add(String) - Method in class DSForest
If e !
add(PptTopLevel, Invariant) - Method in class InvMap
 
add(CHILD) - Method in class Node
 
add(ValueTuple, int) - Method in class DynamicConstants
Checks each current constant to see if it is still a constant.
add(ValueTuple, int) - Method in class DynamicConstants
Checks each current constant to see if it is still a constant.
add(Object, Object, int, int) - Method in class BinaryInvariant
 
add(Object, Object, int, int) - Method in class SequenceFloat
 
add(Object, Object, int, int) - Method in class SequenceScalar
 
add(Object, Object, int, int) - Method in class SequenceString
 
add(Object, Object, int, int) - Method in class FloatEqual
 
add(Object, Object, int, int) - Method in class FloatGreaterEqual
 
add(Object, Object, int, int) - Method in class FloatGreaterThan
 
add(Object, Object, int, int) - Method in class FloatLessEqual
 
add(Object, Object, int, int) - Method in class FloatLessThan
 
add(Object, Object, int, int) - Method in class FloatNonEqual
 
add(Object, Object, int, int) - Method in class IntEqual
 
add(Object, Object, int, int) - Method in class IntGreaterEqual
 
add(Object, Object, int, int) - Method in class IntGreaterThan
 
add(Object, Object, int, int) - Method in class IntLessEqual
 
add(Object, Object, int, int) - Method in class IntLessThan
 
add(Object, Object, int, int) - Method in class IntNonEqual
 
add(Object, Object, int, int) - Method in class TwoFloat
 
add(Object, Object, int, int) - Method in class TwoScalar
 
add(Object, Object, int, int) - Method in class TwoSequence
 
add(Object, Object, int, int) - Method in class TwoSequenceFloat
 
add(Object, Object, int, int) - Method in class TwoSequenceString
 
add(Object, Object, int, int) - Method in class StringEqual
 
add(Object, Object, int, int) - Method in class StringGreaterEqual
 
add(Object, Object, int, int) - Method in class StringGreaterThan
 
add(Object, Object, int, int) - Method in class StringLessEqual
 
add(Object, Object, int, int) - Method in class StringLessThan
 
add(Object, Object, int, int) - Method in class StringNonEqual
 
add(Object, Object, int, int) - Method in class TwoString
 
add(ValueTuple, int) - Method in class Equality
 
add(Object, Object, Object, int, int) - Method in class TernaryInvariant
 
add(Object, Object, Object, int, int) - Method in class ThreeFloat
 
add(Object, Object, Object, int, int) - Method in class ThreeScalar
 
add(LowerBoundCore) - Method in class LowerBoundCore
 
add(LowerBoundCoreFloat) - Method in class LowerBoundCoreFloat
 
add(Object, int, int) - Method in class SingleFloat
 
add(Object, int, int) - Method in class SingleScalar
 
add(Object, int, int) - Method in class SingleFloatSequence
 
add(Object, int, int) - Method in class SingleScalarSequence
 
add(Object, int, int) - Method in class SingleString
 
add(Object, int, int) - Method in class SingleStringSequence
 
add(Object, int, int) - Method in class UnaryInvariant
 
add(UpperBoundCore) - Method in class UpperBoundCore
 
add(UpperBoundCoreFloat) - Method in class UpperBoundCoreFloat
 
add(Object) - Method in class ValueSet
Add the specified object (really, its hashcode) to the set.
add(ValueSet) - Method in class ValueSet
 
add(Object) - Method in class ValueSet.ValueSetFloat
 
add(Object) - Method in class ValueSet.ValueSetFloatArray
 
add(Object) - Method in class ValueSet.ValueSetScalar
 
add(Object) - Method in class ValueSet.ValueSetScalarArray
 
add(Object) - Method in class ValueSet.ValueSetString
 
add(Object) - Method in class ValueSet.ValueSetStringArray
 
add(ValueTuple, int) - Method in class ModBitTracker
Add to this the modbits for the given ValueTuple.
add(ValueTuple, int) - Method in class ModBitTracker
Add to this the modbits for the given ValueTuple.
add(PptTopLevel) - Method in class PptMap
 
add(PptTopLevel) - Method in class PptMap
 
add(ValueTuple, int) - Method in class PptSlice0
 
add(ValueTuple, int) - Method in class PptSlice0
 
add(ValueTuple, int) - Method in class PptSlice1
This procedure accepts a sample (a ValueTuple), extracts the values from it, casts them to the proper types, and passes them along to the invariants proper.
add(ValueTuple, int) - Method in class PptSlice1
This procedure accepts a sample (a ValueTuple), extracts the values from it, casts them to the proper types, and passes them along to the invariants proper.
add(ValueTuple, int) - Method in class PptSlice2
This procedure accepts a sample (a ValueTuple), extracts the values from it, casts them to the proper types, and passes them along to the invariants proper.
add(ValueTuple, int) - Method in class PptSlice2
This procedure accepts a sample (a ValueTuple), extracts the values from it, casts them to the proper types, and passes them along to the invariants proper.
add(ValueTuple, int) - Method in class PptSlice3
This procedure accepts a sample (a ValueTuple), extracts the values from it, casts them to the proper types, and passes them along to the invariants proper.
add(ValueTuple, int) - Method in class PptSlice3
This procedure accepts a sample (a ValueTuple), extracts the values from it, casts them to the proper types, and passes them along to the invariants proper.
add(ValueTuple, int) - Method in class PptSliceEquality
Returns a List of Invariants that have been weakened/destroyed.
add(ValueTuple, int) - Method in class PptSliceEquality
Returns a List of Invariants that have been weakened/destroyed.
add(int) - Method in class LimitedSizeIntSet
 
add(T) - Method in class LimitedSizeSet
 
add(TaskManager.Task) - Method in class TaskManager
Adds the specified task to the end of the task list
add(FormatCommand) - Method in class TreeFormatter
Use this method to add FormatCommands to the command queue to be executed when the next token in the tree is visited.
add_bottom_up(ValueTuple, int) - Method in class PptSplitter
Adds the sample to each conditional ppt in the split.
add_bottom_up(ValueTuple, int) - Method in class PptSplitter
Adds the sample to each conditional ppt in the split.
add_bottom_up(ValueTuple, int) - Method in class PptTopLevel
Add the sample to the equality sets, dynamic constants and invariants at this program point.
add_bottom_up(ValueTuple, int) - Method in class PptTopLevel
Add the sample to the equality sets, dynamic constants and invariants at this program point.
add_checkers_for_nondeclared_members() - Method in class InstrumentVisitor
Add checker methods with empty bodies for all public methods and constuctors not explicitly declared.
add_combined() - Method in class PptCombined
Add the current sample.
add_combined() - Method in class PptCombined
Add the current sample.
add_derived_variables(PptTopLevel, Object[], int[]) - Static method in class FileIO
Add derived variables
add_derived_variables(PptTopLevel, Object[], int[]) - Static method in class FileIO
Add derived variables
add_escapes(String) - Method in exception ParseException
Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
add_escapes(String) - Method in exception ParseException
Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
add_implication(PptTopLevel, Invariant, Invariant, boolean, Map<Invariant, Invariant>) - Method in class PptSplitter
If the implication specified by predicate and consequent is a valid implication, adds it to the joiner view of parent.
add_implication(PptTopLevel, Invariant, Invariant, boolean, Map<Invariant, Invariant>) - Method in class PptSplitter
If the implication specified by predicate and consequent is a valid implication, adds it to the joiner view of parent.
add_implications() - Method in class PptSplitter
Adds implication invariants based on the invariants found on each side of the split
add_implications() - Method in class PptSplitter
Adds implication invariants based on the invariants found on each side of the split
add_implied(String) - Method in class DiscardInfo
Adds the specified string as an additional reason
add_implied_vis(VarInfo[]) - Method in class DiscardInfo
Adds an equality string to the discardString for each variable in in vis which is different from the leader
add_line_numbers(MethodGen, InstructionList) - Static method in class BCELUtil
Builds an array of line numbers for the specified instruction list.
add_mod_elem(double, int) - Method in class OneOfFloat
Adds a single sample to the invariant.
add_mod_elem(long, int) - Method in class OneOfScalar
Adds a single sample to the invariant.
add_mod_elem(long, int) - Method in class EltOneOf
Adds a single sample to the invariant.
add_mod_elem(double, int) - Method in class EltOneOfFloat
Adds a single sample to the invariant.
add_mod_elem(double[], int) - Method in class OneOfFloatSequence
Adds a single sample to the invariant.
add_mod_elem(long[], int) - Method in class OneOfSequence
Adds a single sample to the invariant.
add_mod_elem(String, int) - Method in class OneOfString
Adds a single sample to the invariant.
add_mod_elem(String, int) - Method in class EltOneOfString
Adds a single sample to the invariant.
add_mod_elem(String[], int) - Method in class OneOfStringSequence
Adds a single sample to the invariant.
add_modified(long[], long, int) - Method in class Member
 
add_modified(double[], double, int) - Method in class MemberFloat
 
add_modified(double[], double, int) - Method in class SeqFloatEqual
 
add_modified(double[], double, int) - Method in class SeqFloatGreaterEqual
 
add_modified(double[], double, int) - Method in class SeqFloatGreaterThan
 
add_modified(double[], double, int) - Method in class SeqFloatLessEqual
 
add_modified(double[], double, int) - Method in class SeqFloatLessThan
 
add_modified(long[], long, int) - Method in class SeqIntEqual
 
add_modified(long[], long, int) - Method in class SeqIntGreaterEqual
 
add_modified(long[], long, int) - Method in class SeqIntGreaterThan
 
add_modified(long[], long, int) - Method in class SeqIntLessEqual
 
add_modified(long[], long, int) - Method in class SeqIntLessThan
 
add_modified(double[], double, int) - Method in class SequenceFloat
This method need not check for falsified; that is done by the caller.
add_modified(long[], long, int) - Method in class SequenceScalar
This method need not check for falsified; that is done by the caller.
add_modified(String[], String, int) - Method in class MemberString
 
add_modified(String[], String, int) - Method in class SequenceString
This method need not check for falsified; that is done by the caller.
add_modified(double, double, int) - Method in class FloatEqual
 
add_modified(double, double, int) - Method in class FloatGreaterEqual
 
add_modified(double, double, int) - Method in class FloatGreaterThan
 
add_modified(double, double, int) - Method in class FloatLessEqual
 
add_modified(double, double, int) - Method in class FloatLessThan
 
add_modified(double, double, int) - Method in class FloatNonEqual
 
add_modified(long, long, int) - Method in class IntEqual
 
add_modified(long, long, int) - Method in class IntGreaterEqual
 
add_modified(long, long, int) - Method in class IntGreaterThan
 
add_modified(long, long, int) - Method in class IntLessEqual
 
add_modified(long, long, int) - Method in class IntLessThan
 
add_modified(long, long, int) - Method in class IntNonEqual
 
add_modified(long, long, int) - Method in class LinearBinary
 
add_modified(long, long, int) - Method in class LinearBinaryCore
 
add_modified(double, double, int) - Method in class LinearBinaryCoreFloat
 
add_modified(double, double, int) - Method in class LinearBinaryFloat
 
add_modified(double, double, int) - Method in class TwoFloat
Default implementation simply calls check.
add_modified(long, long, int) - Method in class TwoScalar
Default implementation simply calls check.
add_modified(double[], double[], int) - Method in class PairwiseFloatEqual
 
add_modified(double[], double[], int) - Method in class PairwiseFloatGreaterEqual
 
add_modified(double[], double[], int) - Method in class PairwiseFloatGreaterThan
 
add_modified(double[], double[], int) - Method in class PairwiseFloatLessEqual
 
add_modified(double[], double[], int) - Method in class PairwiseFloatLessThan
 
add_modified(long[], long[], int) - Method in class PairwiseIntEqual
 
add_modified(long[], long[], int) - Method in class PairwiseIntGreaterEqual
 
add_modified(long[], long[], int) - Method in class PairwiseIntGreaterThan
 
add_modified(long[], long[], int) - Method in class PairwiseIntLessEqual
 
add_modified(long[], long[], int) - Method in class PairwiseIntLessThan
 
add_modified(long[], long[], int) - Method in class PairwiseLinearBinary
 
add_modified(double[], double[], int) - Method in class PairwiseLinearBinaryFloat
 
add_modified(String[], String[], int) - Method in class PairwiseStringEqual
 
add_modified(String[], String[], int) - Method in class PairwiseStringGreaterEqual
 
add_modified(String[], String[], int) - Method in class PairwiseStringGreaterThan
 
add_modified(String[], String[], int) - Method in class PairwiseStringLessEqual
 
add_modified(String[], String[], int) - Method in class PairwiseStringLessThan
 
add_modified(long[], long[], int) - Method in class Reverse
 
add_modified(double[], double[], int) - Method in class ReverseFloat
 
add_modified(double[], double[], int) - Method in class SeqSeqFloatEqual
 
add_modified(double[], double[], int) - Method in class SeqSeqFloatGreaterEqual
 
add_modified(double[], double[], int) - Method in class SeqSeqFloatGreaterThan
 
add_modified(double[], double[], int) - Method in class SeqSeqFloatLessEqual
 
add_modified(double[], double[], int) - Method in class SeqSeqFloatLessThan
 
add_modified(long[], long[], int) - Method in class SeqSeqIntEqual
 
add_modified(long[], long[], int) - Method in class SeqSeqIntGreaterEqual
 
add_modified(long[], long[], int) - Method in class SeqSeqIntGreaterThan
 
add_modified(long[], long[], int) - Method in class SeqSeqIntLessEqual
 
add_modified(long[], long[], int) - Method in class SeqSeqIntLessThan
 
add_modified(String[], String[], int) - Method in class SeqSeqStringEqual
 
add_modified(String[], String[], int) - Method in class SeqSeqStringGreaterEqual
 
add_modified(String[], String[], int) - Method in class SeqSeqStringGreaterThan
 
add_modified(String[], String[], int) - Method in class SeqSeqStringLessEqual
 
add_modified(String[], String[], int) - Method in class SeqSeqStringLessThan
 
add_modified(long[], long[], int) - Method in class SubSequence
 
add_modified(double[], double[], int) - Method in class SubSequenceFloat
 
add_modified(long[], long[], int) - Method in class SubSet
 
add_modified(double[], double[], int) - Method in class SubSetFloat
 
add_modified(long[], long[], int) - Method in class SuperSequence
 
add_modified(double[], double[], int) - Method in class SuperSequenceFloat
 
add_modified(long[], long[], int) - Method in class SuperSet
 
add_modified(double[], double[], int) - Method in class SuperSetFloat
 
add_modified(long[], long[], int) - Method in class TwoSequence
Default implementation simply calls check.
add_modified(double[], double[], int) - Method in class TwoSequenceFloat
Default implementation simply calls check.
add_modified(String[], String[], int) - Method in class TwoSequenceString
Default implementation simply calls check.
add_modified(String, String, int) - Method in class StringEqual
 
add_modified(String, String, int) - Method in class StringGreaterEqual
 
add_modified(String, String, int) - Method in class StringGreaterThan
 
add_modified(String, String, int) - Method in class StringLessEqual
 
add_modified(String, String, int) - Method in class StringLessThan
 
add_modified(String, String, int) - Method in class StringNonEqual
 
add_modified(String, String, int) - Method in class TwoString
Default implementation simply calls check.
add_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseAndLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseAndLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseAndLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseOrLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseOrLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseOrLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseXorLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseXorLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseXorLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_xzy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_yzx
 
add_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_zyx
 
add_modified(long, long, long, int) - Method in class FunctionBinary.GcdLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.GcdLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.GcdLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LogicalAndLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LogicalAndLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LogicalAndLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LogicalOrLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LogicalOrLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LogicalOrLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LogicalXorLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LogicalXorLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LogicalXorLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_xzy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_yzx
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_zyx
 
add_modified(long, long, long, int) - Method in class FunctionBinary.MaximumLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.MaximumLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.MaximumLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.MinimumLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.MinimumLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.MinimumLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_xzy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_yzx
 
add_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_zyx
 
add_modified(long, long, long, int) - Method in class FunctionBinary.MultiplyLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.MultiplyLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.MultiplyLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_xzy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_yzx
 
add_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_zyx
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_xzy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_yzx
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_zyx
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_xyz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_xzy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_yxz
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_yzx
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_zxy
 
add_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_zyx
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_xyz
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_xzy
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_yxz
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_yzx
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_zxy
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_zyx
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MaximumDouble_xyz
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MaximumDouble_yxz
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MaximumDouble_zxy
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MinimumDouble_xyz
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MinimumDouble_yxz
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MinimumDouble_zxy
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MultiplyDouble_xyz
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MultiplyDouble_yxz
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MultiplyDouble_zxy
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_xyz
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_xzy
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_yxz
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_yzx
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_zxy
 
add_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_zyx
 
add_modified(long, long, long, int) - Method in class LinearTernary
 
add_modified(long, long, long, int) - Method in class LinearTernaryCore
Looks for points that define a plane (ax + by + cz + d = 0).
add_modified(double, double, double, int) - Method in class LinearTernaryCoreFloat
Looks for points that define a plane (ax + by + cz + d = 0).
add_modified(double, double, double, int) - Method in class LinearTernaryFloat
 
add_modified(double, double, double, int) - Method in class ThreeFloat
This method need not check for falsified; that is done by the caller.
add_modified(long, long, long, int) - Method in class ThreeScalar
This method need not check for falsified; that is done by the caller.
add_modified(long, int) - Method in class LowerBoundCore
 
add_modified(double, int) - Method in class LowerBoundCoreFloat
 
add_modified(long, int) - Method in class CompleteOneOfScalar
Check to see if a only contains printable ascii characters
add_modified(long, int) - Method in class IsPointer
 
add_modified(long, int) - Method in class LowerBound
 
add_modified(double, int) - Method in class LowerBoundFloat
 
add_modified(long, int) - Method in class Modulus
 
add_modified(long, int) - Method in class NonModulus
 
add_modified(long, int) - Method in class NonZero
 
add_modified(double, int) - Method in class NonZeroFloat
 
add_modified(double, int) - Method in class OneOfFloat
 
add_modified(long, int) - Method in class OneOfScalar
 
add_modified(long, int) - Method in class Positive
 
add_modified(double, int) - Method in class RangeFloat
 
add_modified(long, int) - Method in class RangeInt
 
add_modified(double, int) - Method in class SingleFloat
This method need not check for falsified; that is done by the caller.
add_modified(long, int) - Method in class SingleScalar
This method need not check for falsified; that is done by the caller.
add_modified(long, int) - Method in class UpperBound
 
add_modified(double, int) - Method in class UpperBoundFloat
 
add_modified(double[], int) - Method in class CommonFloatSequence
 
add_modified(long[], int) - Method in class CommonSequence
 
add_modified(long[], int) - Method in class EltLowerBound
 
add_modified(double[], int) - Method in class EltLowerBoundFloat
 
add_modified(long[], int) - Method in class EltNonZero
 
add_modified(double[], int) - Method in class EltNonZeroFloat
 
add_modified(long[], int) - Method in class EltOneOf
 
add_modified(double[], int) - Method in class EltOneOfFloat
 
add_modified(double[], int) - Method in class EltRangeFloat
 
add_modified(long[], int) - Method in class EltRangeInt
 
add_modified(long[], int) - Method in class EltUpperBound
 
add_modified(double[], int) - Method in class EltUpperBoundFloat
 
add_modified(double[], int) - Method in class EltwiseFloatEqual
 
add_modified(double[], int) - Method in class EltwiseFloatGreaterEqual
 
add_modified(double[], int) - Method in class EltwiseFloatGreaterThan
 
add_modified(double[], int) - Method in class EltwiseFloatLessEqual
 
add_modified(double[], int) - Method in class EltwiseFloatLessThan
 
add_modified(long[], int) - Method in class EltwiseIntEqual
 
add_modified(long[], int) - Method in class EltwiseIntGreaterEqual
 
add_modified(long[], int) - Method in class EltwiseIntGreaterThan
 
add_modified(long[], int) - Method in class EltwiseIntLessEqual
 
add_modified(long[], int) - Method in class EltwiseIntLessThan
 
add_modified(long[], int) - Method in class NoDuplicates
 
add_modified(double[], int) - Method in class NoDuplicatesFloat
 
add_modified(double[], int) - Method in class OneOfFloatSequence
 
add_modified(long[], int) - Method in class OneOfSequence
 
add_modified(double[], int) - Method in class SeqIndexFloatEqual
 
add_modified(double[], int) - Method in class SeqIndexFloatGreaterEqual
 
add_modified(double[], int) - Method in class SeqIndexFloatGreaterThan
 
add_modified(double[], int) - Method in class SeqIndexFloatLessEqual
 
add_modified(double[], int) - Method in class SeqIndexFloatLessThan
 
add_modified(double[], int) - Method in class SeqIndexFloatNonEqual
 
add_modified(long[], int) - Method in class SeqIndexIntEqual
 
add_modified(long[], int) - Method in class SeqIndexIntGreaterEqual
 
add_modified(long[], int) - Method in class SeqIndexIntGreaterThan
 
add_modified(long[], int) - Method in class SeqIndexIntLessEqual
 
add_modified(long[], int) - Method in class SeqIndexIntLessThan
 
add_modified(long[], int) - Method in class SeqIndexIntNonEqual
 
add_modified(double[], int) - Method in class SingleFloatSequence
This method need not check for falsified; that is done by the caller.
add_modified(long[], int) - Method in class SingleScalarSequence
This method need not check for falsified; that is done by the caller.
add_modified(String, int) - Method in class CompleteOneOfString
Check to see if a only contains printable ascii characters
add_modified(String, int) - Method in class OneOfString
 
add_modified(String, int) - Method in class PrintableString
Check to see if a only contains printable ascii characters
add_modified(String, int) - Method in class SingleString
This method need not check for falsified; that is done by the caller.
add_modified(String[], int) - Method in class CommonStringSequence
 
add_modified(String[], int) - Method in class EltOneOfString
 
add_modified(String[], int) - Method in class OneOfStringSequence
 
add_modified(String[], int) - Method in class SingleStringSequence
This method need not check for falsified; that is done by the caller.
add_modified(long, int) - Method in class UpperBoundCore
 
add_modified(double, int) - Method in class UpperBoundCoreFloat
 
add_ordered(long, long, long, int) - Method in class FunctionBinary
Apply the specified sample to the function, returning the result The caller is responsible for permuting the arguments.
add_ordered(double, double, double, int) - Method in class FunctionBinaryFloat
Apply the specified sample to the function, returning the result The caller is responsible for permuting the arguments.
add_orig_variables(PptTopLevel, Object[], int[], Integer) - Static method in class FileIO
If this is an function entry ppt, stores the values of all of the variables away for use at the exit.
add_orig_variables(PptTopLevel, Object[], int[], Integer) - Static method in class FileIO
If this is an function entry ppt, stores the values of all of the variables away for use at the exit.
add_relation(PptRelation, PptSplitter) - Method in class PptSplitter
Adds the specified relation from each conditional ppt in this to the corresponding conditional ppt in ppt_split.
add_relation(PptRelation, PptSplitter) - Method in class PptSplitter
Adds the specified relation from each conditional ppt in this to the corresponding conditional ppt in ppt_split.
add_sample(ValueTuple, int) - Method in class Invariant
Adds the specified sample to the invariant and returns the result.
add_stats(ValueSet) - Method in class ValueSet
Add stats from the specified value set.
add_stats(ValueSet) - Method in class ValueSet.ValueSetFloat
 
add_stats(ValueSet) - Method in class ValueSet.ValueSetFloatArray
 
add_stats(ValueSet) - Method in class ValueSet.ValueSetScalar
 
add_stats(ValueSet) - Method in class ValueSet.ValueSetScalarArray
 
add_stats(ValueSet) - Method in class ValueSet.ValueSetString
 
add_stats(ValueSet) - Method in class ValueSet.ValueSetStringArray
 
add_to_start(MethodGen, InstructionList) - Static method in class BCELUtil
Adds code in nl to start of method mg *
add_to_suppressor_map(Map<Class<? extends Invariant>, List<NISuppressionSet>>) - Method in class NISuppressionSet
Adds this set to the suppressor map.
add_track(String) - Static method in class Debug
Parses the specified argument to --track and sets up the track arrays accordingly.
add_track(String) - Static method in class Debug
Parses the specified argument to --track and sets up the track arrays accordingly.
add_type(Type[], Type) - Static method in class BCELUtil
Returns a type array with new_type added to the end of types
add_unmodified(double[], double, int) - Method in class SequenceFloat
By default, do nothing if the value hasn't been seen yet.
add_unmodified(long[], long, int) - Method in class SequenceScalar
By default, do nothing if the value hasn't been seen yet.
add_unmodified(String[], String, int) - Method in class SequenceString
By default, do nothing if the value hasn't been seen yet.
add_unmodified(double, double, int) - Method in class TwoFloat
By default, do nothing if the value hasn't been seen yet.
add_unmodified(long, long, int) - Method in class TwoScalar
By default, do nothing if the value hasn't been seen yet.
add_unmodified(long[], long[], int) - Method in class TwoSequence
By default, do nothing if the value hasn't been seen yet.
add_unmodified(double[], double[], int) - Method in class TwoSequenceFloat
By default, do nothing if the value hasn't been seen yet.
add_unmodified(String[], String[], int) - Method in class TwoSequenceString
By default, do nothing if the value hasn't been seen yet.
add_unmodified(String, String, int) - Method in class TwoString
By default, do nothing if the value hasn't been seen yet.
add_unmodified(double, double, double, int) - Method in class ThreeFloat
By default, do nothing if the value hasn't been seen yet.
add_unmodified(long, long, long, int) - Method in class ThreeScalar
By default, do nothing if the value hasn't been seen yet.
add_unmodified(double, int) - Method in class SingleFloat
By default, do nothing if the value hasn't been seen yet.
add_unmodified(long, int) - Method in class SingleScalar
By default, do nothing if the value hasn't been seen yet.
add_unmodified(double[], int) - Method in class SingleFloatSequence
By default, do nothing if the value hasn't been seen yet.
add_unmodified(long[], int) - Method in class SingleScalarSequence
By default, do nothing if the value hasn't been seen yet.
add_unmodified(String, int) - Method in class SingleString
By default, do nothing if the value hasn't been seen yet.
add_unmodified(String[], int) - Method in class SingleStringSequence
By default, do nothing if the value hasn't been seen yet.
add_unordered(Object, Object, int, int) - Method in class BinaryInvariant
Applies the variables in the correct order.
add_val_bu(Object, int, int) - Method in class PptSlice1
 
add_val_bu(Object, int, int) - Method in class PptSlice1
 
add_val_bu(Object, Object, int, int, int) - Method in class PptSlice2
 
add_val_bu(Object, Object, int, int, int) - Method in class PptSlice2
 
add_val_bu(Object, Object, Object, int, int, int, int) - Method in class PptSlice3
 
add_val_bu(Object, Object, Object, int, int, int, int) - Method in class PptSlice3
 
add_var_data(List<Object>) - Method in class DeclReader.DeclPpt
Adds a record of data for this ppt.
addAll(List<PptTopLevel>) - Method in class PptMap
 
addAll(List<PptTopLevel>) - Method in class PptMap
 
addAll(LimitedSizeIntSet) - Method in class LimitedSizeIntSet
 
addAll(LimitedSizeSet<? extends T>) - Method in class LimitedSizeSet
 
addCheckerClass(ClassOrInterfaceBody) - Method in class CheckerClasses
 
addChild(DaikonVariableInfo) - Method in class DaikonVariableInfo
Add a child to this node.
addChildNodes(ClassInfo, Class<?>, String, String, int) - Method in class DaikonVariableInfo
Explores the tree one level deeper (see DaikonVariableInfo).
addClassVars(ClassInfo, boolean, Class<?>, String, int) - Method in class DaikonVariableInfo
Adds class variables (i.e., the fields) for the given type and attach new nodes as children of this node.
addComment(Node, String) - Static method in class Ast
 
addComment(Node, String, boolean) - Static method in class Ast
 
addComment(Node, NodeToken) - Static method in class Ast
 
addComment(Node, NodeToken, boolean) - Static method in class Ast
Add the comment to the first regular token in the tree, as a "special token" (comment).
addConditions(Splitter[]) - Method in class PptTopLevel
 
addConditions(Splitter[]) - Method in class PptTopLevel
 
addDeclaration(ClassOrInterfaceBody, ClassOrInterfaceBodyDeclaration) - Static method in class Ast
 
addDeclaration(StringBuffer) - Method in class CheckerClass
 
addDeclaration(ClassOrInterfaceBody, StringBuffer) - Method in class CheckerClasses
 
addDeclaration(ConstructorDeclaration, StringBuffer) - Method in class CheckerClasses
 
addDeclaration(MethodDeclaration, StringBuffer) - Method in class CheckerClasses
 
addDeclVar(ClassInfo, Class<?>, String, String, int, int, int) - Method in class DaikonVariableInfo
Adds the decl info for a single parameter as a child of this node.
addDeclVar(Field, String, StringBuffer) - Method in class DaikonVariableInfo
Adds the decl info for a single class variable (a field) as a child of this node.
addedComments - Variable in class AnnotateVisitor
 
addEqualityInvariants(List<Invariant>) - Static method in class InvariantFilters
This function takes a list of invariants, finds the equality Comparison invariants (x==y, y==z), and deletes and replaces them with Equality invariants (x==y==z).
addEscapes(String) - Static method in error TokenMgrError
Replaces unprintable characters by their espaced (or unicode escaped) equivalents in the given string
addEscapes(String) - Static method in error TokenMgrError
Replaces unprintable characters by their espaced (or unicode escaped) equivalents in the given string
addFirstSpecial(NodeToken, NodeToken) - Static method in class Ast
Adds the comment to the first regular token in the tree, *before* all other special tokens.
addImplications() - Method in class PptTopLevel
Given conditional program points (and invariants detected over them), create implications.
addImplications() - Method in class PptTopLevel
Given conditional program points (and invariants detected over them), create implications.
addImport(CompilationUnit, ImportDeclaration) - Static method in class Ast
 
addInvariant(Invariant) - Method in class PptSlice
 
addInvariant(Invariant) - Method in class PptSlice
 
addInvariant(Invariant) - Method in class PptSlice0
The invariant is typically an Implication; but PptSlice0 can contain other joiners than implications, such as "and" or "or".
addInvariant(Invariant) - Method in class PptSlice0
The invariant is typically an Implication; but PptSlice0 can contain other joiners than implications, such as "and" or "or".
addInvariant(Invariant) - Method in class PptSlice1
 
addInvariant(Invariant) - Method in class PptSlice1
 
addInvariant(Invariant) - Method in class PptSlice2
 
addInvariant(Invariant) - Method in class PptSlice2
 
addInvariant(Invariant) - Method in class PptSlice3
 
addInvariant(Invariant) - Method in class PptSlice3
 
addInvariant(Invariant) - Method in class PptSliceEquality
 
addInvariant(Invariant) - Method in class PptSliceEquality
 
AdditiveExpression() - Static method in class CParser
 
AdditiveExpression - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> MultiplicativeExpression() f1 -> [ ( "+" | "-" ) AdditiveExpression() ]
AdditiveExpression(MultiplicativeExpression, NodeOptional) - Constructor for class AdditiveExpression
 
AdditiveExpression() - Method in class JavaParser
 
AdditiveExpression - Class in jtb.syntaxtree
Grammar production: f0 -> MultiplicativeExpression() f1 -> ( ( "+" | "-" ) MultiplicativeExpression() )*
AdditiveExpression(MultiplicativeExpression, NodeListOptional) - Constructor for class AdditiveExpression
 
addMessage(String) - Method in class StackVer
This method adds a (warning) message to the message pool of this PassVerifier.
addNode(Node) - Method in class NodeList
 
addNode(Node) - Method in interface NodeListInterface
 
addNode(Node) - Method in class NodeListOptional
 
addNode(Node) - Method in class NodeOptional
 
addNode(Node) - Method in class NodeSequence
 
addNode(Node) - Method in class NodeList
 
addNode(Node) - Method in interface NodeListInterface
 
addNode(Node) - Method in class NodeListOptional
 
addNode(Node) - Method in class NodeOptional
 
addNode(Node) - Method in class NodeSequence
 
addNthSpecial(NodeToken, NodeToken, int) - Static method in class Ast
Adds the comment to the first regular token in the tree, before the ith special token.
addParameters(ClassInfo, Member, List<String>, String, int) - Method in class DaikonVariableInfo
Add the parameters of the given method to this node.
addPpt(PptTopLevel) - Method in class InvMap
 
addPrestateExpression(String) - Static method in class PrintInvariants
See dkconfig_replace_prestate.
addPrestateExpression(String) - Static method in class PrintInvariants
See dkconfig_replace_prestate.
addPureMethodDecl(ClassInfo, MethodInfo, String, int, StringBuffer) - Method in class DaikonVariableInfo
Adds the decl info for a pure method.
addSlice(PptSlice) - Method in class PptTopLevel
Add a single slice to the views variable
addSlice(PptSlice) - Method in class PptTopLevel
Add a single slice to the views variable
addSpecial(NodeToken) - Method in class NodeToken
 
addSpecial(NodeToken) - Method in class NodeToken
 
addToClasspath(String) - Static method in class UtilMDE
Add the directory to the system classpath.
addVariableFilter(String) - Method in class InvariantFilters
 
addViews(Vector<PptSlice>) - Method in class PptTopLevel
Add the specified slices to this ppt
addViews(Vector<PptSlice>) - Method in class PptTopLevel
Add the specified slices to this ppt
adjacent() - Static method in enum Quantify.QuantFlags
set with just ADJACENT turned on
adjacent() - Static method in enum Quantify.QuantFlags
set with just ADJACENT turned on
adjustBeginLineColumn(int, int) - Static method in class ASCII_CharStream
Method to adjust line and column numbers for the start of a token.
adjustBeginLineColumn(int, int) - Method in class JavaCharStream
Method to adjust line and column numbers for the start of a token.
AdjustBuffSize() - Method in class JavaCharStream
 
all_classes - Static variable in class Runtime
List of all instrumented classes
all_null(Object[]) - Static method in class ArraysMDE
 
all_null(List<?>) - Static method in class ArraysMDE
 
all_ppts - Static variable in class Daikon
 
all_ppts - Static variable in class Daikon
 
all_ppts - Static variable in class DaikonSimple
 
all_ppts - Static variable in class DaikonSimple
 
all_ppts - Variable in class FileIO.ParseState
All of the ppts seen so far
all_ppts - Variable in class FileIO.ParseState
All of the ppts seen so far
all_ppts() - Method in class PptMap
Returns all of the program points in the map
all_ppts() - Method in class PptMap
Returns all of the program points in the map
all_ppts - Static variable in class StackOffsets
 
all_ppts - Static variable in class StackOffsets
 
all_predecessors_goto(PptTopLevel) - Method in class PptTopLevel
Returns true if all prececessor basic blocks eventually end up at the specified program point.
all_predecessors_goto(PptTopLevel, Set<PptTopLevel>) - Method in class PptTopLevel
Returns true if all predecessor basic blocks eventually end up at the specified progrm point.
all_predecessors_goto(PptTopLevel) - Method in class PptTopLevel
Returns true if all prececessor basic blocks eventually end up at the specified program point.
all_predecessors_goto(PptTopLevel, Set<PptTopLevel>) - Method in class PptTopLevel
Returns true if all predecessor basic blocks eventually end up at the specified progrm point.
all_successors_goto(PptTopLevel) - Method in class PptTopLevel
Returns true if all successor basic blocks eventually end up at the specified progrm point.
all_successors_goto(PptTopLevel, Set<PptTopLevel>) - Method in class PptTopLevel
Returns true if all successor basic blocks eventually end up at the specified progrm point.
all_successors_goto(PptTopLevel) - Method in class PptTopLevel
Returns true if all successor basic blocks eventually end up at the specified progrm point.
all_successors_goto(PptTopLevel, Set<PptTopLevel>) - Method in class PptTopLevel
Returns true if all successor basic blocks eventually end up at the specified progrm point.
all_vals() - Method in class TaskManager.Task
 
ALL_VARIABLES - Static variable in class InvariantFilters
 
AllocationExpression() - Method in class JavaParser
 
AllocationExpression - Class in jtb.syntaxtree
Grammar production: f0 -> "new" PrimitiveType() ArrayDimsAndInits() | "new" ClassOrInterfaceType() [ TypeArguments() ] ( ArrayDimsAndInits() | Arguments() [ ClassOrInterfaceBody(false) ] )
AllocationExpression(NodeChoice) - Constructor for class AllocationExpression
 
allPrestate() - Method in class PptSlice
 
allPrestate() - Method in class PptSlice
 
always_traceback - Variable in class SimpleLog
Always provide a backtrace (traceback) when calling log.
alwaysComparable() - Method in class VarComparability
Returns true if this is comparable to everything else.
alwaysComparable() - Method in class VarComparability
Returns true if this is comparable to everything else.
alwaysComparable() - Method in class VarComparabilityImplicit
 
alwaysComparable() - Method in class VarComparabilityImplicit
 
alwaysComparable() - Method in class VarComparabilityNone
 
alwaysComparable() - Method in class VarComparabilityNone
 
amount - Variable in class VarInfoName.Add
 
amount - Variable in class VarInfoName.Add
 
ANDASSIGN - Static variable in interface JavaParserConstants
 
ANDExpression() - Static method in class CParser
 
ANDExpression - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> EqualityExpression() f1 -> [ "&" ANDExpression() ]
ANDExpression(EqualityExpression, NodeOptional) - Constructor for class ANDExpression
 
AndExpression() - Method in class JavaParser
 
AndExpression - Class in jtb.syntaxtree
Grammar production: f0 -> EqualityExpression() f1 -> ( "&" EqualityExpression() )*
AndExpression(EqualityExpression, NodeListOptional) - Constructor for class AndExpression
 
AndJoiner - Class in daikon.inv
This is a special invariant used internally by Daikon to represent an antecedent invariant in an implication where that antecedent consists of two invariants anded together.
AndJoiner(PptTopLevel, Invariant, Invariant) - Constructor for class AndJoiner
 
Annotate - Class in daikon.tools.jtb
Merge Daikon-generated invariants into Java source code as ESC/JML/DBC annotations.
Annotate() - Constructor for class Annotate
 
AnnotateNullable - Class in daikon
AnnotateNullable reads a Daikon invariant file and determines which reference variables have seen any null values.
AnnotateNullable - Class in daikon
AnnotateNullable reads a Daikon invariant file and determines which reference variables have seen any null values.
AnnotateNullable() - Constructor for class AnnotateNullable
 
AnnotateNullable() - Constructor for class AnnotateNullable
 
AnnotateVisitor - Class in daikon.tools.jtb
 
AnnotateVisitor(String, Node, PptMap, boolean, boolean, boolean, boolean, int) - Constructor for class AnnotateVisitor
 
Annotation - Class in daikon.tools.jtb
Utility class to parse annotations generated with the Annotate program using --wrap_xml flag.
Annotation() - Method in class JavaParser
 
Annotation - Class in jtb.syntaxtree
Grammar production: f0 -> NormalAnnotation() | SingleMemberAnnotation() | MarkerAnnotation()
Annotation(NodeChoice) - Constructor for class Annotation
 
Annotation.Kind - Class in daikon.tools.jtb
A class representing the kind of an annotation.
Annotation.MalformedAnnotationException - Exception in daikon.tools.jtb
Thrown by method get(String annoString) if annoString doesn't represent a well-formed annotation.
Annotation.MalformedAnnotationException(String) - Constructor for exception Annotation.MalformedAnnotationException
 
AnnotationTypeBody() - Method in class JavaParser
 
AnnotationTypeBody - Class in jtb.syntaxtree
Grammar production: f0 -> "{" f1 -> ( AnnotationTypeMemberDeclaration() )* f2 -> "}"
AnnotationTypeBody(NodeToken, NodeListOptional, NodeToken) - Constructor for class AnnotationTypeBody
 
AnnotationTypeBody(NodeListOptional) - Constructor for class AnnotationTypeBody
 
AnnotationTypeDeclaration(int) - Method in class JavaParser
 
AnnotationTypeDeclaration - Class in jtb.syntaxtree
Grammar production: f0 -> "@" f1 -> "interface" f2 -> f3 -> AnnotationTypeBody()
AnnotationTypeDeclaration(NodeToken, NodeToken, NodeToken, AnnotationTypeBody) - Constructor for class AnnotationTypeDeclaration
 
AnnotationTypeDeclaration(NodeToken, AnnotationTypeBody) - Constructor for class AnnotationTypeDeclaration
 
AnnotationTypeMemberDeclaration() - Method in class JavaParser
 
AnnotationTypeMemberDeclaration - Class in jtb.syntaxtree
Grammar production: f0 -> Modifiers() ( Type() "(" ")" [ DefaultValue() ] ";" | ClassOrInterfaceDeclaration(modifiers) | EnumDeclaration(modifiers) | AnnotationTypeDeclaration(modifiers) | FieldDeclaration(modifiers) ) | ( ";" )
AnnotationTypeMemberDeclaration(NodeChoice) - Constructor for class AnnotationTypeMemberDeclaration
 
antecedent_method - Static variable in class NIS
Boolean.
antecedents_for_suppression(List<Invariant>[]) - Method in class NISuppression
Returns a string describing each of the antecedents for each suppressor
any_null(Object[]) - Static method in class ArraysMDE
 
any_null(List<?>) - Static method in class ArraysMDE
 
ANY_VARIABLE - Static variable in class InvariantFilters
 
append(String) - Method in class StringBuilderDelimited
 
append(Object) - Method in class StringBuilderDelimited
 
append(char) - Method in class StringBuilderDelimited
 
append(CharSequence) - Method in class StringBuilderDelimited
 
append(CharSequence, int, int) - Method in class StringBuilderDelimited
 
appendProperty(Properties, String, String) - Static method in class UtilMDE
Set the property to its previous value concatenated to the given value.
appendSetUpTest(PrintStream) - Static method in class SplitterFactoryTestUpdater
Appends the code to write the static block of code to code.
applicable(VarInfo) - Static method in class SequenceInitial
 
applicable(VarInfo) - Static method in class SequenceInitialFloat
 
applicable(VarInfo) - Static method in class SequenceLength
 
applicable(VarInfo) - Static method in class StringLength
 
apply(InputStream) - Method in class Configuration
 
apply(String) - Method in class Configuration
 
apply(String, String) - Method in class Configuration
 
apply(String, String, String) - Method in class Configuration
 
apply(Class<?>, String, String) - Method in class Configuration
 
apply(Session) - Method in interface Cmd
Runs the command in the given session.
apply(Session) - Method in class CmdAssume
For documentation, read the class overview.
apply(Session) - Method in class CmdCheck
For documentation, read the class overview.
apply(Session) - Method in class CmdRaw
For documentation, read the class overview.
apply(Session) - Method in class CmdUndoAssume
For documentation, read the class overview.
apply_samples(ValueTuple, int) - Static method in class NIS
Applies sample values to all of the newly created invariants (kept in new_invs).
apply_subscript(String) - Method in class VarInfo
Adds a subscript (or sequence) to an array variable.
apply_subscript(String, String) - Static method in class VarInfo
Adds a subscript (or subsequence) to an array name.
apply_subscript(String) - Method in class VarInfo
Adds a subscript (or sequence) to an array variable.
apply_subscript(String, String) - Static method in class VarInfo
Adds a subscript (or subsequence) to an array name.
applyAdd(int) - Method in class VarInfoName.Add
 
applyAdd(int) - Method in class VarInfoName.Add
 
applyAdd(int) - Method in class VarInfoName
Returns a name for the this term plus a constant, like "this-1" or "this+1".
applyAdd(int) - Method in class VarInfoName
Returns a name for the this term plus a constant, like "this-1" or "this+1".
applyDecrement() - Method in class VarInfoName
Returns a name for the decrement of this term, like "this-1".
applyDecrement() - Method in class VarInfoName
Returns a name for the decrement of this term, like "this-1".
applyElements() - Method in class VarInfoName
Returns a name for the elements of a container (as opposed to the identity of the container) like "this[]" or "(elements this)".
applyElements() - Method in class VarInfoName
Returns a name for the elements of a container (as opposed to the identity of the container) like "this[]" or "(elements this)".
applyField(String) - Method in class VarInfoName
Returns a 'getter' operation for some field of this name, like a.foo if this is a.
applyField(String) - Method in class VarInfoName
Returns a 'getter' operation for some field of this name, like a.foo if this is a.
applyFunction(String) - Method in class VarInfoName
Returns a name for a unary function applied to this object.
applyFunction(String) - Method in class VarInfoName
Returns a name for a unary function applied to this object.
applyFunctionOfN(String, List<VarInfoName>) - Static method in class VarInfoName
Returns a name for a function applied to more than one argument.
applyFunctionOfN(String, VarInfoName[]) - Static method in class VarInfoName
Returns a name for a function of more than one argument.
applyFunctionOfN(String, List<VarInfoName>) - Static method in class VarInfoName
Returns a name for a function applied to more than one argument.
applyFunctionOfN(String, VarInfoName[]) - Static method in class VarInfoName
Returns a name for a function of more than one argument.
applyIncrement() - Method in class VarInfoName
Returns a name for the increment of this term, like "this+1".
applyIncrement() - Method in class VarInfoName
Returns a name for the increment of this term, like "this+1".
applyIntersection(VarInfoName) - Method in class VarInfoName
Returns a name for the intersection of with another sequence, like "intersect(a[], b[])".
applyIntersection(VarInfoName) - Method in class VarInfoName
Returns a name for the intersection of with another sequence, like "intersect(a[], b[])".
applyPoststate() - Method in class VarInfoName
Returns a name for a the poststate value of this object; form is like "new(this)" or "\new(this)".
applyPoststate() - Method in class VarInfoName
Returns a name for a the poststate value of this object; form is like "new(this)" or "\new(this)".
applyPrestate() - Method in class VarInfoName
Returns a name for a the prestate value of this object; form is like "orig(this)" or "\old(this)".
applyPrestate() - Method in class VarInfoName
Returns a name for a the prestate value of this object; form is like "orig(this)" or "\old(this)".
applySize() - Method in class VarInfoName
Returns a name for the size of this (this object should be a sequence).
applySize() - Method in class VarInfoName
Returns a name for the size of this (this object should be a sequence).
applySlice(VarInfoName, VarInfoName) - Method in class VarInfoName
Returns a name for a slice of element selected from a sequence, like "this[i..j]".
applySlice(VarInfoName, VarInfoName) - Method in class VarInfoName
Returns a name for a slice of element selected from a sequence, like "this[i..j]".
applySubscript(VarInfoName) - Method in class VarInfoName
Returns a name for an element selected from a sequence, like "this[i]".
applySubscript(VarInfoName) - Method in class VarInfoName
Returns a name for an element selected from a sequence, like "this[i]".
applyTypeOf() - Method in class VarInfoName
Returns a name for the type of this object; form is like "this.getClass()" or "\typeof(this)".
applyTypeOf() - Method in class VarInfoName
Returns a name for the type of this object; form is like "this.getClass()" or "\typeof(this)".
applyUnion(VarInfoName) - Method in class VarInfoName
Returns a name for the union of this with another sequence, like "union(a[], b[])".
applyUnion(VarInfoName) - Method in class VarInfoName
Returns a name for the union of this with another sequence, like "union(a[], b[])".
applyVisitorInsertComments(String, Node, Writer, AnnotateVisitor) - Static method in class Ast
 
applyVisitorReformat(Reader, Writer, Visitor) - Static method in class Ast
 
arg1 - Variable in class TestPlume.TestOptions
 
arg2 - Variable in class TestPlume.TestOptions
 
arg_names - Variable in class MethodInfo
Array of argument names for this method
arg_type_strings - Variable in class MethodInfo
Array of argument types for this method (fully qualified).
arg_types - Variable in class MethodInfo
Array of argument types as classes for this method
arglistFromJvm(String) - Static method in class UtilMDE
Convert an argument list from JVML format to Java format.
arglistToJvm(String) - Static method in class UtilMDE
Convert a fully-qualified argument list from Java format to JVML format.
args - Variable in class VarInfoName.FunctionOfN
 
args - Variable in class VarInfoName.FunctionOfN
 
args_to_string(List<String>) - Method in class Chicory
convert a list of arguments into a command line string
args_to_string(List<String>) - Method in class Chicory
convert a list of arguments into a command line string
args_to_string(List<String>) - Method in class DynComp
convert a list of arguments into a command line string
args_to_string(List<String>) - Method in class DynComp
convert a list of arguments into a command line string
argument - Variable in class VarInfoName.FunctionOf
 
argument - Variable in class VarInfoName.FunctionOf
 
ArgumentExpressionList() - Static method in class CParser
 
ArgumentExpressionList - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> AssignmentExpression() f1 -> ( "," AssignmentExpression() )*
ArgumentExpressionList(AssignmentExpression, NodeListOptional) - Constructor for class ArgumentExpressionList
 
ArgumentList() - Method in class JavaParser
 
ArgumentList - Class in jtb.syntaxtree
Grammar production: f0 -> Expression() f1 -> ( "," Expression() )*
ArgumentList(Expression, NodeListOptional) - Constructor for class ArgumentList
 
Arguments() - Method in class JavaParser
 
Arguments - Class in jtb.syntaxtree
Grammar production: f0 -> "(" f1 -> [ ArgumentList() ] f2 -> ")"
Arguments(NodeToken, NodeOptional, NodeToken) - Constructor for class Arguments
 
Arguments(NodeOptional) - Constructor for class Arguments
 
argVar1() - Method in class FunctionBinary
Permuted arg1 var.
argVar1() - Method in class FunctionBinaryFloat
Permuted arg1 var.
argVar2() - Method in class FunctionBinary
Permuted arg2 var.
argVar2() - Method in class FunctionBinaryFloat
Permuted arg2 var.
arity() - Method in class PptSlice
 
arity() - Method in class PptSlice
 
arity() - Method in class PptSlice0
 
arity() - Method in class PptSlice0
 
arity() - Method in class PptSlice1
 
arity() - Method in class PptSlice1
 
arity() - Method in class PptSlice2
 
arity() - Method in class PptSlice2
 
arity() - Method in class PptSlice3
 
arity() - Method in class PptSlice3
 
arity() - Method in class PptSliceEquality
 
arity() - Method in class PptSliceEquality
 
arr_dims - Variable in class FileIO.VarDefinition
Number of array dimensions (0 or 1)
arr_dims - Variable in class FileIO.VarDefinition
Number of array dimensions (0 or 1)
arr_dims - Variable in class VarInfo
 
arr_dims - Variable in class VarInfo
 
array_child() - Method in class DaikonVariableInfo
Returns the direct child that is an array, null if one does not exist
array_sizes_eq(VarInfo, VarInfo) - Method in class PairwiseNumericFloat
Returns an invariant that is true when the size(v1) == size(v2).
array_sizes_eq(VarInfo, VarInfo) - Method in class PairwiseNumericInt
Returns an invariant that is true when the size(v1) == size(v2).
array_sizes_eq(VarInfo, VarInfo) - Method in class PairwiseString
Returns an invariant that is true when the size(v1) == size(v2).
arrayclone_simple(VarInfo[]) - Static method in class VarInfo
Given an array of VarInfo objects, return an array of clones, where references to the originals have been modified into references to the new ones (so that the new set is self-consistent).
arrayclone_simple(VarInfo[]) - Static method in class VarInfo
Given an array of VarInfo objects, return an array of clones, where references to the originals have been modified into references to the new ones (so that the new set is self-consistent).
ArrayDimsAndInits() - Method in class JavaParser
 
ArrayDimsAndInits - Class in jtb.syntaxtree
Grammar production: f0 -> ( "[" Expression() "]" )+ ( "[" "]" )* | ( "[" "]" )+ ArrayInitializer()
ArrayDimsAndInits(NodeChoice) - Constructor for class ArrayDimsAndInits
 
ArrayInfo - Class in daikon.chicory
The ArrayInfo class is a subtype of DaikonVariableInfo used for variable types which are arrays (i.e., their name ends with "[]").
ArrayInfo(String, Class<?>) - Constructor for class ArrayInfo
Constructs an ArrayInfo object with the specified name and type.
ArrayInitializer() - Method in class JavaParser
 
ArrayInitializer - Class in jtb.syntaxtree
Grammar production: f0 -> "{" f1 -> [ VariableInitializer() ( "," VariableInitializer() )* ] f2 -> [ "," ] f3 -> "}"
ArrayInitializer(NodeToken, NodeOptional, NodeOptional, NodeToken) - Constructor for class ArrayInitializer
 
ArrayInitializer(NodeOptional, NodeOptional) - Constructor for class ArrayInitializer
 
arraylen_df(Object) - Static method in class DCRuntime
Finds the DF for the length of the specified array and pushes a tag on the tag stack that refers to that DF.
ArraysMDE - Class in daikon.util
Utilities for manipulating arrays.
ArraysMDE.ComparableArrayComparatorLengthFirst<T extends Comparable<T>> - Class in daikon.util
Note: this comparator imposes orderings that are inconsistent with equals.
ArraysMDE.ComparableArrayComparatorLengthFirst() - Constructor for class ArraysMDE.ComparableArrayComparatorLengthFirst
 
ArraysMDE.ComparableArrayComparatorLexical<T extends Comparable<T>> - Class in daikon.util
Note: this comparator imposes orderings that are inconsistent with equals.
ArraysMDE.ComparableArrayComparatorLexical() - Constructor for class ArraysMDE.ComparableArrayComparatorLexical
 
ArraysMDE.DoubleArrayComparatorLexical - Class in daikon.util
Note: this comparator imposes orderings that are inconsistent with equals.
ArraysMDE.DoubleArrayComparatorLexical() - Constructor for class ArraysMDE.DoubleArrayComparatorLexical
 
ArraysMDE.IntArrayComparatorLengthFirst - Class in daikon.util
Note: this comparator imposes orderings that are inconsistent with equals.
ArraysMDE.IntArrayComparatorLengthFirst() - Constructor for class ArraysMDE.IntArrayComparatorLengthFirst
 
ArraysMDE.IntArrayComparatorLexical - Class in daikon.util
Note: this comparator imposes orderings that are inconsistent with equals.
ArraysMDE.IntArrayComparatorLexical() - Constructor for class ArraysMDE.IntArrayComparatorLexical
 
ArraysMDE.LongArrayComparatorLengthFirst - Class in daikon.util
Note: this comparator imposes orderings that are inconsistent with equals.
ArraysMDE.LongArrayComparatorLengthFirst() - Constructor for class ArraysMDE.LongArrayComparatorLengthFirst
 
ArraysMDE.LongArrayComparatorLexical - Class in daikon.util
Note: this comparator imposes orderings that are inconsistent with equals.
ArraysMDE.LongArrayComparatorLexical() - Constructor for class ArraysMDE.LongArrayComparatorLexical
 
ArraysMDE.ObjectArrayComparatorLengthFirst - Class in daikon.util
Note: this comparator imposes orderings that are inconsistent with equals.
ArraysMDE.ObjectArrayComparatorLengthFirst() - Constructor for class ArraysMDE.ObjectArrayComparatorLengthFirst
 
ArraysMDE.ObjectArrayComparatorLexical - Class in daikon.util
Note: this comparator imposes orderings that are inconsistent with equals.
ArraysMDE.ObjectArrayComparatorLexical() - Constructor for class ArraysMDE.ObjectArrayComparatorLexical
 
ArraysMDE.StringArrayComparatorLexical - Class in daikon.util
Note: this comparator imposes orderings that are inconsistent with equals.
ArraysMDE.StringArrayComparatorLexical() - Constructor for class ArraysMDE.StringArrayComparatorLexical
 
arrayToString(VarInfo[]) - Static method in class VarInfo
Returns a string containing the names of the vars in the array.
arrayToString(VarInfo[]) - Static method in class VarInfo
Returns a string containing the names of the vars in the array.
ASCII_CharStream - Class in jtb.cparser
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
ASCII_CharStream(Reader, int, int, int) - Constructor for class ASCII_CharStream
 
ASCII_CharStream(Reader, int, int) - Constructor for class ASCII_CharStream
 
ASCII_CharStream(InputStream, int, int, int) - Constructor for class ASCII_CharStream
 
ASCII_CharStream(InputStream, int, int) - Constructor for class ASCII_CharStream
 
asCollection() - Method in class PptMap
 
asCollection() - Method in class PptMap
 
asInvClass(Object) - Static method in class Invariant
 
AsmFile - Class in daikon.asm
Stores the instructions associated with an asm file.
AsmFile(LineNumberReader) - Constructor for class AsmFile
 
AsmFileTest - Class in daikon.test
 
AsmFileTest() - Constructor for class AsmFileTest
 
asResourceName(String) - Static method in class JWhich
 
Assert - Class in daikon.util
Deprecated.  
ASSERT - Static variable in interface JavaParserConstants
 
Assert.AssertionException - Error in daikon.util
Deprecated. Error class for failed assertions.
Assert.AssertionException(String) - Constructor for error Assert.AssertionException
Deprecated.  
assert_arrays_equals(int[], int[]) - Static method in class TestQuant
 
assert_arrays_equals(int[], int[]) - Static method in class TestPlume
 
assert_arrays_equals(double[], double[]) - Static method in class TestPlume
 
assert_well_formed(String) - Static method in class SimpUtil
 
assertEqualFiles(String, String) - Static method in class SplitterFactoryTest
Returns true iff files are the same (ignoring extra white space).
assertEqualFiles(String) - Static method in class SplitterFactoryTest
 
AssertStatement() - Method in class JavaParser
 
AssertStatement - Class in jtb.syntaxtree
Grammar production: f0 -> "assert" f1 -> Expression() f2 -> [ ":" Expression() ] f3 -> ";"
AssertStatement(NodeToken, Expression, NodeOptional, NodeToken) - Constructor for class AssertStatement
 
AssertStatement(Expression, NodeOptional) - Constructor for class AssertStatement
 
assertTrue(boolean, String) - Static method in class Assert
Deprecated. Throw AssertionException with the argument string if the condition does not hold.
assertTrue(boolean) - Static method in class Assert
Deprecated. Throw AssertionException if the condition does not hold.
ASSIGN - Static variable in interface JavaParserConstants
 
assignment2primaryexpression(Expression) - Static method in class Ast
 
AssignmentExpression() - Static method in class CParser
 
AssignmentExpression - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> UnaryExpression() AssignmentOperator() AssignmentExpression() | ConditionalExpression()
AssignmentExpression(NodeChoice) - Constructor for class AssignmentExpression
 
AssignmentOperator() - Static method in class CParser
 
AssignmentOperator - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> ( "=" | "*=" | "/=" | "%=" | "+=" | "-=" | "<<=" | ">>=" | "&=" | "^=" | "|=" )
AssignmentOperator(NodeChoice) - Constructor for class AssignmentOperator
 
AssignmentOperator() - Method in class JavaParser
 
AssignmentOperator - Class in jtb.syntaxtree
Grammar production: f0 -> "=" | "*=" | "/=" | "%=" | "+=" | "-=" | "<<=" | ">>=" | ">>>=" | "&=" | "^=" | "|="
AssignmentOperator(NodeChoice) - Constructor for class AssignmentOperator
 
assignToBucket(String) - Method in class DtracePartitioner
Returns the program point name given by the input invocation.
assignToBucket(ELEMENT) - Method in interface Partitioner
 
Ast - Class in daikon.tools.jtb
 
Ast() - Constructor for class Ast
 
AT - Static variable in interface JavaParserConstants
 
attemptProverStartup() - Static method in class SessionManager
 
augmentShadowingMap(TypeParameters) - Method in class ClassOrInterfaceTypeDecorateVisitor
 
augmentShadowingMap(TypeParameter) - Method in class ClassOrInterfaceTypeDecorateVisitor
f0 -> f1 -> [ TypeBound() ]
AUTO - Static variable in interface CParserConstants
 
aux - Variable in class VarInfo
Auxiliary info.
aux - Variable in class VarInfo
Auxiliary info.
avg_size - Static variable in class DeclReader
Prints only the average set size for each specified file

B

b - Variable in class LinearBinaryCore
 
b - Variable in class LinearBinaryCoreFloat
 
b - Variable in class LinearTernaryCore
 
b - Variable in class LinearTernaryCoreFloat
 
b - Variable in class Pair
 
b - Variable in class Triple
 
backticks(String...) - Static method in class UtilMDE
Execute the given command, and return all its output as a string.
backticks(List<String>) - Static method in class UtilMDE
Execute the given command, and return all its output as a string.
backTrace(Throwable) - Static method in class UtilMDE
For the current backtrace, do "backtrace(new Throwable())".
backTrace() - Static method in class UtilMDE
Deprecated. use "backtrace(new Throwable())" instead, to avoid spurious "at plume.UtilMDE.backTrace(UtilMDE.java:1491)" in output.
backup(int) - Static method in class ASCII_CharStream
 
backup(int) - Method in class JavaCharStream
 
bad_confidence - Static variable in class DiscardCode
used when an invariant has an unjustified confidence
bad_sample - Static variable in class DiscardCode
used when an invariant is falsified by a seen example
badExpressions - Static variable in class Printer
 
BANG - Static variable in interface JavaParserConstants
 
BANNED_METHODS - Static variable in class FeatureExtractor
 
base - Variable in class UnaryDerivation
 
base() - Method in class UnaryDerivation
 
base() - Method in class ProglangType
 
base() - Method in class ProglangType
 
base1 - Variable in class BinaryDerivation
Original variable 1.
base2 - Variable in class BinaryDerivation
Original variable 2.
baseAlwayscomparable() - Method in class VarComparabilityImplicit
 
baseAlwayscomparable() - Method in class VarComparabilityImplicit
 
baseIsBoolean() - Method in class ProglangType
 
baseIsBoolean() - Method in class ProglangType
 
baseIsFloat() - Method in class ProglangType
 
baseIsFloat() - Method in class ProglangType
 
baseIsHashcode() - Method in class ProglangType
 
baseIsHashcode() - Method in class ProglangType
 
baseIsIntegral() - Method in class ProglangType
 
baseIsIntegral() - Method in class ProglangType
 
baseIsObject() - Method in class ProglangType
 
baseIsObject() - Method in class ProglangType
 
baseIsPrimitive() - Method in class ProglangType
 
baseIsPrimitive() - Method in class ProglangType
 
baseIsScalar() - Method in class ProglangType
 
baseIsScalar() - Method in class ProglangType
 
baseIsString() - Method in class ProglangType
 
baseIsString() - Method in class ProglangType
 
bastore(byte[], int, byte) - Static method in class DCRuntime
Execute an bastore instruction and manipulate the tags accordingly.
bastore_df(byte[], int, byte) - Static method in class DCRuntime
Execute an bastore instruction and manipulate the tags accordingly.
bb_length - Variable in class PptTopLevel
Length of basic block (bytes)
bb_length - Variable in class PptTopLevel
Length of basic block (bytes)
bb_offset() - Method in class PptTopLevel
If this is a basic block, returns the offset in the DLL
bb_offset() - Method in class PptTopLevel
If this is a basic block, returns the offset in the DLL
bb_short_name(PptTopLevel) - Static method in class PptCombined
 
bb_short_name(PptTopLevel) - Static method in class PptCombined
 
BCELUtil - Class in daikon.util
Static utility methods for working with BCEL.
BCELUtil() - Constructor for class BCELUtil
 
beginColumn - Variable in class NodeToken
 
beginColumn - Variable in class Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
beginColumn - Variable in class NodeToken
 
beginColumn - Variable in class Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
beginLine - Variable in class NodeToken
 
beginLine - Variable in class Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
beginLine - Variable in class NodeToken
 
beginLine - Variable in class Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
BeginToken() - Static method in class ASCII_CharStream
 
BeginToken() - Method in class JavaCharStream
 
best_translation(List<List<InvTranslate>>) - Static method in class InvMatch
 
BibtexClean - Class in daikon.util
Clean a BibTeX file by removing text outside BibTeX entries.
BibtexClean() - Constructor for class BibtexClean
 
binary - Static variable in class DtraceConvert
 
binary_tag_df() - Static method in class DCRuntime
Handle a binary operation on the two items at the top of the tag stack.
binary_tag_op() - Static method in class DCRuntime
Handle a binary operation on the two items at the top of the tag stack.
BinaryDerivation - Class in daikon.derive.binary
Abstract class to represent a derived variable that came from two base variables.
BinaryDerivation(VarInfo, VarInfo) - Constructor for class BinaryDerivation
Create a new BinaryDerivation from two varinfos.
BinaryDerivationFactory - Class in daikon.derive.binary
Factory to produce BinaryDerivation.
BinaryDerivationFactory() - Constructor for class BinaryDerivationFactory
 
BinaryInvariant - Class in daikon.inv.binary
Provides a class that defines the functions that must exist for each two variable invariant.
BinaryInvariant(PptSlice) - Constructor for class BinaryInvariant
 
BinaryInvariant() - Constructor for class BinaryInvariant
 
BIT_AND - Static variable in interface JavaParserConstants
 
BIT_OR - Static variable in interface JavaParserConstants
 
bitwiseAnd(int, int) - Static method in class MathMDE
 
bitwiseAnd(long, long) - Static method in class MathMDE
 
bitwiseComplement(int) - Static method in class MathMDE
 
bitwiseComplement(long) - Static method in class MathMDE
 
bitwiseOr(int, int) - Static method in class MathMDE
 
bitwiseOr(long, long) - Static method in class MathMDE
 
bitwiseXor(int, int) - Static method in class MathMDE
 
bitwiseXor(long, long) - Static method in class MathMDE
 
Block() - Method in class JavaParser
 
Block - Class in jtb.syntaxtree
Grammar production: f0 -> "{" f1 -> ( BlockStatement() )* f2 -> "}"
Block(NodeToken, NodeListOptional, NodeToken) - Constructor for class Block
 
Block(NodeListOptional) - Constructor for class Block
 
BlockStatement() - Method in class JavaParser
 
BlockStatement - Class in jtb.syntaxtree
Grammar production: f0 -> LocalVariableDeclaration() ";" | Statement() | ClassOrInterfaceDeclaration(0)
BlockStatement(NodeChoice) - Constructor for class BlockStatement
 
body - Variable in class EntryReader.Entry
Complete body of the entry including the first line
bool - Variable in class TestPlume.TestOptions
 
BOOLEAN - Static variable in class ProglangType
 
BOOLEAN - Static variable in class ProglangType
 
BOOLEAN - Static variable in interface JavaParserConstants
 
BOOLEAN_ARRAY - Static variable in class ProglangType
 
BOOLEAN_ARRAY - Static variable in class ProglangType
 
Boolean_valueOf(boolean) - Static method in class DCRuntime
DF of result is equal to DF of argument
BooleanLiteral() - Method in class JavaParser
 
BooleanLiteral - Class in jtb.syntaxtree
Grammar production: f0 -> "true" | "false"
BooleanLiteral(NodeChoice) - Constructor for class BooleanLiteral
 
boot_classes - Static variable in class Chicory
 
boot_classes - Static variable in class Chicory
 
bound_vars - Variable in class VarInfoName.QuantHelper.QuantifyReturn
 
bound_vars - Variable in class VarInfoName.QuantHelper.QuantifyReturn
 
branch - Static variable in class DynComp
 
branch - Static variable in class DynComp
 
branch_tags - Static variable in class DCRuntime
Information about each of the values encountered at a frontier branch
BREAK - Static variable in interface CParserConstants
 
BREAK - Static variable in interface JavaParserConstants
 
BreakStatement() - Method in class JavaParser
 
BreakStatement - Class in jtb.syntaxtree
Grammar production: f0 -> "break" f1 -> [ ] f2 -> ";"
BreakStatement(NodeToken, NodeOptional, NodeToken) - Constructor for class BreakStatement
 
BreakStatement(NodeOptional) - Constructor for class BreakStatement
 
bufcolumn - Variable in class JavaCharStream
 
buffer - Static variable in class Digest
This static buffer is used by getFileDigest() above
buffer - Variable in class JavaCharStream
 
bufferedFileReader(String) - Static method in class UtilMDE
Returns a BufferedReader for the file, accounting for the possibility that the file is compressed.
bufferedFileReader(File) - Static method in class UtilMDE
Returns a BufferedReader for the file, accounting for the possibility that the file is compressed.
bufferedFileReader(String, String) - Static method in class UtilMDE
Returns a BufferedReader for the file, accounting for the possibility that the file is compressed.
bufferedFileReader(File, String) - Static method in class UtilMDE
Returns a BufferedReader for the file, accounting for the possibility that the file is compressed.
BufferedFileReader(String) - Static method in class UtilMDE
Deprecated. use bufferedFileReader (note lowercase first letter)
bufferedFileWriter(String) - Static method in class UtilMDE
Returns a BufferedWriter for the file, accounting for the possibility that the file is compressed.
bufferedFileWriter(String, boolean) - Static method in class UtilMDE
Returns a BufferedWriter for the file, accounting for the possibility that the file is compressed.
BufferedFileWriter(String) - Static method in class UtilMDE
Deprecated. use bufferedFileWriter (note lowercase first letter)
BufferedFileWriter(String, boolean) - Static method in class UtilMDE
Deprecated. use bufferedFileWriter (note lowercase first letter)
bufline - Variable in class JavaCharStream
 
bufpos - Static variable in class ASCII_CharStream
 
bufpos - Variable in class JavaCharStream
 
bufPrint(String) - Method in class PrintAllVisitor
 
bufPrintln(String) - Method in class PrintAllVisitor
 
bufPrintln() - Method in class PrintAllVisitor
 
build_permute(VarInfo[], VarInfo[]) - Static method in class PptTopLevel
Builds a permutation from vis1 to vis2.
build_permute(VarInfo[], VarInfo[]) - Static method in class PptTopLevel
Builds a permutation from vis1 to vis2.
BuildJDK - Class in daikon.dcomp
Converts each file in the JDK.
BuildJDK() - Constructor for class BuildJDK
 
BuildJDK.RtJarFinder - Class in daikon.dcomp
Given an explicit rt.jar filename, or a root JDK or JRE directory, finds the rt.jar file.
BuildJDK.RtJarFinder(String) - Constructor for class BuildJDK.RtJarFinder
 
business_hours - Static variable in class ICalAvailable
A list of time ranges, expressed as a String.
BYTE - Static variable in interface JavaParserConstants
 

C

c - Variable in class LinearBinaryCore
 
c - Variable in class LinearBinaryCoreFloat
 
c - Variable in class LinearTernaryCore
 
c - Variable in class LinearTernaryCoreFloat
 
c - Variable in class Triple
 
cache_class - Variable in class Debug
cached class
cache_class - Variable in class Debug
cached class
cache_match - Variable in class Debug
True if the cached variables are printable.
cache_match - Variable in class Debug
True if the cached variables are printable.
cache_ppt - Variable in class Debug
cached ppt
cache_ppt - Variable in class Debug
cached ppt
cache_repr() - Method in class LinearTernaryCore
 
cache_repr() - Method in class LinearTernaryCoreFloat
 
cache_vis - Variable in class Debug
cached variables
cache_vis - Variable in class Debug
cached variables
calc_tri_linear(LinearTernaryCore.Point[]) - Method in class LinearTernaryCore
Calculates the coefficients (a, b, c) and constant (d) for the equation ax + by + cz + d = 0 using the first three points in points.
calc_tri_linear(LinearTernaryCoreFloat.Point[]) - Method in class LinearTernaryCoreFloat
Calculates the coefficients (a, b, c) and constant (d) for the equation ax + by + cz + d = 0 using the first three points in points.
calcPrecision() - Method in class MatchCountVisitor
 
calcPrecision() - Method in class MatchCountVisitor2
 
calcPrecision() - Method in class PptCountVisitor
 
calcRecall() - Method in class MatchCountVisitor
 
calcRecall() - Method in class MatchCountVisitor2
 
calcRecall() - Method in class PptCountVisitor
 
calculateConfidence() - Method in class Property
A heuristic technique that takes into account several factors when calculating the confidence of an property, among them: The values of property.kind().
call_cnt - Variable in class MethodInfo
The number of times this method has been called
CALLER_INDICATOR_NAME_STRING - Variable in class CallerContextSplitter
Name of the variable used by the front end to store caller (callsite) information.
CallerContextSplitter - Class in daikon.split.misc
This splitter tests the condition "$caller one of { some set of integers }".
CallerContextSplitter(Ppt, long[], String) - Constructor for class CallerContextSplitter
 
CallerContextSplitter(long[], String) - Constructor for class CallerContextSplitter
Create a prototype splitter for the given set of ids and condition.
can_be_missing_variables - Static variable in class Global
 
can_be_missing_variables - Static variable in class Global
 
canBeMissing() - Method in class BinaryDerivation
 
canBeMissing() - Method in class Derivation
 
canBeMissing() - Method in class TernaryDerivation
 
canBeMissing() - Method in class UnaryDerivation
 
canBeMissing - Variable in class VarInfo
True if this variable is ever missing
canBeMissing - Variable in class VarInfo
True if this variable is ever missing
canBeNaN() - Method in class ValueSet.ValueSetFloat
 
canBeNaN() - Method in class ValueSet.ValueSetFloatArray
 
canCreateAndWrite(File) - Static method in class UtilMDE
Returns true if the file exists and is writable, or if the file can be created.
canonical_variables - Static variable in class Global
 
canonical_variables - Static variable in class Global
 
canonicalRep() - Method in class VarInfo
Canonical representative that's equal to this variable.
canonicalRep() - Method in class VarInfo
Canonical representative that's equal to this variable.
capture_cnt - Variable in class MethodInfo
The number of times we have captured the output for this method
CASE - Static variable in interface CParserConstants
 
CASE - Static variable in interface JavaParserConstants
 
case_sensitive - Static variable in class Lookup
If true, keywords matching is case sensistive.
CastExpression() - Static method in class CParser
 
CastExpression - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> ( "(" TypeName() ")" CastExpression() | UnaryExpression() )
CastExpression(NodeChoice) - Constructor for class CastExpression
 
CastExpression() - Method in class JavaParser
 
CastExpression - Class in jtb.syntaxtree
Grammar production: f0 -> "(" Type() ")" UnaryExpression() | "(" Type() ")" UnaryExpressionNotPlusMinus()
CastExpression(NodeChoice) - Constructor for class CastExpression
 
CastLookahead() - Method in class JavaParser
 
CastLookahead - Class in jtb.syntaxtree
Grammar production: f0 -> "(" PrimitiveType() | "(" Type() "[" "]" | "(" Type() ")" ( "~" | "!"
CastLookahead(NodeChoice) - Constructor for class CastLookahead
 
castNonNull(T) - Static method in class NullnessUtils
A method that suppresses warnings from the Nullness Checker.
castore(char[], int, char) - Static method in class DCRuntime
Execute an castore instruction and manipulate the tags accordingly.
castore_df(char[], int, char) - Static method in class DCRuntime
Execute an castore instruction and manipulate the tags accordingly.
CATCH - Static variable in interface JavaParserConstants
 
categories - Variable in class ParameterDoclet
 
changeFilterSetting(String, boolean) - Method in class InvariantFilters
 
CHAR - Static variable in class ProglangType
 
CHAR - Static variable in class ProglangType
 
CHAR - Static variable in interface CParserConstants
 
CHAR - Static variable in interface JavaParserConstants
 
CHAR_ARRAY - Static variable in class ProglangType
 
CHAR_ARRAY - Static variable in class ProglangType
 
CHAR_ARRAY_ARRAY - Static variable in class ProglangType
 
CHAR_ARRAY_ARRAY - Static variable in class ProglangType
 
CHARACTER_LITERAL - Static variable in interface CParserConstants
 
CHARACTER_LITERAL - Static variable in interface JavaParserConstants
 
charAt(int) - Method in class StringBuilderDelimited
 
check(PptMap, String) - Static method in class Debug
Looks through entire ppt tree and checks for any items we are interested in.
check(PptMap, String) - Static method in class Debug
Looks through entire ppt tree and checks for any items we are interested in.
check(Object, Object, int, int) - Method in class BinaryInvariant
 
check(Object, Object, int, int) - Method in class SequenceFloat
 
check(Object, Object, int, int) - Method in class SequenceScalar
 
check(Object, Object, int, int) - Method in class SequenceString
 
check(Object, Object, int, int) - Method in class TwoFloat
 
check(Object, Object, int, int) - Method in class TwoScalar
 
check(Object, Object, int, int) - Method in class TwoSequence
 
check(Object, Object, int, int) - Method in class TwoSequenceFloat
 
check(Object, Object, int, int) - Method in class TwoSequenceString
 
check(Object, Object, int, int) - Method in class TwoString
 
check(Invariant) - Method in class InvDef
 
check(Object, Object, Object, int, int) - Method in class TernaryInvariant
 
check(Object, Object, Object, int, int) - Method in class ThreeFloat
 
check(Object, Object, Object, int, int) - Method in class ThreeScalar
 
check(long) - Method in class LowerBoundCore
 
check(double) - Method in class LowerBoundCoreFloat
 
check(Object, int, int) - Method in class SingleFloat
 
check(Object, int, int) - Method in class SingleScalar
 
check(Object, int, int) - Method in class SingleFloatSequence
 
check(Object, int, int) - Method in class SingleScalarSequence
 
check(Object, int, int) - Method in class SingleString
 
check(Object, int, int) - Method in class SingleStringSequence
 
check(Object, int, int) - Method in class UnaryInvariant
 
check(long) - Method in class UpperBoundCore
 
check(double) - Method in class UpperBoundCoreFloat
 
check() - Method in class PptCombined
Checks the combined program point for correctness.
check() - Method in class PptCombined
Checks the combined program point for correctness.
check(ValueTuple, VarInfo[]) - Method in class NISuppressee
Checks this invariant against the specified sample and returns the status
check(PptTopLevel, VarInfo[], Invariant) - Method in class NISuppression
Checks this suppression.
check(PptTopLevel, VarInfo[], Invariant) - Method in class NISuppressor
Sets the status of this suppressor with regards to the specified vis and falsified invariant.
check_args(Options, String[]) - Static method in class Chicory
Check the resulting arguments for legality.
check_args(Options, String[]) - Static method in class Chicory
Check the resulting arguments for legality.
check_args(Options, String[]) - Static method in class BuildJDK
Check the resulting arguments for legality.
check_args(Options, String[]) - Static method in class DynComp
Check the resulting arguments for legality.
check_args(Options, String[]) - Static method in class DynComp
Check the resulting arguments for legality.
check_func_ppts(List<PptTopLevel>) - Static method in class PptCombined
Checks all of the ppts in a function for validity after combined program points are created.
check_func_ppts(List<PptTopLevel>) - Static method in class PptCombined
Checks all of the ppts in a function for validity after combined program points are created.
check_implied(Invariant, VarInfo, Invariant) - Method in class PptTopLevel
If the prototype invariant is true over the specified variable returns DiscardInfo indicating that the prototype invariant implies imp_inv.
check_implied(Invariant, VarInfo, VarInfo, Invariant) - Method in class PptTopLevel
If the prototype invariant is true over the specified variables returns DiscardInfo indicating that the prototype invariant implies imp_inv.
check_implied(DiscardInfo, VarInfo, VarInfo, Invariant) - Method in class PptTopLevel
 
check_implied(Invariant, VarInfo, Invariant) - Method in class PptTopLevel
If the prototype invariant is true over the specified variable returns DiscardInfo indicating that the prototype invariant implies imp_inv.
check_implied(Invariant, VarInfo, VarInfo, Invariant) - Method in class PptTopLevel
If the prototype invariant is true over the specified variables returns DiscardInfo indicating that the prototype invariant implies imp_inv.
check_implied(DiscardInfo, VarInfo, VarInfo, Invariant) - Method in class PptTopLevel
 
check_implied_canonical(Invariant, VarInfo, Invariant) - Method in class PptTopLevel
If the proto invariant is true over the leader of the specified variable returns DiscardInfo indicating that the proto invariant implies imp_inv.
check_implied_canonical(Invariant, VarInfo, VarInfo, Invariant) - Method in class PptTopLevel
If the prototype invariant is true over the leader of each specified variables returns DiscardInfo indicating that the prototype invariant implies imp_inv.
check_implied_canonical(DiscardInfo, VarInfo, VarInfo, Invariant) - Method in class PptTopLevel
 
check_implied_canonical(Invariant, VarInfo, Invariant) - Method in class PptTopLevel
If the proto invariant is true over the leader of the specified variable returns DiscardInfo indicating that the proto invariant implies imp_inv.
check_implied_canonical(Invariant, VarInfo, VarInfo, Invariant) - Method in class PptTopLevel
If the prototype invariant is true over the leader of each specified variables returns DiscardInfo indicating that the prototype invariant implies imp_inv.
check_implied_canonical(DiscardInfo, VarInfo, VarInfo, Invariant) - Method in class PptTopLevel
 
check_mod_elem(double, int) - Method in class OneOfFloat
Checks a single sample to the invariant.
check_mod_elem(long, int) - Method in class OneOfScalar
Checks a single sample to the invariant.
check_mod_elem(long, int) - Method in class EltOneOf
Checks a single sample to the invariant.
check_mod_elem(double, int) - Method in class EltOneOfFloat
Checks a single sample to the invariant.
check_mod_elem(double[], int) - Method in class OneOfFloatSequence
Checks a single sample to the invariant.
check_mod_elem(long[], int) - Method in class OneOfSequence
Checks a single sample to the invariant.
check_mod_elem(String, int) - Method in class OneOfString
Checks a single sample to the invariant.
check_mod_elem(String, int) - Method in class EltOneOfString
Checks a single sample to the invariant.
check_mod_elem(String[], int) - Method in class OneOfStringSequence
Checks a single sample to the invariant.
check_modified(long[], long, int) - Method in class Member
 
check_modified(double[], double, int) - Method in class MemberFloat
 
check_modified(double[], double, int) - Method in class SeqFloatEqual
 
check_modified(double[], double, int) - Method in class SeqFloatGreaterEqual
 
check_modified(double[], double, int) - Method in class SeqFloatGreaterThan
 
check_modified(double[], double, int) - Method in class SeqFloatLessEqual
 
check_modified(double[], double, int) - Method in class SeqFloatLessThan
 
check_modified(long[], long, int) - Method in class SeqIntEqual
 
check_modified(long[], long, int) - Method in class SeqIntGreaterEqual
 
check_modified(long[], long, int) - Method in class SeqIntGreaterThan
 
check_modified(long[], long, int) - Method in class SeqIntLessEqual
 
check_modified(long[], long, int) - Method in class SeqIntLessThan
 
check_modified(double[], double, int) - Method in class SequenceFloat
 
check_modified(long[], long, int) - Method in class SequenceScalar
 
check_modified(String[], String, int) - Method in class MemberString
 
check_modified(String[], String, int) - Method in class SequenceString
 
check_modified(double, double, int) - Method in class FloatEqual
 
check_modified(double, double, int) - Method in class FloatGreaterEqual
 
check_modified(double, double, int) - Method in class FloatGreaterThan
 
check_modified(double, double, int) - Method in class FloatLessEqual
 
check_modified(double, double, int) - Method in class FloatLessThan
 
check_modified(double, double, int) - Method in class FloatNonEqual
 
check_modified(long, long, int) - Method in class IntEqual
 
check_modified(long, long, int) - Method in class IntGreaterEqual
 
check_modified(long, long, int) - Method in class IntGreaterThan
 
check_modified(long, long, int) - Method in class IntLessEqual
 
check_modified(long, long, int) - Method in class IntLessThan
 
check_modified(long, long, int) - Method in class IntNonEqual
 
check_modified(long, long, int) - Method in class LinearBinary
 
check_modified(double, double, int) - Method in class LinearBinaryFloat
 
check_modified(double, double, int) - Method in class NumericFloat
Calls the function specific equal check and returns the correct status.
check_modified(long, long, int) - Method in class NumericInt
Calls the function specific equal check and returns the correct status.
check_modified(double, double, int) - Method in class TwoFloat
 
check_modified(long, long, int) - Method in class TwoScalar
 
check_modified(double[], double[], int) - Method in class PairwiseFloatEqual
 
check_modified(double[], double[], int) - Method in class PairwiseFloatGreaterEqual
 
check_modified(double[], double[], int) - Method in class PairwiseFloatGreaterThan
 
check_modified(double[], double[], int) - Method in class PairwiseFloatLessEqual
 
check_modified(double[], double[], int) - Method in class PairwiseFloatLessThan
 
check_modified(long[], long[], int) - Method in class PairwiseIntEqual
 
check_modified(long[], long[], int) - Method in class PairwiseIntGreaterEqual
 
check_modified(long[], long[], int) - Method in class PairwiseIntGreaterThan
 
check_modified(long[], long[], int) - Method in class PairwiseIntLessEqual
 
check_modified(long[], long[], int) - Method in class PairwiseIntLessThan
 
check_modified(long[], long[], int) - Method in class PairwiseLinearBinary
 
check_modified(double[], double[], int) - Method in class PairwiseLinearBinaryFloat
 
check_modified(double[], double[], int) - Method in class PairwiseNumericFloat
Calls the function specific equal check and returns the correct status.
check_modified(long[], long[], int) - Method in class PairwiseNumericInt
Calls the function specific equal check and returns the correct status.
check_modified(String[], String[], int) - Method in class PairwiseString
Calls the function specific equal check and returns the correct status.
check_modified(String[], String[], int) - Method in class PairwiseStringEqual
 
check_modified(String[], String[], int) - Method in class PairwiseStringGreaterEqual
 
check_modified(String[], String[], int) - Method in class PairwiseStringGreaterThan
 
check_modified(String[], String[], int) - Method in class PairwiseStringLessEqual
 
check_modified(String[], String[], int) - Method in class PairwiseStringLessThan
 
check_modified(long[], long[], int) - Method in class Reverse
 
check_modified(double[], double[], int) - Method in class ReverseFloat
 
check_modified(double[], double[], int) - Method in class SeqSeqFloatEqual
 
check_modified(double[], double[], int) - Method in class SeqSeqFloatGreaterEqual
 
check_modified(double[], double[], int) - Method in class SeqSeqFloatGreaterThan
 
check_modified(double[], double[], int) - Method in class SeqSeqFloatLessEqual
 
check_modified(double[], double[], int) - Method in class SeqSeqFloatLessThan
 
check_modified(long[], long[], int) - Method in class SeqSeqIntEqual
 
check_modified(long[], long[], int) - Method in class SeqSeqIntGreaterEqual
 
check_modified(long[], long[], int) - Method in class SeqSeqIntGreaterThan
 
check_modified(long[], long[], int) - Method in class SeqSeqIntLessEqual
 
check_modified(long[], long[], int) - Method in class SeqSeqIntLessThan
 
check_modified(String[], String[], int) - Method in class SeqSeqStringEqual
 
check_modified(String[], String[], int) - Method in class SeqSeqStringGreaterEqual
 
check_modified(String[], String[], int) - Method in class SeqSeqStringGreaterThan
 
check_modified(String[], String[], int) - Method in class SeqSeqStringLessEqual
 
check_modified(String[], String[], int) - Method in class SeqSeqStringLessThan
 
check_modified(long[], long[], int) - Method in class SubSequence
 
check_modified(double[], double[], int) - Method in class SubSequenceFloat
 
check_modified(long[], long[], int) - Method in class SubSet
 
check_modified(double[], double[], int) - Method in class SubSetFloat
 
check_modified(long[], long[], int) - Method in class SuperSequence
 
check_modified(double[], double[], int) - Method in class SuperSequenceFloat
 
check_modified(long[], long[], int) - Method in class SuperSet
 
check_modified(double[], double[], int) - Method in class SuperSetFloat
 
check_modified(long[], long[], int) - Method in class TwoSequence
 
check_modified(double[], double[], int) - Method in class TwoSequenceFloat
 
check_modified(String[], String[], int) - Method in class TwoSequenceString
 
check_modified(String, String, int) - Method in class StdString
Calls the function specific equal check and returns the correct status.
check_modified(String, String, int) - Method in class StringEqual
 
check_modified(String, String, int) - Method in class StringGreaterEqual
 
check_modified(String, String, int) - Method in class StringGreaterThan
 
check_modified(String, String, int) - Method in class StringLessEqual
 
check_modified(String, String, int) - Method in class StringLessThan
 
check_modified(String, String, int) - Method in class StringNonEqual
 
check_modified(String, String, int) - Method in class TwoString
 
check_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseAndLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseAndLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseAndLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseOrLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseOrLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseOrLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseXorLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseXorLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.BitwiseXorLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_xzy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_yzx
 
check_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.DivisionLong_zyx
 
check_modified(long, long, long, int) - Method in class FunctionBinary.GcdLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.GcdLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.GcdLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LogicalAndLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LogicalAndLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LogicalAndLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LogicalOrLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LogicalOrLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LogicalOrLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LogicalXorLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LogicalXorLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LogicalXorLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_xzy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_yzx
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.LshiftLong_zyx
 
check_modified(long, long, long, int) - Method in class FunctionBinary.MaximumLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.MaximumLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.MaximumLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.MinimumLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.MinimumLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.MinimumLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_xzy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_yzx
 
check_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.ModLong_zyx
 
check_modified(long, long, long, int) - Method in class FunctionBinary.MultiplyLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.MultiplyLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.MultiplyLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_xzy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_yzx
 
check_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.PowerLong_zyx
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_xzy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_yzx
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftSignedLong_zyx
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_xyz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_xzy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_yxz
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_yzx
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_zxy
 
check_modified(long, long, long, int) - Method in class FunctionBinary.RshiftUnsignedLong_zyx
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_xyz
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_xzy
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_yxz
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_yzx
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_zxy
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.DivisionDouble_zyx
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MaximumDouble_xyz
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MaximumDouble_yxz
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MaximumDouble_zxy
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MinimumDouble_xyz
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MinimumDouble_yxz
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MinimumDouble_zxy
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MultiplyDouble_xyz
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MultiplyDouble_yxz
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.MultiplyDouble_zxy
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_xyz
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_xzy
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_yxz
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_yzx
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_zxy
 
check_modified(double, double, double, int) - Method in class FunctionBinaryFloat.PowerDouble_zyx
 
check_modified(long, long, long, int) - Method in class LinearTernary
 
check_modified(double, double, double, int) - Method in class LinearTernaryFloat
 
check_modified(double, double, double, int) - Method in class ThreeFloat
 
check_modified(long, long, long, int) - Method in class ThreeScalar
 
check_modified(long, int) - Method in class CompleteOneOfScalar
Check to see if a only contains printable ascii characters
check_modified(long, int) - Method in class IsPointer
 
check_modified(long, int) - Method in class LowerBound
 
check_modified(double, int) - Method in class LowerBoundFloat
 
check_modified(long, int) - Method in class Modulus
 
check_modified(long, int) - Method in class NonModulus
 
check_modified(long, int) - Method in class NonZero
 
check_modified(double, int) - Method in class NonZeroFloat
 
check_modified(double, int) - Method in class OneOfFloat
 
check_modified(long, int) - Method in class OneOfScalar
 
check_modified(long, int) - Method in class Positive
 
check_modified(double, int) - Method in class RangeFloat
 
check_modified(long, int) - Method in class RangeInt
 
check_modified(double, int) - Method in class SingleFloat
 
check_modified(long, int) - Method in class SingleScalar
 
check_modified(long, int) - Method in class UpperBound
 
check_modified(double, int) - Method in class UpperBoundFloat
 
check_modified(double[], int) - Method in class CommonFloatSequence
 
check_modified(long[], int) - Method in class CommonSequence
 
check_modified(long[], int) - Method in class EltLowerBound
 
check_modified(double[], int) - Method in class EltLowerBoundFloat
 
check_modified(long[], int) - Method in class EltNonZero
 
check_modified(double[], int) - Method in class EltNonZeroFloat
 
check_modified(long[], int) - Method in class EltOneOf
 
check_modified(double[], int) - Method in class EltOneOfFloat
 
check_modified(double[], int) - Method in class EltRangeFloat
 
check_modified(long[], int) - Method in class EltRangeInt
 
check_modified(long[], int) - Method in class EltUpperBound
 
check_modified(double[], int) - Method in class EltUpperBoundFloat
 
check_modified(double[], int) - Method in class EltwiseFloatEqual
 
check_modified(double[], int) - Method in class EltwiseFloatGreaterEqual
 
check_modified(double[], int) - Method in class EltwiseFloatGreaterThan
 
check_modified(double[], int) - Method in class EltwiseFloatLessEqual
 
check_modified(double[], int) - Method in class EltwiseFloatLessThan
 
check_modified(long[], int) - Method in class EltwiseIntEqual
 
check_modified(long[], int) - Method in class EltwiseIntGreaterEqual
 
check_modified(long[], int) - Method in class EltwiseIntGreaterThan
 
check_modified(long[], int) - Method in class EltwiseIntLessEqual
 
check_modified(long[], int) - Method in class EltwiseIntLessThan
 
check_modified(long[], int) - Method in class NoDuplicates
 
check_modified(double[], int) - Method in class NoDuplicatesFloat
 
check_modified(double[], int) - Method in class OneOfFloatSequence
 
check_modified(long[], int) - Method in class OneOfSequence
 
check_modified(double[], int) - Method in class SeqIndexFloatEqual
 
check_modified(double[], int) - Method in class SeqIndexFloatGreaterEqual
 
check_modified(double[], int) - Method in class SeqIndexFloatGreaterThan
 
check_modified(double[], int) - Method in class SeqIndexFloatLessEqual
 
check_modified(double[], int) - Method in class SeqIndexFloatLessThan
 
check_modified(double[], int) - Method in class SeqIndexFloatNonEqual
 
check_modified(long[], int) - Method in class SeqIndexIntEqual
 
check_modified(long[], int) - Method in class SeqIndexIntGreaterEqual
 
check_modified(long[], int) - Method in class SeqIndexIntGreaterThan
 
check_modified(long[], int) - Method in class SeqIndexIntLessEqual
 
check_modified(long[], int) - Method in class SeqIndexIntLessThan
 
check_modified(long[], int) - Method in class SeqIndexIntNonEqual
 
check_modified(double[], int) - Method in class SingleFloatSequence
 
check_modified(long[], int) - Method in class SingleScalarSequence
 
check_modified(String, int) - Method in class CompleteOneOfString
Check to see if a only contains printable ascii characters
check_modified(String, int) - Method in class OneOfString
 
check_modified(String, int) - Method in class PrintableString
Check to see if a only contains printable ascii characters
check_modified(String, int) - Method in class SingleString
 
check_modified(String[], int) - Method in class CommonStringSequence
 
check_modified(String[], int) - Method in class EltOneOfString
 
check_modified(String[], int) - Method in class OneOfStringSequence
 
check_modified(String[], int) - Method in class SingleStringSequence
 
check_ordered(long, long, long, int) - Method in class FunctionBinary
Apply the specified sample to the function, returning the result The caller is responsible for permuting the arguments.
check_ordered(double, double, double, int) - Method in class FunctionBinaryFloat
Apply the specified sample to the function, returning the result The caller is responsible for permuting the arguments.
check_program_types - Static variable in class Daikon
 
check_program_types - Static variable in class Daikon
 
check_substitution(WSMatch.MatchInfo) - Static method in class WSMatch.Substitution
Look for a substitution given a primary match.
check_unmodified(double[], double, int) - Method in class SequenceFloat
 
check_unmodified(long[], long, int) - Method in class SequenceScalar
 
check_unmodified(String[], String, int) - Method in class SequenceString
 
check_unmodified(double, double, int) - Method in class TwoFloat
 
check_unmodified(long, long, int) - Method in class TwoScalar
 
check_unmodified(long[], long[], int) - Method in class TwoSequence
 
check_unmodified(double[], double[], int) - Method in class TwoSequenceFloat
 
check_unmodified(String[], String[], int) - Method in class TwoSequenceString
 
check_unmodified(String, String, int) - Method in class TwoString
 
check_unmodified(double, double, double, int) - Method in class ThreeFloat
 
check_unmodified(long, long, long, int) - Method in class ThreeScalar
 
check_unmodified(double, int) - Method in class SingleFloat
 
check_unmodified(long, int) - Method in class SingleScalar
 
check_unmodified(double[], int) - Method in class SingleFloatSequence
 
check_unmodified(long[], int) - Method in class SingleScalarSequence
 
check_unmodified(String, int) - Method in class SingleString
 
check_unmodified(String[], int) - Method in class SingleStringSequence
 
check_unordered(Object, Object, int, int) - Method in class BinaryInvariant
Checks the specified values in the correct order.
checkComparability(VarInfo, VarInfo) - Static method in class TernaryDerivationFactory
Checks if two base variables are comparable to each other.
CheckerClass - Class in daikon.tools.runtimechecker
Represents a class created by the instrumenter to check invariants.
CheckerClass(ClassOrInterfaceBody) - Constructor for class CheckerClass
 
CheckerClasses - Class in daikon.tools.runtimechecker
Represents a set of classes created by the instrumenter to check invariants.
CheckerClasses() - Constructor for class CheckerClasses
 
checkerClasses - Variable in class InstrumentVisitor
 
checkForContradiction() - Method in class LemmaStack
Ask Simplify whether the assumptions we've pushed so far are contradictory.
checkForDerivedVariables(Class<?>, String, String) - Method in class DaikonVariableInfo
Checks for "derived" Chicory variables: .class, .tostring, and java.util.List implementors and adds appropriate children to this node.
checkForListDecl(Class<?>, String, String) - Method in class DaikonVariableInfo
Determines if type implements list and prints associated decls, if necessary
checkForRuntimeClass(Class<?>, String, String) - Method in class DaikonVariableInfo
Checks the given type to see if it requires a .class addition to the decls file.
checkLemma(Lemma) - Method in class LemmaStack
Ask Simplify whether a lemma is valid, given our assumptions.
checkMgen(MethodGen) - Static method in class BCELUtil
Checks the specific method for consistency.
checkMgens(ClassGen) - Static method in class BCELUtil
Checks all of the methods in gen for consistency.
checkouts - Variable in class MultiVersionControl
 
checkRep() - Method in class DynamicConstants.Constant
Check representation invariant.
checkRep() - Method in class DynamicConstants.Constant
Check representation invariant.
checkRep() - Method in class FileIO.VarDefinition
Check representation invariants.
checkRep() - Method in class FileIO.VarDefinition
Check representation invariants.
checkRep() - Method in class ModBitTracker
Check the representation invariant.
checkRep() - Method in class ModBitTracker
Check the representation invariant.
checkRep() - Method in class PptSlice0
 
checkRep() - Method in class PptSlice0
 
checkRep() - Method in class ValueTuple
 
checkRep() - Method in class ValueTuple
 
checkRep() - Method in class VarInfo
 
checkRep() - Method in class VarInfo
 
checkStaticInit - Static variable in class Chicory
flag to use if we want to turn on the static initialization checks
checkStaticInit - Static variable in class Chicory
flag to use if we want to turn on the static initialization checks
checkType(VarInfo, VarInfo) - Static method in class TernaryDerivationFactory
Check if vi1 and vi2 can be a part of a VarInfo triple based on their types.
Chicory - Class in daikon
This is the main class for Chicory which transforms the class files of a program to instrument it for Daikon.
Chicory - Class in daikon
This is the main class for Chicory which transforms the class files of a program to instrument it for Daikon.
Chicory() - Constructor for class Chicory
 
Chicory() - Constructor for class Chicory
 
chicoryLoaderInstantiationError - Static variable in class Runtime
True if ChicoryPremain was unable to load.
ChicoryPremain - Class in daikon.chicory
 
ChicoryPremain() - Constructor for class ChicoryPremain
 
ChicoryPremain.ChicoryLoader - Class in daikon.chicory
Classloader for the BCEL code.
ChicoryPremain.ChicoryLoader() - Constructor for class ChicoryPremain.ChicoryLoader
 
child - Variable in class PptRelation
Child of relation.
child - Variable in class PptRelation
Child of relation.
child_to_parent_map - Variable in class PptRelation
Map from child vars to matching parent vars.
child_to_parent_map - Variable in class PptRelation
Map from child vars to matching parent vars.
children - Variable in class DaikonVariableInfo
The child nodes
children() - Method in class Node
 
children - Variable in class PptTopLevel
All children relations in the variable/ppt hierarchy.
children - Variable in class PptTopLevel
All children relations in the variable/ppt hierarchy.
childVar(VarInfo) - Method in class PptRelation
Returns the child variable that corresponds to parentVar.
childVar(VarInfo) - Method in class PptRelation
Returns the child variable that corresponds to parentVar.
choice - Variable in class NodeChoice
 
choice - Variable in class NodeChoice
 
choose_conditional(ValueTuple) - Method in class PptSplitter
Chooses the correct conditional point based on the values in this sample.
choose_conditional(ValueTuple) - Method in class PptSplitter
Chooses the correct conditional point based on the values in this sample.
CLASS - Static variable in interface JavaParserConstants
 
class_info - Variable in class MethodInfo
Class that contains this method
class_init(String) - Static method in class DCRuntime
Marks the specified class as initialized.
class_match(Class<?>) - Static method in class Debug
Returns whether or not the specified class matches the classes being tracked
class_match(Class<?>) - Static method in class Debug
Returns whether or not the specified class matches the classes being tracked
class_name - Variable in class ClassInfo
fully qualified name of the class
class_re - Static variable in class DerivedVariableFilter
 
class_static_suffix - Static variable in class FileIO
 
class_static_suffix - Static variable in class FileIO
 
class_static_tag - Static variable in class FileIO
 
class_static_tag - Static variable in class FileIO
 
class_suffix - Static variable in class DaikonVariableInfo
Suffix for "typeOf" variables that represent a class, eg, "foo.getClass()".
classClassName - Static variable in class DaikonVariableInfo
 
classClassName - Static variable in class DTraceWriter
 
CLASSES - Static variable in class FeatureExtractor
 
classes - Variable in class CheckerClasses
 
classfiles - Static variable in class BuildJDK
 
ClassFileVersion - Class in daikon.util
Given a list of .class files, print the class file version and also the JDK/JRE version required to run it.
ClassFileVersion() - Constructor for class ClassFileVersion
 
classForName(String) - Static method in class UtilMDE
Like @link{Class.forName(String)}, but works when the string represents a primitive type, too.
ClassInfo - Class in daikon.chicory
Keeps information about a class that is useful for writing out decl and/or dtrace information.
ClassInfo(String, ClassLoader) - Constructor for class ClassInfo
Create ClassInfo with specified name
classInvariant - Static variable in class Property.Kind
 
className() - Method in class DiscardInfo
 
className() - Method in class InvariantInfo
 
classname_to_type(String) - Static method in class BCELUtil
 
classnameForSourceOutput(Class) - Static method in class Ast
 
classnameFromJvm(String) - Static method in class Runtime
Convert a classname from JVML format to Java format.
classnameFromJvm(String) - Static method in class Runtime
Convert a classname from JVML format to Java format.
classnameFromJvm(String) - Static method in class Runtime
Convert a classname from JVML format to Java format.
classnameFromJvm(String) - Static method in class UtilMDE
Convert a classname from JVML format to Java format.
classnameToJvm(String) - Static method in class UtilMDE
Convert a fully-qualified classname from Java format to JVML format.
classObjectName(Class<?>) - Static method in class DeclWriter
Returns the correctly formulated ":::OBJECT" name of the class (i.e., the program point name)
ClassOrInterfaceBody(boolean) - Method in class JavaParser
 
ClassOrInterfaceBody - Class in jtb.syntaxtree
Grammar production: f0 -> "{" f1 -> ( ClassOrInterfaceBodyDeclaration(isInterface) )* f2 -> "}"
ClassOrInterfaceBody(NodeToken, NodeListOptional, NodeToken) - Constructor for class ClassOrInterfaceBody
 
ClassOrInterfaceBody(NodeListOptional) - Constructor for class ClassOrInterfaceBody
 
ClassOrInterfaceBodyDeclaration(boolean) - Method in class JavaParser
 
ClassOrInterfaceBodyDeclaration - Class in jtb.syntaxtree
Grammar production: f0 -> Initializer() | Modifiers() ( ClassOrInterfaceDeclaration(modifiers) | EnumDeclaration(modifiers) | ConstructorDeclaration() | FieldDeclaration(modifiers) | MethodDeclaration(modifiers) ) | ";"
ClassOrInterfaceBodyDeclaration(NodeChoice) - Constructor for class ClassOrInterfaceBodyDeclaration
 
ClassOrInterfaceDeclaration() - Method in class JavaParser
 
ClassOrInterfaceDeclaration(int) - Method in class JavaParser
 
ClassOrInterfaceDeclaration - Class in jtb.syntaxtree
Grammar production: f0 -> ( "class" | "interface" ) f1 -> f2 -> [ TypeParameters() ] f3 -> [ ExtendsList(isInterface) ] f4 -> [ ImplementsList(isInterface) ] f5 -> ClassOrInterfaceBody(isInterface)
ClassOrInterfaceDeclaration(NodeChoice, NodeToken, NodeOptional, NodeOptional, NodeOptional, ClassOrInterfaceBody) - Constructor for class ClassOrInterfaceDeclaration
 
ClassOrInterfaceType() - Method in class JavaParser
 
ClassOrInterfaceType - Class in jtb.syntaxtree
Grammar production: f0 -> f1 -> [ TypeArguments() ] f2 -> ( "."
ClassOrInterfaceType(NodeToken, NodeOptional, NodeListOptional) - Constructor for class ClassOrInterfaceType
 
ClassOrInterfaceTypeDecorateVisitor - Class in daikon.tools.jtb
Replaces uses of generic type parameters with versions that do not use generics.
ClassOrInterfaceTypeDecorateVisitor() - Constructor for class ClassOrInterfaceTypeDecorateVisitor
 
clazz - Variable in class ClassInfo
reflection object for this class
CLEAN - Static variable in class TraceSelect
 
clean_decl_name(String) - Static method in class DCRuntime
Removes DCompMarker from the signature
clean_for_merge() - Method in class PptTopLevel
Cleans up the ppt so that its invariants can be merged from other ppts.
clean_for_merge() - Method in class PptTopLevel
Cleans up the ppt so that its invariants can be merged from other ppts.
cleanup() - Static method in class Daikon
Cleans up static variables so that mainHelper can be called more than once.
cleanup() - Static method in class Daikon
Cleans up static variables so that mainHelper can be called more than once.
clear() - Method in class Daikon.FileIOProgress
Clear the display; good to do before printing to System.out.
clear() - Method in class Daikon.FileIOProgress
Clear the display; good to do before printing to System.out.
clear() - Method in class LemmaStack
Blow away everything on our stack and Simplify's.
clear() - Method in class SimpleLog
Clears indent and start times and then pushes one start time
clear(String, Object...) - Method in class SimpleLog
Calls clear() and then logs the specified message
clear() - Method in class Stopwatch
 
clear() - Method in class WeakHasherMap
Removes all mappings from this map.
clear() - Method in class WeakIdentityHashMap
Removes all mappings from this map.
clear_falsified() - Method in class Invariant
Clear the falsified flag.
clear_parent_relation() - Method in class FileIO.VarDefinition
Clears the parent relation if one existed
clear_parent_relation() - Method in class FileIO.VarDefinition
Clears the parent relation if one existed
clear_sample_stats() - Static method in class NIS
 
clear_state() - Method in class NISuppression
Clears the suppressor state in each suppressor.
clear_state() - Method in class NISuppressionSet
Clears the suppressor state in each suppression.
clear_state() - Method in class NISuppressor
clears the state of this suppressor to NIS.none
clear_stats() - Static method in class NIS
Clears the current NIS statistics and enables the keeping of statistics
clearInts() - Static method in class LemmaStack
 
clone() - Method in class BinaryDerivation
 
clone() - Method in class TernaryDerivation
 
clone() - Method in class UnaryDerivation
 
clone() - Method in class FileIO.VarDefinition
 
clone() - Method in class FileIO.VarDefinition
 
clone() - Method in class SeqFloatEqual
 
clone() - Method in class SeqFloatGreaterEqual
 
clone() - Method in class SeqFloatGreaterThan
 
clone() - Method in class SeqFloatLessEqual
 
clone() - Method in class SeqFloatLessThan
 
clone() - Method in class SeqIntEqual
 
clone() - Method in class SeqIntGreaterEqual
 
clone() - Method in class SeqIntGreaterThan
 
clone() - Method in class SeqIntLessEqual
 
clone() - Method in class SeqIntLessThan
 
clone() - Method in class LinearBinary
 
clone() - Method in class LinearBinaryCore
 
clone() - Method in class LinearBinaryCoreFloat
 
clone() - Method in class LinearBinaryFloat
 
clone() - Method in class PairwiseLinearBinary
 
clone() - Method in class PairwiseLinearBinaryFloat
 
clone() - Method in class Invariant
Do nothing special, Overridden to remove exception from declaration
clone() - Method in class LinearTernary
 
clone() - Method in class LinearTernaryCore
 
clone() - Method in class LinearTernaryCore.Point
 
clone() - Method in class LinearTernaryCoreFloat
 
clone() - Method in class LinearTernaryCoreFloat.Point
 
clone() - Method in class LinearTernaryFloat
 
clone() - Method in class LowerBoundCore
 
clone() - Method in class LowerBoundCoreFloat
 
clone() - Method in class LowerBound
 
clone() - Method in class LowerBoundFloat
 
clone() - Method in class NonModulus
 
clone() - Method in class OneOfFloat
 
clone() - Method in class OneOfScalar
 
clone() - Method in class UpperBound
 
clone() - Method in class UpperBoundFloat
 
clone() - Method in class EltLowerBound
 
clone() - Method in class EltLowerBoundFloat
 
clone() - Method in class EltOneOf
 
clone() - Method in class EltOneOfFloat
 
clone() - Method in class EltUpperBound
 
clone() - Method in class EltUpperBoundFloat
 
clone() - Method in class EltwiseFloatEqual
 
clone() - Method in class EltwiseFloatGreaterEqual
 
clone() - Method in class EltwiseFloatGreaterThan
 
clone() - Method in class EltwiseFloatLessEqual
 
clone() - Method in class EltwiseFloatLessThan
 
clone() - Method in class EltwiseIntEqual
 
clone() - Method in class EltwiseIntGreaterEqual
 
clone() - Method in class EltwiseIntGreaterThan
 
clone() - Method in class EltwiseIntLessEqual
 
clone() - Method in class EltwiseIntLessThan
 
clone() - Method in class OneOfFloatSequence
 
clone() - Method in class OneOfSequence
 
clone() - Method in class OneOfString
 
clone() - Method in class EltOneOfString
 
clone() - Method in class OneOfStringSequence
 
clone() - Method in class UpperBoundCore
 
clone() - Method in class UpperBoundCoreFloat
 
clone() - Method in class LimitedSizeIntSet
 
clone() - Method in class LimitedSizeSet
 
clone() - Method in class ValueTuple
Creates and returns a copy of this.
clone() - Method in class ValueTuple
Creates and returns a copy of this.
clone() - Method in class VarInfo
Creates and returns a copy of this.
clone() - Method in class VarInfo
Creates and returns a copy of this.
clone() - Method in class VarInfoAux
Creates and returns a copy of this.
clone() - Method in class VarInfoAux
Creates and returns a copy of this.
clone_and_permute(int[]) - Method in class Invariant
Clones the invariant and then permutes it as specified.
cloneAndPivot(VarInfo[]) - Method in class PptSlice1
Copy invariants from this slice to a new slice over the variables argNewVarInfos.
cloneAndPivot(VarInfo[]) - Method in class PptSlice1
Copy invariants from this slice to a new slice over the variables argNewVarInfos.
cloneAndPivot(VarInfo[]) - Method in class PptSlice2
Copy invariants from this slice to a new slice over the variables argNewVarInfos.
cloneAndPivot(VarInfo[]) - Method in class PptSlice2
Copy invariants from this slice to a new slice over the variables argNewVarInfos.
cloneAndPivot(VarInfo[]) - Method in class PptSlice3
Copy invariants from this slice to a new slice over the variables argNewVarInfos.
cloneAndPivot(VarInfo[]) - Method in class PptSlice3
Copy invariants from this slice to a new slice over the variables argNewVarInfos.
close() - Method in class ConditionPrinter
 
close() - Method in class Printer
 
cmap - Variable in class InvariantDoclet
 
Cmd - Interface in daikon.simplify
 
cmd - Variable in class CmdRaw
 
CmdAssume - Class in daikon.simplify
An Assume command pushes some proposition onto the assumption stack of the session.
CmdAssume(String) - Constructor for class CmdAssume
 
CmdCheck - Class in daikon.simplify
A Check command takes a given proposition and asks the Session to prove it.
CmdCheck(String) - Constructor for class CmdCheck
 
CmdRaw - Class in daikon.simplify
A Raw command provides no additional structure, allowing arbitrary commands (as long as they have no ouput) to be sent to the prover.
CmdRaw(String) - Constructor for class CmdRaw
 
CmdUndoAssume - Class in daikon.simplify
An UndoAssume command removes an assumption from the assumption stack of the given session.
CmdUndoAssume() - Constructor for class CmdUndoAssume
 
cmp_op() - Static method in class DCRuntime
Handles an i_cmpXX operation.
cnt - Variable in class CompleteOneOfScalar.Info
 
cnt - Variable in class CompleteOneOfString.Info
 
cnt_inv_classes - Static variable in class PptTopLevel.Stats
 
cnt_inv_classes - Static variable in class PptTopLevel.Stats
 
coefficients - Variable in class LinearTernaryCore
 
coefficients - Variable in class LinearTernaryCoreFloat
 
collectboolean(Object, String) - Static method in class Quant
collectboolean accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectboolean(Object, String) - Static method in class Quant
collectboolean accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectboolean_field(Object, String) - Static method in class Quant
 
collectboolean_field(Object, String) - Static method in class Quant
 
collectbyte(Object, String) - Static method in class Quant
collectbyte accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectbyte(Object, String) - Static method in class Quant
collectbyte accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectbyte_field(Object, String) - Static method in class Quant
 
collectbyte_field(Object, String) - Static method in class Quant
 
collectchar(Object, String) - Static method in class Quant
collectchar accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectchar(Object, String) - Static method in class Quant
collectchar accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectchar_field(Object, String) - Static method in class Quant
 
collectchar_field(Object, String) - Static method in class Quant
 
collectdouble(Object, String) - Static method in class Quant
collectdouble accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectdouble(Object, String) - Static method in class Quant
collectdouble accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectdouble_field(Object, String) - Static method in class Quant
 
collectdouble_field(Object, String) - Static method in class Quant
 
collectfloat(Object, String) - Static method in class Quant
collectfloat accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectfloat(Object, String) - Static method in class Quant
collectfloat accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectfloat_field(Object, String) - Static method in class Quant
 
collectfloat_field(Object, String) - Static method in class Quant
 
collectint(Object, String) - Static method in class Quant
collectint accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectint(Object, String) - Static method in class Quant
collectint accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectint_field(Object, String) - Static method in class Quant
 
collectint_field(Object, String) - Static method in class Quant
 
collectionResults() - Method in class TestClassOrInterfaceTypeDecorateVisitor.UngenerifiedTypeCollector
 
collectlong(Object, String) - Static method in class Quant
collectlong accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectlong(Object, String) - Static method in class Quant
collectlong accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectlong_field(Object, String) - Static method in class Quant
 
collectlong_field(Object, String) - Static method in class Quant
 
collectObject(Object, String) - Static method in class Quant
collectObject accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectObject(Object, String) - Static method in class Quant
collectObject accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectObject_field(Object, String) - Static method in class Quant
 
collectObject_field(Object, String) - Static method in class Quant
 
collectshort(Object, String) - Static method in class Quant
collectshort accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectshort(Object, String) - Static method in class Quant
collectshort accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectshort_field(Object, String) - Static method in class Quant
 
collectshort_field(Object, String) - Static method in class Quant
 
collectString(Object, String) - Static method in class Quant
collectString accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectString(Object, String) - Static method in class Quant
collectString accepts an object and a list of fields (one of which is of array type, and the rest of which are not), and produces an array in which the original object has had the given fields accessed.
collectString_field(Object, String) - Static method in class Quant
 
collectString_field(Object, String) - Static method in class Quant
 
COLON - Static variable in interface JavaParserConstants
 
color - Static variable in class TestPlume.TestOptionGroups2
 
column - Variable in class JavaCharStream
 
combine_func_ppts(PptMap, List<PptTopLevel>) - Static method in class PptCombined
Creates combined program points that cover multiple basic blocks.
combine_func_ppts(PptMap, List<PptTopLevel>) - Static method in class PptCombined
Creates combined program points that cover multiple basic blocks.
combined_ppt - Variable in class PptTopLevel
Combined ppt that should be processed when this ppt is encountered.
combined_ppt - Variable in class PptTopLevel
Combined ppt that should be processed when this ppt is encountered.
combined_ppts_init - Variable in class PptTopLevel
True if this basic block has been combined with other basic blocks to form combined program points.
combined_ppts_init - Variable in class PptTopLevel
True if this basic block has been combined with other basic blocks to form combined program points.
combined_subsumed - Variable in class PptTopLevel
True if this ppt is subsumed by combined_ppt.
combined_subsumed - Variable in class PptTopLevel
True if this ppt is subsumed by combined_ppt.
combined_subsumed_by - Variable in class PptTopLevel
The ppt whose combined ppt includes this one.
combined_subsumed_by - Variable in class PptTopLevel
The ppt whose combined ppt includes this one.
COMMA - Static variable in interface JavaParserConstants
 
commander - Static variable in class SplitterFactoryTestUpdater
 
CommandHandler - Class in daikon.tools.runtimechecker
A command handler handles a set of commands.
CommandHandler() - Constructor for class CommandHandler
 
comment_re - Static variable in class Lookup
 
comment_re - Static variable in class TaskManager
 
COMMENT_STARTER_STRING - Static variable in class InvariantAddAndCheckTester
Indicates a string that when it starts a line signifies that the line is a comment.
COMMENT_STARTER_STRING - Static variable in class InvariantFormatTester
Indicates a string that when it starts a line signifies that the line is a comment.
commentChar(int) - Method in class StrTok
Specifies the single line comment character.
commit() - Method in class Printer
 
Common - Class in daikon.test
A collection of useful helper methods that are common to many different individual tests.
CommonFloatSequence - Class in daikon.inv.unary.sequence
Represents sequences of double values that contain a common subset.
CommonFloatSequence(PptSlice) - Constructor for class CommonFloatSequence
 
CommonFloatSequence() - Constructor for class CommonFloatSequence
 
CommonSequence - Class in daikon.inv.unary.sequence
Represents sequences of long values that contain a common subset.
CommonSequence(PptSlice) - Constructor for class CommonSequence
 
CommonSequence() - Constructor for class CommonSequence
 
CommonStringSequence - Class in daikon.inv.unary.stringsequence
Represents string sequences that contain a common subset.
CommonStringSequence(PptSlice) - Constructor for class CommonStringSequence
 
CommonStringSequence() - Constructor for class CommonStringSequence
 
comparability - Static variable in class DeclReader
 
comparability - Variable in class DeclReader.DeclVarInfo
 
comparability - Variable in class FileIO.VarDefinition
Comparability of this variable (required
comparability - Variable in class FileIO.VarDefinition
Comparability of this variable (required
comparability - Variable in class VarInfo
Comparability info.
comparability - Variable in class VarInfo
Comparability info.
comparability_file - Static variable in class Chicory
 
comparability_file - Static variable in class Chicory
 
comparable(VarInfo, VarInfo) - Static method in class VarComparability
Returns whether two variables are comparable.
comparable(VarComparability, VarComparability) - Static method in class VarComparability
Returns whether two comparabilities are comparable.
comparable(VarInfo, VarInfo) - Static method in class VarComparability
Returns whether two variables are comparable.
comparable(VarComparability, VarComparability) - Static method in class VarComparability
Returns whether two comparabilities are comparable.
comparableByType(VarInfo) - Method in class VarInfo
Without using comparability info, check that this is comparable to var2.
comparableByType(VarInfo) - Method in class VarInfo
Without using comparability info, check that this is comparable to var2.
comparableNWay(VarInfo) - Method in class VarInfo
Without using comparability info, check that this is comparable to var2.
comparableNWay(VarInfo) - Method in class VarInfo
Without using comparability info, check that this is comparable to var2.
comparableOrSuperclassEitherWay(ProglangType) - Method in class ProglangType
Return true if these two types can be sensibly compared to one another, or if one can be cast to the other.
comparableOrSuperclassEitherWay(ProglangType) - Method in class ProglangType
Return true if these two types can be sensibly compared to one another, or if one can be cast to the other.
comparableOrSuperclassOf(ProglangType) - Method in class ProglangType
Return true if these two types can be sensibly compared to one another, and if non-integral, whether this could be a superclass of other.
comparableOrSuperclassOf(ProglangType) - Method in class ProglangType
Return true if these two types can be sensibly compared to one another, and if non-integral, whether this could be a superclass of other.
compare(Invariant, Invariant) - Method in class ConsequentCVFPairComparator
 
compare(Invariant, Invariant) - Method in class ConsequentCVFSortComparator
 
compare(Invariant, Invariant) - Method in class ConsequentPairComparator
 
compare(Invariant, Invariant) - Method in class ConsequentSortComparator
 
compare(DynamicConstants.Constant, DynamicConstants.Constant) - Method in class DynamicConstants.ConIndexComparator
 
compare(DynamicConstants.Constant, DynamicConstants.Constant) - Method in class DynamicConstants.ConIndexComparator
 
compare(Invariant, Invariant) - Method in class Invariant.ClassVarnameComparator
 
compare(Invariant, Invariant) - Method in class Invariant.ClassVarnameFormulaComparator
 
compare(Invariant, Invariant) - Method in class Invariant.InvariantComparatorForPrinting
 
compare(PptTopLevel, PptTopLevel) - Method in class Ppt.NameComparator
 
compare(PptTopLevel, PptTopLevel) - Method in class Ppt.NameComparator
 
compare(PptTopLevel, PptTopLevel) - Method in class PptCombined.PpSizeComparator
 
compare(PptTopLevel, PptTopLevel) - Method in class PptCombined.PpSizeComparator
 
compare(PptSlice, PptSlice) - Method in class PptSlice.ArityPptnameComparator
 
compare(PptSlice, PptSlice) - Method in class PptSlice.ArityPptnameComparator
 
compare(PptSlice, PptSlice) - Method in class PptSlice.ArityVarnameComparator
 
compare(PptSlice, PptSlice) - Method in class PptSlice.ArityVarnameComparator
 
compare(Equality, Equality) - Method in class PptSliceEquality.EqualityComparator
 
compare(Equality, Equality) - Method in class PptSliceEquality.EqualityComparator
 
compare(T[], T[]) - Method in class ArraysMDE.ComparableArrayComparatorLengthFirst
 
compare(T[], T[]) - Method in class ArraysMDE.ComparableArrayComparatorLexical
 
compare(double[], double[]) - Method in class ArraysMDE.DoubleArrayComparatorLexical
 
compare(int[], int[]) - Method in class ArraysMDE.IntArrayComparatorLengthFirst
 
compare(int[], int[]) - Method in class ArraysMDE.IntArrayComparatorLexical
 
compare(long[], long[]) - Method in class ArraysMDE.LongArrayComparatorLengthFirst
 
compare(long[], long[]) - Method in class ArraysMDE.LongArrayComparatorLexical
 
compare(Object[], Object[]) - Method in class ArraysMDE.ObjectArrayComparatorLengthFirst
 
compare(Object[], Object[]) - Method in class ArraysMDE.ObjectArrayComparatorLexical
 
compare(String[], String[]) - Method in class ArraysMDE.StringArrayComparatorLexical
 
compare(double[], double[]) - Method in class FuzzyFloat.DoubleArrayComparatorLexical
Lexically compares o1 and o2 as double arrays.
compare(String, String) - Method in class UtilMDE.NullableStringComparator
 
compare(VarInfo, VarInfo) - Method in class VarInfo.IndexComparator
 
compare(VarInfo, VarInfo) - Method in class VarInfo.IndexComparator
 
compare(VarInfoName, VarInfoName) - Method in class VarInfoName.LexicalComparator
 
compare(VarInfoName, VarInfoName) - Method in class VarInfoName.LexicalComparator
 
compare_rep(int, double[]) - Method in class OneOfFloat
 
compare_rep(int, long[]) - Method in class OneOfScalar
 
compare_rep(int, long[]) - Method in class EltOneOf
 
compare_rep(int, double[]) - Method in class EltOneOfFloat
 
compare_rep(int, double[][]) - Method in class OneOfFloatSequence
 
compare_rep(int, long[][]) - Method in class OneOfSequence
 
compare_rep(int, String[]) - Method in class OneOfString
 
compare_rep(int, String[]) - Method in class EltOneOfString
 
compare_rep(int, String[][]) - Method in class OneOfStringSequence
 
compare_services(DTraceReader, DTraceReader) - Static method in class WSMatch
Compares each field from two services and returns how often they match up
compare_sets_file - Static variable in class DynComp
 
compare_sets_file - Static variable in class DynComp
 
compare_val(DeclReader.DeclVarInfo, Object, DeclReader.DeclVarInfo, Object) - Static method in class WSMatch
Returns whether or not the two values are at least approximately the same.
compare_var(DeclReader.DeclPpt, DeclReader.DeclVarInfo, DeclReader.DeclPpt, DeclReader.DeclVarInfo) - Static method in class WSMatch
Compares all of the values on the specified variables.
compare_var(WSMatch.MatchInfo, DeclReader.DeclPpt, DeclReader.DeclVarInfo, DeclReader.DeclPpt, DeclReader.DeclVarInfo) - Static method in class WSMatch
Compares the values using the matching rows specified in match.
compare_vars(VarInfo, int, VarInfo, int, boolean) - Static method in class VarInfo
Given two variables I and J, indicate whether it is necessarily the case that i<=j or i>=j.
compare_vars(VarInfo, int, VarInfo, int, boolean) - Static method in class VarInfo
Given two variables I and J, indicate whether it is necessarily the case that i<=j or i>=j.
compared_to - Variable in class DCRuntime.BranchInfo
What the value was compared to in the branch
compareInfoString - Variable in class DaikonVariableInfo
 
compareJoinAndSBD(String[]) - Method in class TestPlume
 
compareOrderedPairIterator(OrderedPairIterator<Integer>, int[][]) - Static method in class TestPlume
 
compareTo(DaikonVariableInfo) - Method in class DaikonVariableInfo
Compares based on the name of the variable
compareTo(DiscardCode) - Method in class DiscardCode
The enumeration members in sorted order:
obvious, bad_sample, bad_confidence, [unused], not_enough_samples, non_canonical_var,
implied_post_condition, only_constant_vars, derived_param, unmodified_var, control_check, exact, var filter
compareTo(Lemma) - Method in class Lemma
 
compareTo(SplitterObject) - Method in class SplitterObject
 
compareTo(WSMatch.MatchInfo) - Method in class WSMatch.MatchInfo
Sort based on percentage of matches
compareTo(VarInfoName) - Method in class VarInfoName
 
compareTo(VarInfoName) - Method in class VarInfoName
 
Comparison - Interface in daikon.inv
 
compatible(VarInfo) - Method in class VarInfo
Two variables are "compatible" if their declared types are castable and their comparabilities are comparable.
compatible(VarInfo) - Method in class VarInfo
Two variables are "compatible" if their declared types are castable and their comparabilities are comparable.
compilationUnit - Variable in class ParseResults
 
CompilationUnit() - Method in class JavaParser
 
CompilationUnit - Class in jtb.syntaxtree
Grammar production: f0 -> [ PackageDeclaration() ] f1 -> ( ImportDeclaration() )* f2 -> ( TypeDeclaration() )* f3 ->
CompilationUnit(NodeOptional, NodeListOptional, NodeListOptional, NodeToken) - Constructor for class CompilationUnit
 
CompilationUnit(NodeOptional, NodeListOptional, NodeListOptional) - Constructor for class CompilationUnit
 
compiled() - Method in class SplitterObject
 
compileFiles(List<String>) - Method in class FileCompiler
Compiles the files given by fileNames.
completed - Static variable in class TaskManager
 
completed_only() - Method in class TaskManager
Create a new TaskManger with only completed tasks.
CompleteOneOfScalar - Class in daikon.inv.unary.scalar
Tracks every unique value and how many times it occurs.
CompleteOneOfScalar(PptSlice) - Constructor for class CompleteOneOfScalar
 
CompleteOneOfScalar() - Constructor for class CompleteOneOfScalar
 
CompleteOneOfScalar.Info - Class in daikon.inv.unary.scalar
Information about each value encountered
CompleteOneOfScalar.Info(long, int) - Constructor for class CompleteOneOfScalar.Info
 
CompleteOneOfString - Class in daikon.inv.unary.string
Tracks every unique value and how many times it occurs.
CompleteOneOfString(PptSlice) - Constructor for class CompleteOneOfString
 
CompleteOneOfString() - Constructor for class CompleteOneOfString
 
CompleteOneOfString.Info - Class in daikon.inv.unary.string
Information about each value encountered
CompleteOneOfString.Info(String, int) - Constructor for class CompleteOneOfString.Info
 
complexity() - Method in class SequenceFloatSubscript
Adds one to the default complexity if index_shift is not 0
complexity() - Method in class SequenceScalarSubscript
Adds one to the default complexity if index_shift is not 0
complexity() - Method in class SequenceStringSubscript
Adds one to the default complexity if index_shift is not 0
complexity() - Method in class SequenceSubsequence
Adds one to the default complexity if index_shift is not 0
complexity() - Method in class Derivation
Return the complexity of this derivation.
complexity() - Method in class SequenceLength
Adds one to the default complexity if shift is not 0
complexity() - Method in class VarInfo
Returns a rough indication of the complexity of the variable.
complexity() - Method in class VarInfo
Returns a rough indication of the complexity of the variable.
CompoundStatement() - Static method in class CParser
 
CompoundStatement - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> "{" f1 -> [ DeclarationList() ] f2 -> [ StatementList() ] f3 -> "}"
CompoundStatement(NodeToken, NodeOptional, NodeOptional, NodeToken) - Constructor for class CompoundStatement
 
CompoundStatement(NodeOptional, NodeOptional) - Constructor for class CompoundStatement
 
compressed - Static variable in class DtraceConvert
 
computeComparableSets(List<IInstruction>) - Static method in class InstructionUtils
Computes a partition over the variables in the given path.
computeConfidence() - Method in class AndJoiner
 
computeConfidence() - Method in class Member
 
computeConfidence() - Method in class MemberFloat
 
computeConfidence() - Method in class SeqFloatEqual
 
computeConfidence() - Method in class SeqFloatGreaterEqual
 
computeConfidence() - Method in class SeqFloatGreaterThan
 
computeConfidence() - Method in class SeqFloatLessEqual
 
computeConfidence() - Method in class SeqFloatLessThan
 
computeConfidence() - Method in class SeqIntEqual
 
computeConfidence() - Method in class SeqIntGreaterEqual
 
computeConfidence() - Method in class SeqIntGreaterThan
 
computeConfidence() - Method in class SeqIntLessEqual
 
computeConfidence() - Method in class SeqIntLessThan
 
computeConfidence() - Method in class MemberString
 
computeConfidence() - Method in class FloatEqual
 
computeConfidence() - Method in class FloatGreaterEqual
 
computeConfidence() - Method in class FloatGreaterThan
 
computeConfidence() - Method in class FloatLessEqual
 
computeConfidence() - Method in class FloatLessThan
 
computeConfidence() - Method in class FloatNonEqual
 
computeConfidence() - Method in class IntEqual
 
computeConfidence() - Method in class IntGreaterEqual
 
computeConfidence() - Method in class IntGreaterThan
 
computeConfidence() - Method in class IntLessEqual
 
computeConfidence() - Method in class IntLessThan
 
computeConfidence() - Method in class IntNonEqual
 
computeConfidence() - Method in class LinearBinary
 
computeConfidence() - Method in class LinearBinaryCore
 
computeConfidence() - Method in class LinearBinaryCoreFloat
 
computeConfidence() - Method in class LinearBinaryFloat
 
computeConfidence() - Method in class TwoFloat
 
computeConfidence() - Method in class TwoScalar
 
computeConfidence() - Method in class PairwiseFloatEqual
 
computeConfidence() - Method in class PairwiseFloatGreaterEqual
 
computeConfidence() - Method in class PairwiseFloatGreaterThan
 
computeConfidence() - Method in class PairwiseFloatLessEqual
 
computeConfidence() - Method in class PairwiseFloatLessThan
 
computeConfidence() - Method in class PairwiseIntEqual
 
computeConfidence() - Method in class PairwiseIntGreaterEqual
 
computeConfidence() - Method in class PairwiseIntGreaterThan
 
computeConfidence() - Method in class PairwiseIntLessEqual
 
computeConfidence() - Method in class PairwiseIntLessThan
 
computeConfidence() - Method in class PairwiseLinearBinary
 
computeConfidence() - Method in class PairwiseLinearBinaryFloat
 
computeConfidence() - Method in class PairwiseString.SubString
Justified as long as there are samples
computeConfidence() - Method in class PairwiseStringEqual
 
computeConfidence() - Method in class PairwiseStringGreaterEqual
 
computeConfidence() - Method in class PairwiseStringGreaterThan
 
computeConfidence() - Method in class PairwiseStringLessEqual
 
computeConfidence() - Method in class PairwiseStringLessThan
 
computeConfidence() - Method in class Reverse
 
computeConfidence() - Method in class ReverseFloat
 
computeConfidence() - Method in class SeqSeqFloatEqual
 
computeConfidence() - Method in class SeqSeqFloatGreaterEqual
 
computeConfidence() - Method in class SeqSeqFloatGreaterThan
 
computeConfidence() - Method in class SeqSeqFloatLessEqual
 
computeConfidence() - Method in class SeqSeqFloatLessThan
 
computeConfidence() - Method in class SeqSeqIntEqual
 
computeConfidence() - Method in class SeqSeqIntGreaterEqual
 
computeConfidence() - Method in class SeqSeqIntGreaterThan
 
computeConfidence() - Method in class SeqSeqIntLessEqual
 
computeConfidence() - Method in class SeqSeqIntLessThan
 
computeConfidence() - Method in class SeqSeqStringEqual
 
computeConfidence() - Method in class SeqSeqStringGreaterEqual
 
computeConfidence() - Method in class SeqSeqStringGreaterThan
 
computeConfidence() - Method in class SeqSeqStringLessEqual
 
computeConfidence() - Method in class SeqSeqStringLessThan
 
computeConfidence() - Method in class SubSequence
 
computeConfidence() - Method in class SubSequenceFloat
 
computeConfidence() - Method in class SubSet
 
computeConfidence() - Method in class SubSetFloat
 
computeConfidence() - Method in class SuperSequence
 
computeConfidence() - Method in class SuperSequenceFloat
 
computeConfidence() - Method in class SuperSet
 
computeConfidence() - Method in class SuperSetFloat
 
computeConfidence() - Method in class TwoSequence
 
computeConfidence() - Method in class TwoSequenceFloat
 
computeConfidence() - Method in class TwoSequenceString
 
computeConfidence() - Method in class StdString.SubString
Justified as long as there are samples
computeConfidence() - Method in class StringEqual
 
computeConfidence() - Method in class StringGreaterEqual
 
computeConfidence() - Method in class StringGreaterThan
 
computeConfidence() - Method in class StringLessEqual
 
computeConfidence() - Method in class StringLessThan
 
computeConfidence() - Method in class StringNonEqual
 
computeConfidence() - Method in class TwoString
 
computeConfidence() - Method in class DummyInvariant
 
computeConfidence() - Method in class Equality
Always return JUSTIFIED because we aggregate Comparison invariants that are all justified to the confidence_limit threshold.
computeConfidence() - Method in class GuardingImplication
 
computeConfidence() - Method in class Implication
 
computeConfidence() - Method in class Invariant
This method computes the confidence that this invariant occurred by chance.
computeConfidence() - Method in class FunctionBinary
 
computeConfidence() - Method in class FunctionBinaryFloat
 
computeConfidence() - Method in class LinearTernary
 
computeConfidence() - Method in class LinearTernaryCore
 
computeConfidence() - Method in class LinearTernaryCoreFloat
 
computeConfidence() - Method in class LinearTernaryFloat
 
computeConfidence() - Method in class LowerBoundCore
 
computeConfidence() - Method in class LowerBoundCoreFloat
 
computeConfidence() - Method in class CompleteOneOfScalar
 
computeConfidence() - Method in class IsPointer
 
computeConfidence() - Method in class LowerBound
 
computeConfidence() - Method in class LowerBoundFloat
 
computeConfidence() - Method in class Modulus
 
computeConfidence() - Method in class NonModulus
 
computeConfidence() - Method in class NonZero
 
computeConfidence() - Method in class NonZeroFloat
 
computeConfidence() - Method in class OneOfFloat
 
computeConfidence() - Method in class OneOfScalar
 
computeConfidence() - Method in class Positive
 
computeConfidence() - Method in class RangeFloat
 
computeConfidence() - Method in class RangeInt
 
computeConfidence() - Method in class UpperBound
 
computeConfidence() - Method in class UpperBoundFloat
 
computeConfidence() - Method in class CommonFloatSequence
 
computeConfidence() - Method in class CommonSequence
 
computeConfidence() - Method in class EltLowerBound
 
computeConfidence() - Method in class EltLowerBoundFloat
 
computeConfidence() - Method in class EltNonZero
 
computeConfidence() - Method in class EltNonZeroFloat
 
computeConfidence() - Method in class EltOneOf
 
computeConfidence() - Method in class EltOneOfFloat
 
computeConfidence() - Method in class EltRangeFloat
 
computeConfidence() - Method in class EltRangeInt
 
computeConfidence() - Method in class EltUpperBound
 
computeConfidence() - Method in class EltUpperBoundFloat
 
computeConfidence() - Method in class EltwiseFloatEqual
 
computeConfidence() - Method in class EltwiseFloatGreaterEqual
 
computeConfidence() - Method in class EltwiseFloatGreaterThan
 
computeConfidence() - Method in class EltwiseFloatLessEqual
 
computeConfidence() - Method in class EltwiseFloatLessThan
 
computeConfidence() - Method in class EltwiseIntEqual
 
computeConfidence() - Method in class EltwiseIntGreaterEqual
 
computeConfidence() - Method in class EltwiseIntGreaterThan
 
computeConfidence() - Method in class EltwiseIntLessEqual
 
computeConfidence() - Method in class EltwiseIntLessThan
 
computeConfidence() - Method in class NoDuplicates
 
computeConfidence() - Method in class NoDuplicatesFloat
 
computeConfidence() - Method in class OneOfFloatSequence
 
computeConfidence() - Method in class OneOfSequence
 
computeConfidence() - Method in class SeqIndexFloatEqual
 
computeConfidence() - Method in class SeqIndexFloatGreaterEqual
 
computeConfidence() - Method in class SeqIndexFloatGreaterThan
 
computeConfidence() - Method in class SeqIndexFloatLessEqual
 
computeConfidence() - Method in class SeqIndexFloatLessThan
 
computeConfidence() - Method in class SeqIndexFloatNonEqual
 
computeConfidence() - Method in class SeqIndexIntEqual
 
computeConfidence() - Method in class SeqIndexIntGreaterEqual
 
computeConfidence() - Method in class SeqIndexIntGreaterThan
 
computeConfidence() - Method in class SeqIndexIntLessEqual
 
computeConfidence() - Method in class SeqIndexIntLessThan
 
computeConfidence() - Method in class SeqIndexIntNonEqual
 
computeConfidence() - Method in class CompleteOneOfString
 
computeConfidence() - Method in class OneOfString
 
computeConfidence() - Method in class PrintableString
 
computeConfidence() - Method in class CommonStringSequence
 
computeConfidence() - Method in class EltOneOfString
 
computeConfidence() - Method in class OneOfStringSequence
 
computeConfidence() - Method in class UpperBoundCore
 
computeConfidence() - Method in class UpperBoundCoreFloat
 
computeConfidence() - Method in class DiffDummyInvariant
 
computeProbability() - Method in class LowerBoundCore
 
computeProbability() - Method in class LowerBoundCoreFloat
 
computeProbability() - Method in class IsPointer
 
computeProbability() - Method in class NonZero
 
computeProbability() - Method in class NonZeroFloat
 
computeProbability() - Method in class UpperBoundCore
 
computeProbability() - Method in class UpperBoundCoreFloat
 
computeRedundantVars(List<IInstruction>) - Static method in class InstructionUtils
Computes a set of binary variables that are guaranteed to be redundant.
computeRedundantVarsFake(List<IInstruction>) - Static method in class InstructionUtils
 
computeRVarsLoad(List<IInstruction>, Map<String, String>) - Static method in class InstructionUtils
A second pass on rvars analysis.
computeValueAndModified(ValueTuple) - Method in class BinaryDerivation
 
computeValueAndModified(ValueTuple) - Method in class Derivation
 
computeValueAndModified(ValueTuple) - Method in class SequenceFloatArbitrarySubsequence
 
computeValueAndModified(ValueTuple) - Method in class SequenceScalarArbitrarySubsequence
 
computeValueAndModified(ValueTuple) - Method in class SequenceStringArbitrarySubsequence
 
computeValueAndModified(ValueTuple) - Method in class TernaryDerivation
 
computeValueAndModified(ValueTuple) - Method in class UnaryDerivation
 
computeValueAndModifiedImpl(ValueTuple) - Method in class BinaryDerivation
Actual implementation once mods are handled.
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceFloatIntersection
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceFloatSubscript
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceFloatSubsequence
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceFloatUnion
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceScalarIntersection
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceScalarSubscript
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceScalarSubsequence
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceScalarUnion
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequencesConcat
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequencesJoin
Returns a new sequence of hashcodes that is the join of the hashcodes of the component sequences.
computeValueAndModifiedImpl(ValueTuple) - Method in class SequencesJoinFloat
Returns a new sequence of hashcodes that is the join of the hashcodes of the component sequences.
computeValueAndModifiedImpl(ValueTuple) - Method in class SequencesPredicate
Returns a subset of val1 such that the corresponding element in var2 equals this.choose.
computeValueAndModifiedImpl(ValueTuple) - Method in class SequencesPredicateFloat
Returns a subset of val1 such that the corresponding element in var2 equals this.choose.
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceStringIntersection
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceStringSubscript
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceStringSubsequence
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceStringUnion
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceInitial
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceInitialFloat
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceLength
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceMax
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceMin
 
computeValueAndModifiedImpl(ValueTuple) - Method in class SequenceSum
 
computeValueAndModifiedImpl(ValueTuple) - Method in class StringLength
 
computeValueAndModifiedImpl(ValueTuple) - Method in class UnaryDerivation
Actual implementation once mods are handled.
concat(boolean[], boolean[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(byte[], byte[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(byte[], int[]) - Static method in class Quant
 
concat(char[], char[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(double[], double[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(double[], float[]) - Static method in class Quant
 
concat(float[], float[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(float[], double[]) - Static method in class Quant
 
concat(int[], int[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(int[], long[]) - Static method in class Quant
 
concat(long[], long[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(long[], int[]) - Static method in class Quant
 
concat(short[], short[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(Object[], Object[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(String[], String[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(Object, Object) - Static method in class Quant
 
concat(boolean[], boolean[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(byte[], byte[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(byte[], int[]) - Static method in class Quant
 
concat(char[], char[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(double[], double[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(double[], float[]) - Static method in class Quant
 
concat(float[], float[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(float[], double[]) - Static method in class Quant
 
concat(int[], int[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(int[], long[]) - Static method in class Quant
 
concat(long[], long[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(long[], int[]) - Static method in class Quant
 
concat(short[], short[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(Object[], Object[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(String[], String[]) - Static method in class Quant
Returns the array { seq1[0], ..., seq1[seq1.length-1], seq2[0], ... , seq2[seq2.length-1] } If either array is null, returns null.
concat(Object, Object) - Static method in class Quant
 
concat(T[], T[]) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(T[], List<T>) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(List<T>, T[]) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(List<T>, List<T>) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(String[], String[]) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(byte[], byte[]) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(boolean[], boolean[]) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(char[], char[]) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(double[], double[]) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(float[], float[]) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(int[], int[]) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(long[], long[]) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
concat(short[], short[]) - Static method in class ArraysMDE
Return an array that contains all the elements of both argument arrays, in order.
cond_iterator() - Method in class PptTopLevel
returns an iterator over all of the splitters at this ppt
cond_iterator() - Method in class PptTopLevel
returns an iterator over all of the splitters at this ppt
condition() - Method in class CallerContextSplitter
 
condition() - Method in class ReturnTrueSplitter
 
condition() - Method in class Splitter
Returns the condition being tested, as a String.
condition() - Method in class SplitterExample
 
condition() - Method in class SplitterObject
 
ConditionalAndExpression() - Method in class JavaParser
 
ConditionalAndExpression - Class in jtb.syntaxtree
Grammar production: f0 -> InclusiveOrExpression() f1 -> ( "&&" InclusiveOrExpression() )*
ConditionalAndExpression(InclusiveOrExpression, NodeListOptional) - Constructor for class ConditionalAndExpression
 
ConditionalExpression() - Static method in class CParser
 
ConditionalExpression - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> LogicalORExpression() f1 -> [ "?"
ConditionalExpression(LogicalORExpression, NodeOptional) - Constructor for class ConditionalExpression
 
ConditionalExpression() - Method in class JavaParser
 
ConditionalExpression - Class in jtb.syntaxtree
Grammar production: f0 -> ConditionalOrExpression() f1 -> [ "?"
ConditionalExpression(ConditionalOrExpression, NodeOptional) - Constructor for class ConditionalExpression
 
ConditionalOrExpression() - Method in class JavaParser
 
ConditionalOrExpression - Class in jtb.syntaxtree
Grammar production: f0 -> ConditionalAndExpression() f1 -> ( "||" ConditionalAndExpression() )*
ConditionalOrExpression(ConditionalAndExpression, NodeListOptional) - Constructor for class ConditionalOrExpression
 
ConditionPrinter - Class in jtb.cparser.customvisitor
 
ConditionPrinter(String) - Constructor for class ConditionPrinter
 
conf_is_ge(double, double) - Static method in class Invariant
Return Invariant.CONFIDENCE_JUSTIFIED if x≥goal.
conf_limit_SWITCH - Static variable in class Daikon
 
conf_limit_SWITCH - Static variable in class Daikon
 
confidence - Variable in class DiffDummyInvariant
 
confidence - Variable in class Property
A measure of a property's universality: whether it captures the general behavior of the program.
confidence(Property[]) - Static method in class Property
The confidence of a set of properties.
confidence_and(double, double) - Static method in class Invariant
Return the confidence that both conditions are satisfied.
confidence_and(double, double, double) - Static method in class Invariant
Return the confidence that all three conditions are satisfied.
CONFIDENCE_JUSTIFIED - Static variable in class Invariant
The probability that this could have happened by chance alone.
CONFIDENCE_NEVER - Static variable in class Invariant
-1 = delete this invariant; we know it's not true
confidence_or(double, double) - Static method in class Invariant
Return the confidence that either condition is satisfied.
CONFIDENCE_UNJUSTIFIED - Static variable in class Invariant
(0..1) = greater to lesser likelihood of coincidence
0 = must have happened by chance
confidenceThreshold - Static variable in class InstrumentVisitor
 
config_dir - Static variable in class Chicory
 
config_dir - Static variable in class Chicory
 
config_option_SWITCH - Static variable in class Daikon
 
config_option_SWITCH - Static variable in class Daikon
 
config_SWITCH - Static variable in class Daikon
 
config_SWITCH - Static variable in class Daikon
 
Configuration - Class in daikon.config
This class applies settings from a configuration file that lists variable names and values (see "example-settings.txt" in this directory for an example).
Configuration.ConfigException - Exception in daikon.config
Lets callers differentiate between configuration problems and all others.
Configuration.ConfigException(String, Throwable) - Constructor for exception Configuration.ConfigException
 
Configuration.ConfigException(String) - Constructor for exception Configuration.ConfigException
 
Configuration.ConfigException() - Constructor for exception Configuration.ConfigException
 
ConfigurationTest - Class in daikon.test.config
 
ConfigurationTest(String) - Constructor for class ConfigurationTest
 
conjuncts() - Method in class AndJoiner
 
connected(PptTopLevel) - Method in class PptTopLevel
Returns true if there is a connection (using successors) from this ppt to ppt
connected(PptTopLevel, Set<PptTopLevel>) - Method in class PptTopLevel
Returns true if all successor basic blocks eventually end up at the specified progrm point.
connected(PptTopLevel) - Method in class PptTopLevel
Returns true if there is a connection (using successors) from this ppt to ppt
connected(PptTopLevel, Set<PptTopLevel>) - Method in class PptTopLevel
Returns true if all successor basic blocks eventually end up at the specified progrm point.
consequent() - Method in class Implication
 
ConsequentCVFPairComparator - Class in daikon.diff
Comparator for sorting invariants.
ConsequentCVFPairComparator() - Constructor for class ConsequentCVFPairComparator
 
ConsequentCVFPairComparatorTester - Class in daikon.test.diff
 
ConsequentCVFPairComparatorTester(String) - Constructor for class ConsequentCVFPairComparatorTester
 
ConsequentCVFSortComparator - Class in daikon.diff
Comparator for sorting invariants.
ConsequentCVFSortComparator() - Constructor for class ConsequentCVFSortComparator
 
ConsequentCVFSortComparatorTester - Class in daikon.test.diff
 
ConsequentCVFSortComparatorTester(String) - Constructor for class ConsequentCVFSortComparatorTester
 
ConsequentExtractorVisitor - Class in daikon.diff
ConsequentExtractorVisitor is a visitor that takes in RootNode tree used by the other visitors in Diff and only modifies the first inv tree out of the pair of two inv trees (the second tree is never read or modified).
ConsequentExtractorVisitor() - Constructor for class ConsequentExtractorVisitor
 
ConsequentPairComparator - Class in daikon.diff
Comparator for pairing invariants.
ConsequentPairComparator(Comparator<Invariant>) - Constructor for class ConsequentPairComparator
 
ConsequentSortComparator - Class in daikon.diff
Comparator for sorting invariants.
ConsequentSortComparator(Comparator<Invariant>) - Constructor for class ConsequentSortComparator
 
consider_xlate(List<List<InvTranslate>>, List<InvTranslate>, List<List<InvTranslate>>, int) - Static method in class InvMatch
Recursive routine that tries all possible combination of translations.
CONST - Static variable in interface CParserConstants
 
CONST - Static variable in interface JavaParserConstants
 
const_inv_cnt() - Method in class PptTopLevel
Returns the number of invariants that contain one or more constants.
const_inv_cnt() - Method in class PptTopLevel
Returns the number of invariants that contain one or more constants.
const_slice_cnt() - Method in class PptTopLevel
Returns the number of slices that contain one or more constants.
const_slice_cnt() - Method in class PptTopLevel
Returns the number of slices that contain one or more constants.
Constant() - Static method in class CParser
 
Constant - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> | | |
Constant(NodeChoice) - Constructor for class Constant
 
constant_leader_cnt() - Method in class DynamicConstants
Returns the number of constants that are leaders.
constant_leader_cnt() - Method in class DynamicConstants
Returns the number of constants that are leaders.
constant_value(VarInfo) - Method in class DynamicConstants
Returns the constant value of the specified variable, or null if the variable is not constant or prev_constant.
constant_value(VarInfo) - Method in class DynamicConstants
Returns the constant value of the specified variable, or null if the variable is not constant or prev_constant.
ConstantExpression() - Static method in class CParser
 
ConstantExpression - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> ConditionalExpression()
ConstantExpression(ConditionalExpression) - Constructor for class ConstantExpression
 
constants - Variable in class PptTopLevel
List of constant variables.
constants - Variable in class PptTopLevel
List of constant variables.
constants - Static variable in class WSMatch
Set of variables that are constant
constantValue() - Method in class VarInfo
Returns the static constant value of this variable.
constantValue() - Method in class VarInfo
Returns the static constant value of this variable.
ConstructorDeclaration() - Method in class JavaParser
 
ConstructorDeclaration - Class in jtb.syntaxtree
Grammar production: f0 -> [ TypeParameters() ] f1 -> f2 -> FormalParameters() f3 -> [ "throws" NameList() ] f4 -> "{" f5 -> [ ExplicitConstructorInvocation() ] f6 -> ( BlockStatement() )* f7 -> "}"
ConstructorDeclaration(NodeOptional, NodeToken, FormalParameters, NodeOptional, NodeToken, NodeOptional, NodeListOptional, NodeToken) - Constructor for class ConstructorDeclaration
 
ConstructorDeclaration(NodeOptional, NodeToken, FormalParameters, NodeOptional, NodeOptional, NodeListOptional) - Constructor for class ConstructorDeclaration
 
contains(Node, String) - Static method in class Ast
 
contains(int) - Method in class LimitedSizeIntSet
 
contains(T) - Method in class LimitedSizeSet
 
contains(VarInfoName) - Method in class VarInfoName.Finder
Returns true iff some part of root is contained in this.goals.
contains(VarInfoName) - Method in class VarInfoName.Finder
Returns true iff some part of root is contained in this.goals.
contains_inv(Invariant) - Method in class PptSlice
Returns whether or not this slice already contains the specified invariant.
contains_inv(Invariant) - Method in class PptSlice
Returns whether or not this slice already contains the specified invariant.
contains_inv_exact(Invariant) - Method in class PptSlice
Returns whether or not this slice contains an exact match for the specified invariant.
contains_inv_exact(Invariant) - Method in class PptSlice
Returns whether or not this slice contains an exact match for the specified invariant.
containsArrayAccess(Expression) - Method in class Converter
 
containsArrayAccess(ShiftExpression) - Method in class Converter
 
containsArrayAccess(RelationalExpression) - Method in class Converter
 
containsArrayAccess(NodeOptional) - Method in class Converter
 
containsKey(Object) - Method in class WeakHasherMap
Returns true if this map contains a mapping for the specified key.
containsKey(Object) - Method in class WeakIdentityHashMap
Returns true if this map contains a mapping for the specified key.
containsName(String) - Method in class PptMap
Returns whether or not 'name' is the name of a Ppt in the map.
containsName(String) - Method in class PptMap
Returns whether or not 'name' is the name of a Ppt in the map.
containsOnlyGuardingPredicates() - Method in class PptSlice
 
containsOnlyGuardingPredicates() - Method in class PptSlice
 
containsValue(Object) - Method in class WeakIdentityHashMap
Returns true if this map maps one or more keys to the specified value.
containsVar(VarInfo) - Method in class Ppt
 
containsVar(VarInfo) - Method in class Ppt
 
containsVariableFilter(String) - Method in class InvariantFilters
 
ContextSplitterFactory - Class in daikon.split
This factory creates Splitters from map files.
ContextSplitterFactory() - Constructor for class ContextSplitterFactory
 
ContextSplitterFactory.MapfileEntry - Class in daikon.split
Simple record type to store a map file entry.
ContextSplitterFactory.MapfileEntry(long, String, String, String, long, long, String, String, String, String) - Constructor for class ContextSplitterFactory.MapfileEntry
 
ContextSplitterFactory.PptNameAndSplitters - Class in daikon.split
Simple record type to store a PptName and Splitter array.
ContextSplitterFactory.PptNameAndSplitters(String, Splitter[]) - Constructor for class ContextSplitterFactory.PptNameAndSplitters
 
CONTINUE - Static variable in interface CParserConstants
 
CONTINUE - Static variable in interface JavaParserConstants
 
ContinueStatement() - Method in class JavaParser
 
ContinueStatement - Class in jtb.syntaxtree
Grammar production: f0 -> "continue" f1 -> [ ] f2 -> ";"
ContinueStatement(NodeToken, NodeOptional, NodeToken) - Constructor for class ContinueStatement
 
ContinueStatement(NodeOptional) - Constructor for class ContinueStatement
 
control_check - Static variable in class DiscardCode
used for invariants discarded because of the ControlledInvariantsFilter
convertArrayExpression(PostfixExpression, Vector<Node>, int) - Method in class Converter
 
Converter - Class in jtb.cparser.customvisitor
 
Converter() - Constructor for class Converter
 
convertMatrixExpression(PostfixExpression, Vector<Node>, Vector<Node>) - Method in class Converter
 
convertToInvMap(PptMap) - Method in class Diff
Extracts the PptTopLevel and Invariants out of a pptMap, and places them into an InvMap.
convertWrapper(Object) - Static method in class PureMethodInfo
Convert standard wrapped Objects (i.e., Integers) to Chicory wrappers (ie, Runtime.IntWrap)\ Should not be called if the Object was not auto-boxed from from a primitive!
copy() - Method in class FileIO.VarDefinition
 
copy() - Method in class FileIO.VarDefinition
 
copy(PptTopLevel, PptTopLevel) - Method in class PptRelation
Copies the relation from its current ppts to the specified ppts.
copy(PptTopLevel, PptTopLevel) - Method in class PptRelation
Copies the relation from its current ppts to the specified ppts.
copy(String, Node) - Static method in class Ast
 
copy_new_invs(PptTopLevel, VarInfo[]) - Method in class PptSlice
 
copy_new_invs(PptTopLevel, VarInfo[]) - Method in class PptSlice
 
copyInvsFromLeader(VarInfo, List<VarInfo>) - Method in class PptSliceEquality
Instantiate invariants from each inv's leader.
copyInvsFromLeader(VarInfo, List<VarInfo>) - Method in class PptSliceEquality
Instantiate invariants from each inv's leader.
core - Variable in class LinearBinary
 
core - Variable in class LinearBinaryFloat
 
core - Variable in class PairwiseLinearBinary
 
core - Variable in class PairwiseLinearBinaryFloat
 
core - Variable in class LinearTernary
 
core - Variable in class LinearTernaryFloat
 
count - Variable in class DynamicConstants.Constant
The sample count of the constant.
count - Variable in class DynamicConstants.Constant
The sample count of the constant.
count(String, int) - Static method in class UtilMDE
Return the number of times the character appears in the string.
count(String, String) - Static method in class UtilMDE
Return the number of times the second string appears in the first.
count_global_stats(PptTopLevel) - Static method in class PrintInvariants
Count statistics (via Global) on variables (canonical, missing, etc.)
count_global_stats(PptTopLevel) - Static method in class PrintInvariants
Count statistics (via Global) on variables (canonical, missing, etc.)
count_lines(String) - Static method in class UtilMDE
Count the number of lines in the specified file
countBytes(String) - Method in class CountingPrintWriter
Returns the number of bytes contained in a string.
countBytes(char) - Method in class CountingPrintWriter
Returns the number of bytes used to represent a character.
counterexample - Variable in class CmdCheck
 
CountingPrintWriter - Class in daikon.util
Prints formatted representations of objects to a text-output stream counting the number of bytes and characters printed.
CountingPrintWriter(OutputStream) - Constructor for class CountingPrintWriter
Create a new PrintWriter, without automatic line flushing, from an existing OutputStream.
CountingPrintWriter(OutputStream, boolean) - Constructor for class CountingPrintWriter
Create a new PrintWriter from an existing OutputStream.
CountingPrintWriter(Writer) - Constructor for class CountingPrintWriter
Create a new PrintWriter, without automatic line flushing.
CountingPrintWriter(Writer, boolean) - Constructor for class CountingPrintWriter
Create a new PrintWriter, without automatic line flushing.
countSlices() - Method in class PptMap
Return the number of active PptSlices.
countSlices() - Method in class PptMap
Return the number of active PptSlices.
CoverageStats - Class in daikon.tools.gretel
Given a .gretel file and a list of source file names, produce a report of the line coverage on those files.
CoverageStats() - Constructor for class CoverageStats
 
CParser - Class in jtb.cparser
 
CParser(InputStream) - Constructor for class CParser
 
CParser(Reader) - Constructor for class CParser
 
CParser(CParserTokenManager) - Constructor for class CParser
 
CParserConstants - Interface in jtb.cparser
 
CParserTokenManager - Class in jtb.cparser
 
CParserTokenManager(ASCII_CharStream) - Constructor for class CParserTokenManager
 
CParserTokenManager(ASCII_CharStream, int) - Constructor for class CParserTokenManager
 
create(String, String) - Static method in class Ast
 
create(String, Class[], Object[], String) - Static method in class Ast
 
create_combinations(int, int, List<T>) - Static method in class UtilMDE
Returns a list of lists of each combination (with repetition, but not permutations) of the specified objects starting at index start over dims dimensions, for dims > 0.
create_combinations(int, int, int) - Static method in class UtilMDE
Returns a list of lists of each combination (with repetition, but not permutations) of integers from start to cnt (inclusive) over arity dimensions.
create_combined_exits(PptMap) - Static method in class Daikon
Create EXIT program points as needed for EXITnn program points.
create_combined_exits(PptMap) - Static method in class Daikon
Create EXIT program points as needed for EXITnn program points.
create_constant_invs() - Method in class DynamicConstants
Create unary and binary constant invariants.
create_constant_invs() - Method in class DynamicConstants
Create unary and binary constant invariants.
create_derived_variables() - Method in class PptTopLevel
Create all the derived variables.
create_derived_variables() - Method in class PptTopLevel
Create all the derived variables.
create_equality_inv(VarInfo, VarInfo, int) - Method in class PptTopLevel
Create an equality invariant over the specified variables.
create_equality_inv(VarInfo, VarInfo, int) - Method in class PptTopLevel
Create an equality invariant over the specified variables.
create_splitters(Set<File>) - Static method in class Daikon
 
create_splitters(Set<File>) - Static method in class Daikon
 
create_suppressed_invs(PptTopLevel) - Static method in class NIS
Creates all suppressed invariants for the specified ppt and places them in their associated slices.
create_tag_frame(String) - Static method in class DCRuntime
Create the tag frame for this method.
created_invs_cnt - Static variable in class NIS
Number of invariants actually created
createEqualityInvs(List<VarInfo>, Equality) - Method in class PptSliceEquality
Create a List of Equality invariants based on the VarInfos in vis.
createEqualityInvs(List<VarInfo>, Equality) - Method in class PptSliceEquality
Create a List of Equality invariants based on the VarInfos in vis.
createGuardedInvariant(boolean) - Method in class Invariant
This procedure guards one invariant and returns the resulting guarded invariant (implication), without placing it in any slice and without modifying the original invariant.
createGuardingPredicate(boolean) - Method in class Invariant
Create a guarding predicate for a given invariant.
createGuardingPredicate(boolean) - Method in class VarInfo
Create a guarding predicate for this VarInfo, that is, an invariant that ensures that this object is available for access to variables that reference it, such as fields.
createGuardingPredicate(boolean) - Method in class VarInfo
Create a guarding predicate for this VarInfo, that is, an invariant that ensures that this object is available for access to variables that reference it, such as fields.
CreateSpinfo - Class in daikon.tools.jtb
Create a splitter info file from Java source.
CreateSpinfo() - Constructor for class CreateSpinfo
 
CreateSpinfoC - Class in daikon.tools.jtb
 
CreateSpinfoC() - Constructor for class CreateSpinfoC
 
createTempDir(String, String) - Static method in class UtilMDE
Creates an empty directory in the default temporary-file directory, using the given prefix and suffix to generate its name.
createUpperPpts(PptMap) - Static method in class Daikon
Creates upper program points by merging together the invariants from all of the lower points.
createUpperPpts(PptMap) - Static method in class Daikon
Creates upper program points by merging together the invariants from all of the lower points.
curChar - Static variable in class CParserTokenManager
 
curChar - Variable in class JavaParserTokenManager
 
current_inv - Static variable in class Daikon
current invariant (used for debugging)
current_inv - Static variable in class Daikon
current invariant (used for debugging)
currentToken - Variable in exception ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception ParseException
This is the last token that has been consumed successfully.
currMap - Variable in class MultiDiffVisitor
 

D

d - Variable in class LinearTernaryCore
 
d - Variable in class LinearTernaryCoreFloat
 
daikon - package daikon
 
daikon - Static variable in class Chicory
 
daikon - Static variable in class Chicory
 
Daikon - Class in daikon
The "main" method is the main entry point for the Daikon invariant detector.
Daikon - Class in daikon
The "main" method is the main entry point for the Daikon invariant detector.
Daikon.FileIOProgress - Class in daikon
Outputs FileIO progress information.
Daikon.FileIOProgress - Class in daikon
Outputs FileIO progress information.
Daikon.FileIOProgress() - Constructor for class Daikon.FileIOProgress
 
Daikon.FileIOProgress() - Constructor for class Daikon.FileIOProgress
 
Daikon.FileOptions - Class in daikon
 
Daikon.FileOptions - Class in daikon
 
Daikon.FileOptions(Set<File>, Set<String>, Set<File>, Set<File>) - Constructor for class Daikon.FileOptions
 
Daikon.FileOptions(Set<File>, Set<String>, Set<File>, Set<File>) - Constructor for class Daikon.FileOptions
 
Daikon.TerminationMessage - Exception in daikon
Thrown to indicate that main should not print a stack trace, but only print the message itself to the user.
Daikon.TerminationMessage - Exception in daikon
Thrown to indicate that main should not print a stack trace, but only print the message itself to the user.
Daikon.TerminationMessage(Throwable) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(Throwable, String) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(Throwable, FileIO.ParseState) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(Throwable, LineNumberReader, String) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(Throwable, String, LineNumberReader, String) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage() - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(String) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(String, FileIO.ParseState) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(String, LineNumberReader, String) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(Throwable) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(Throwable, String) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(Throwable, FileIO.ParseState) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(Throwable, LineNumberReader, String) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(Throwable, String, LineNumberReader, String) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage() - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(String) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(String, FileIO.ParseState) - Constructor for exception Daikon.TerminationMessage
 
Daikon.TerminationMessage(String, LineNumberReader, String) - Constructor for exception Daikon.TerminationMessage
 
daikon_args - Static variable in class Chicory
Specifies Daikon arguments to be used if Daikon is run on a generated trace file or online via a socket.
daikon_args - Static variable in class Chicory
Specifies Daikon arguments to be used if Daikon is run on a generated trace file or online via a socket.
daikon_online - Static variable in class Chicory
 
daikon_online - Static variable in class Chicory
 
daikon_port - Static variable in class ChicoryPremain
 
daikon_proc - Static variable in class Chicory
daikon process for --daikon switch
daikon_proc - Static variable in class Chicory
daikon process for --daikon switch
daikonClass - Variable in class Annotation
 
daikonClass() - Method in class Annotation
The Daikon class name that this invariant represents an instance of.
daikonClass - Variable in class Property
The Daikon class name that this property represents.
DaikonClassInfo - Class in daikon.chicory
The DaikonClassInfo class is a subtype of DaikonVariableInfo used for variables which represent the runtime type of a variable (ie, ".getClass()" variables).
DaikonClassInfo(String, boolean) - Constructor for class DaikonClassInfo
Constructs a DaikonClassInfo object
daikonFormat - Variable in class SplitterObject
 
daikonRep() - Method in class Annotation
The way this annotation would be printed by Daikon.
daikonRep() - Method in class Property
Daikon representation (as output by Daikon's default output format).
DaikonSimple - Class in daikon
DaikonSimple reads a declaration file and trace file and outputs a list of likely invariants using the simple incremental algorithm.
DaikonSimple - Class in daikon
DaikonSimple reads a declaration file and trace file and outputs a list of likely invariants using the simple incremental algorithm.
DaikonSimple() - Constructor for class DaikonSimple
 
DaikonSimple() - Constructor for class DaikonSimple
 
DaikonSimple.SimpleProcessor - Class in daikon
The SimpleProcessor class processes each sample in the dtrace file.
DaikonSimple.SimpleProcessor - Class in daikon
The SimpleProcessor class processes each sample in the dtrace file.
DaikonSimple.SimpleProcessor() - Constructor for class DaikonSimple.SimpleProcessor
 
DaikonSimple.SimpleProcessor() - Constructor for class DaikonSimple.SimpleProcessor
 
DaikonVariableInfo - Class in daikon.chicory
Each DaikonVariableInfo object is a node in the tree structure of the variables in the target application.
DaikonVariableInfo(String) - Constructor for class DaikonVariableInfo
Constructs a non-array type DaikonVariableInfo object
DaikonVariableInfo(String, boolean) - Constructor for class DaikonVariableInfo
Constructs a DaikonVariableInfo object
DaikonWriter - Class in daikon.chicory
DaikonWriter is the parent class of DeclWriter and DTraceWriter.
DaikonWriter() - Constructor for class DaikonWriter
 
dastore(double[], int, double) - Static method in class DCRuntime
Execute an dastore instruction and manipulate the tags accordingly.
dastore_df(double[], int, double) - Static method in class DCRuntime
Execute an dastore instruction and manipulate the tags accordingly.
data_trace_state - Static variable in class FileIO
Logically, this is a local variable in method read_data_trace_file.
data_trace_state - Static variable in class FileIO
Logically, this is a local variable in method read_data_trace_file.
dataflow_out - Static variable in class DynComp
 
dataflow_out - Static variable in class DynComp
 
date - Static variable in class ICalAvailable
 
day - Variable in class TestPlume.TestOptionsAliases
 
days - Static variable in class ICalAvailable
 
dbc_name() - Method in class VarInfo
Returns the name in DBC format.
dbc_name() - Method in class VarInfo
Returns the name in DBC format.
dbc_name(VarInfo) - Method in class VarInfoName
Return the String representation of this name in the dbc style output format.
dbc_name(VarInfo) - Method in class VarInfoName
Return the String representation of this name in the dbc style output format.
dbc_name_impl(VarInfo) - Method in class VarInfoName.Add
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Add
 
dbc_name_impl(VarInfo) - Method in class VarInfoName
Return the name in the DBC style output format.
dbc_name_impl(VarInfo) - Method in class VarInfoName
Return the name in the DBC style output format.
dbc_name_impl(VarInfo) - Method in class VarInfoName.Elements
 
dbc_name_impl(String, VarInfo) - Method in class VarInfoName.Elements
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Elements
 
dbc_name_impl(String, VarInfo) - Method in class VarInfoName.Elements
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Field
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Field
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.FunctionOf
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.FunctionOf
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.FunctionOfN
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.FunctionOfN
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Poststate
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Poststate
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Prestate
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Prestate
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Simple
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Simple
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.SizeOf
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.SizeOf
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Slice
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Slice
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Subscript
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.Subscript
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.TypeOf
 
dbc_name_impl(VarInfo) - Method in class VarInfoName.TypeOf
 
dbcFormat - Variable in class SplitterObject
 
dbg - Static variable in class DtraceConvert
 
dcomp_clone(Object) - Static method in class DCRuntime
Handles clone() calls.
dcomp_equals(Object, Object) - Static method in class DCRuntime
Handles calls to instrumented equals() methods.
dcomp_super_clone(Object) - Static method in class DCRuntime
Handles super.clone() calls.
dcomp_super_equals(Object, Object) - Static method in class DCRuntime
Handles super.equals(Object) calls.
DCompClone - Interface in daikon.dcomp
Classes implementing this interface have been instrumented by DynComp and have implemented a clone method.
DCompInstrumented - Interface in daikon.dcomp
Classes implementing this interface have been instrumented by DynComp.
DCompMarker - Interface in daikon.dcomp
 
dcompmarker - Static variable in class DCRuntime
Either java.lang.DCompMarker or daikon.dcomp.DCompMarker
DCompToString - Interface in daikon.dcomp
Classes implementing this interface have been instrumented by DynComp and have implemented a toString method.
DCRuntime - Class in daikon.dcomp
 
DCRuntime() - Constructor for class DCRuntime
 
DCRuntime.BranchInfo - Class in daikon.dcomp
Information about a value encountered at a branch.
DCRuntime.BranchInfo(ValueSource, String) - Constructor for class DCRuntime.BranchInfo
 
DCRuntime.FieldTag - Class in daikon.dcomp
Abstract base class for code that gets the tag associated with a particular field.
DCRuntime.FieldTag() - Constructor for class DCRuntime.FieldTag
 
DCRuntime.PrimitiveArrayTag - Class in daikon.dcomp
Class that gets the list of tags for primitive arrays.
DCRuntime.PrimitiveArrayTag(FieldInfo) - Constructor for class DCRuntime.PrimitiveArrayTag
 
DCRuntime.PrimitiveTag - Class in daikon.dcomp
Class that gets the tag for a primitive instance field.
DCRuntime.PrimitiveTag(FieldInfo) - Constructor for class DCRuntime.PrimitiveTag
 
DCRuntime.ReferenceTag - Class in daikon.dcomp
Class that returns the tag for a reference instance field.
DCRuntime.ReferenceTag(FieldInfo) - Constructor for class DCRuntime.ReferenceTag
 
DCRuntime.StaticPrimitiveTag - Class in daikon.dcomp
Class that gets the tag for static primitive fields.
DCRuntime.StaticReferenceTag - Class in daikon.dcomp
Class that gets the tag for a static reference variable.
DCRuntime.StaticReferenceTag(FieldInfo) - Constructor for class DCRuntime.StaticReferenceTag
Initialize for this field
debug - Static variable in class ChicoryPremain.ChicoryLoader
 
debug - Static variable in class ChicoryPremain
 
debug - Static variable in class Chicory
 
debug - Static variable in class Chicory
 
debug - Static variable in class Runtime
debug flag
debug - Static variable in class DaikonSimple
 
debug - Static variable in class DaikonSimple
 
debug - Static variable in class DCRuntime
 
Debug - Class in daikon
Debug class used with the logger to create standardized output.
Debug - Class in daikon
Debug class used with the logger to create standardized output.
Debug(Class<?>, Ppt, VarInfo[]) - Constructor for class Debug
Sets the cache for class, ppt, and vis so that future calls to log don't have to set them.
Debug(Class<?>, Ppt, List<VarInfo>) - Constructor for class Debug
Sets up the cache for c, ppt, and whatever variable (if any) from vis that is on the debugTrackVar list.
Debug(Class<?>, Ppt, VarInfo[]) - Constructor for class Debug
Sets the cache for class, ppt, and vis so that future calls to log don't have to set them.
Debug(Class<?>, Ppt, List<VarInfo>) - Constructor for class Debug
Sets up the cache for c, ppt, and whatever variable (if any) from vis that is on the debugTrackVar list.
debug - Static variable in class SequenceFloatIntersection
 
debug - Static variable in class SequenceScalarIntersection
 
debug - Static variable in class SequencesConcat
Debug tracer.
debug - Static variable in class SequencesConcatFactory
Debug tracer.
debug - Static variable in class SequencesJoin
Debug tracer.
debug - Static variable in class SequencesJoinFactory
Debug tracer.
debug - Static variable in class SequencesJoinFactoryFloat
Debug tracer.
debug - Static variable in class SequencesJoinFloat
Debug tracer.
debug - Static variable in class SequencesPredicate
Debug tracer.
debug - Static variable in class SequencesPredicateFactory
Debug tracer.
debug - Static variable in class SequencesPredicateFactoryFloat
Debug tracer.
debug - Static variable in class SequencesPredicateFloat
Debug tracer.
debug - Static variable in class SequenceStringIntersection
 
debug - Static variable in class Derivation
Debug tracer.
debug - Static variable in class SequenceInitialFactory
 
debug - Static variable in class SequenceInitialFactoryFloat
 
debug - Static variable in class SequenceLengthFactory
Debug output.
debug - Static variable in class StringLengthFactory
Debug output
debug - Static variable in class DetailedStatisticsVisitor
 
debug - Static variable in class Diff
 
debug - Static variable in class PrintDifferingInvariantsVisitor
 
debug - Static variable in class XorVisitor
 
debug - Static variable in class DynamicConstants
Debug tracer.
debug - Static variable in class DynamicConstants
Debug tracer.
debug - Static variable in class DynComp
 
debug - Static variable in class DynComp
 
debug - Static variable in class Member
 
debug - Static variable in class MemberFloat
 
debug - Static variable in class SeqFloatEqual
 
debug - Static variable in class SeqFloatGreaterEqual
 
debug - Static variable in class SeqFloatGreaterThan
 
debug - Static variable in class SeqFloatLessEqual
 
debug - Static variable in class SeqFloatLessThan
 
debug - Static variable in class SeqIntEqual
 
debug - Static variable in class SeqIntGreaterEqual
 
debug - Static variable in class SeqIntGreaterThan
 
debug - Static variable in class SeqIntLessEqual
 
debug - Static variable in class SeqIntLessThan
 
debug - Static variable in class MemberString
 
debug - Static variable in class FloatEqual
 
debug - Static variable in class FloatGreaterEqual
 
debug - Static variable in class FloatGreaterThan
 
debug - Static variable in class FloatLessEqual
 
debug - Static variable in class FloatLessThan
 
debug - Static variable in class FloatNonEqual
 
debug - Static variable in class IntEqual
 
debug - Static variable in class IntGreaterEqual
 
debug - Static variable in class IntGreaterThan
 
debug - Static variable in class IntLessEqual
 
debug - Static variable in class IntLessThan
 
debug - Static variable in class IntNonEqual
 
debug - Static variable in class LinearBinaryCore
Debug tracer.
debug - Static variable in class LinearBinaryCoreFloat
Debug tracer.
debug - Static variable in class PairwiseFloatEqual
Debug tracer.
debug - Static variable in class PairwiseFloatGreaterEqual
Debug tracer.
debug - Static variable in class PairwiseFloatGreaterThan
Debug tracer.
debug - Static variable in class PairwiseFloatLessEqual
Debug tracer.
debug - Static variable in class PairwiseFloatLessThan
Debug tracer.
debug - Static variable in class PairwiseIntEqual
Debug tracer.
debug - Static variable in class PairwiseIntGreaterEqual
Debug tracer.
debug - Static variable in class PairwiseIntGreaterThan
Debug tracer.
debug - Static variable in class PairwiseIntLessEqual
Debug tracer.
debug - Static variable in class PairwiseIntLessThan
Debug tracer.
debug - Static variable in class PairwiseStringEqual
Debug tracer.
debug - Static variable in class PairwiseStringGreaterEqual
Debug tracer.
debug - Static variable in class PairwiseStringGreaterThan
Debug tracer.
debug - Static variable in class PairwiseStringLessEqual
Debug tracer.
debug - Static variable in class PairwiseStringLessThan
Debug tracer.
debug - Static variable in class Reverse
 
debug - Static variable in class ReverseFloat
 
debug - Static variable in class StringEqual
 
debug - Static variable in class StringGreaterEqual
 
debug - Static variable in class StringGreaterThan
 
debug - Static variable in class StringLessEqual
 
debug - Static variable in class StringLessThan
 
debug - Static variable in class StringNonEqual
 
debug - Static variable in class Equality
 
debug - Static variable in class Invariant
General debug tracer.
debug - Static variable in class InvDef
Debug tracer.
debug - Static variable in class FunctionBinary
 
debug - Static variable in class FunctionBinaryFloat
 
debug - Static variable in class NonZero
Debug tracer.
debug - Static variable in class NonZeroFloat
Debug tracer.
debug - Static variable in class OneOfFloat
Debugging logger.
debug - Static variable in class OneOfScalar
Debugging logger.
debug - Static variable in class EltNonZero
Debug tracer.
debug - Static variable in class EltNonZeroFloat
Debug tracer.
debug - Static variable in class EltOneOf
Debugging logger.
debug - Static variable in class EltOneOfFloat
Debugging logger.
debug - Static variable in class NoDuplicates
Debug tracer.
debug - Static variable in class NoDuplicatesFloat
Debug tracer.
debug - Static variable in class OneOfFloatSequence
Debugging logger.
debug - Static variable in class OneOfSequence
Debugging logger.
debug - Static variable in class SeqIndexFloatEqual
Debug tracer.
debug - Static variable in class SeqIndexFloatGreaterEqual
Debug tracer.
debug - Static variable in class SeqIndexFloatGreaterThan
Debug tracer.
debug - Static variable in class SeqIndexFloatLessEqual
Debug tracer.
debug - Static variable in class SeqIndexFloatLessThan
Debug tracer.
debug - Static variable in class SeqIndexFloatNonEqual
Debug tracer.
debug - Static variable in class SeqIndexIntEqual
Debug tracer.
debug - Static variable in class SeqIndexIntGreaterEqual
Debug tracer.
debug - Static variable in class SeqIndexIntGreaterThan
Debug tracer.
debug - Static variable in class SeqIndexIntLessEqual
Debug tracer.
debug - Static variable in class SeqIndexIntLessThan
Debug tracer.
debug - Static variable in class SeqIndexIntNonEqual
Debug tracer.
debug - Static variable in class OneOfString
Debugging logger.
debug - Static variable in class EltOneOfString
Debugging logger.
debug - Static variable in class OneOfStringSequence
Debugging logger.
debug - Static variable in class MergeInvariants
 
debug - Static variable in class MergeInvariants
 
debug - Static variable in class PptSlice
Debug tracer.
debug - Static variable in class PptSlice
Debug tracer.
debug - Static variable in class PptSliceEquality
 
debug - Static variable in class PptSliceEquality
 
debug - Static variable in class PptSplitter
General debug tracer.
debug - Static variable in class PptSplitter
General debug tracer.
debug - Static variable in class PptTopLevel
Main debug tracer.
debug - Static variable in class PptTopLevel
Main debug tracer.
debug - Static variable in class PrintInvariants
Main debug tracer for PrintInvariants (for things unrelated to printing).
debug - Static variable in class PrintInvariants
Main debug tracer for PrintInvariants (for things unrelated to printing).
debug - Static variable in class CmdCheck
 
debug - Static variable in class SessionManager
Debug tracer common to all Simplify classes.
debug - Static variable in class ContextSplitterFactory
Debug tracer.
debug - Static variable in class SplitterFactory
 
debug - Static variable in class NIS
Debug tracer.
debug - Static variable in class NISuppressionSet
 
debug - Static variable in class NISuppressor
Debug tracer.
debug - Static variable in class SampleTester
 
debug - Static variable in class ExtractConsequent
 
debug - Static variable in class InvariantChecker
 
debug - Static variable in class Annotate
 
debug - Static variable in class CreateSpinfo
 
debug - Static variable in class ICalAvailable
 
debug - Static variable in class MultiVersionControl
 
debug - Static variable in class ValueTuple
Debug tracer.
debug - Static variable in class ValueTuple
Debug tracer.
debug - Static variable in class VarComparability
Debug tracer.
debug - Static variable in class VarComparability
Debug tracer.
debug - Static variable in class VarInfoAux
General debug tracer.
debug - Static variable in class VarInfoAux
General debug tracer.
debug - Static variable in class VarInfoName
Debugging Logger.
debug - Static variable in class VarInfoName
Debugging Logger.
debug - Static variable in class VarInfoName.QuantHelper
Debug tracer
debug - Static variable in class VarInfoName.QuantHelper
Debug tracer
debug_arr_index - Static variable in class DCRuntime
 
debug_decl - Static variable in class FileIO
 
debug_decl - Static variable in class FileIO
 
debug_decl_print - Static variable in class DCRuntime
 
debug_detail - Static variable in class DaikonSimple
 
debug_detail - Static variable in class DaikonSimple
 
debug_detail - Static variable in class InvariantChecker
 
debug_df - Static variable in class DCRuntime
 
debug_df_branch - Static variable in class DCRuntime
 
debug_dir - Static variable in class DynComp
 
debug_dir - Static variable in class DynComp
 
debug_invs(Logger) - Method in class PptTopLevel
Debug print to the specified logger information about each invariant at this ppt
debug_invs(Logger) - Method in class PptTopLevel
Debug print to the specified logger information about each invariant at this ppt
debug_merge_comp - Static variable in class DCRuntime
 
debug_missing - Static variable in class FileIO
true prints info about variables marked as missing/nonsensical
debug_missing - Static variable in class FileIO
true prints info about variables marked as missing/nonsensical
debug_objects - Static variable in class DCRuntime
 
debug_ppt_names - Static variable in class Chicory
 
debug_ppt_names - Static variable in class Chicory
 
debug_primitive - Static variable in class DCRuntime
 
debug_print_slice_info(Logger, String, List<PptSlice>) - Method in class PptTopLevel
Debug print slice/inv count information to the specified logger
debug_print_slice_info(Logger, String, List<PptSlice>) - Method in class PptTopLevel
Debug print slice/inv count information to the specified logger
debug_print_tree(Logger, int) - Method in class PptRelation
Prints a ppt hierarchy of all of the ppts of this child and below.
debug_print_tree(Logger, int) - Method in class PptRelation
Prints a ppt hierarchy of all of the ppts of this child and below.
debug_print_tree(Logger, int, PptRelation) - Method in class PptTopLevel
Debug method to print children (in the partial order) recursively.
debug_print_tree(Logger, int, PptRelation) - Method in class PptTopLevel
Debug method to print children (in the partial order) recursively.
debug_progress - Static variable in class SampleTester
 
debug_replacers - Static variable in class MultiVersionControl
 
debug_SWITCH - Static variable in class Daikon
 
debug_SWITCH - Static variable in class Daikon
 
debug_tag_frame - Static variable in class DCRuntime
 
debug_timing - Static variable in class DCRuntime
 
debug_transform - Static variable in class Chicory
 
debug_transform - Static variable in class Chicory
 
debug_transform - Static variable in class Instrument
Debug information about which classes are transformed and why
debug_unary_info(Logger) - Method in class PptTopLevel
Debug print to the specified logger information about each variable in this ppt.
debug_unary_info(Logger) - Method in class PptTopLevel
Debug print to the specified logger information about each variable in this ppt.
debug_varinfo - Static variable in class PptTopLevel
 
debug_varinfo - Static variable in class PptTopLevel
 
debugAddImplications - Static variable in class PptTopLevel
Debug tracer for addImplications.
debugAddImplications - Static variable in class PptTopLevel
Debug tracer for addImplications.
debugAll - Static variable in class Global
 
debugAll - Static variable in class Global
 
debugAll_SWITCH - Static variable in class Daikon
 
debugAll_SWITCH - Static variable in class Daikon
 
debugAnt - Static variable in class NIS
Debug Tracer for antecedent method
debugBound - Static variable in class PrintInvariants
Debug tracer for variable bound information.
debugBound - Static variable in class PrintInvariants
Debug tracer for variable bound information.
debugConditional - Static variable in class PptTopLevel
Debug tracer for adding and processing conditional ppts.
debugConditional - Static variable in class PptTopLevel
Debug tracer for adding and processing conditional ppts.
debugDerive - Static variable in class Global
Debug tracer for debugging derived vars.
debugDerive - Static variable in class Global
Debug tracer for debugging derived vars.
debugEquality - Static variable in class Daikon
 
debugEquality - Static variable in class Daikon
 
debugEqualTo - Static variable in class PptTopLevel
Debug tracer for equalTo checks.
debugEqualTo - Static variable in class PptTopLevel
Debug tracer for equalTo checks.
debugFiltering - Static variable in class PrintInvariants
Debug tracer for filtering.
debugFiltering - Static variable in class PrintInvariants
Debug tracer for filtering.
debugFlow - Static variable in class Invariant
Debug tracer for invariant flow.
debugFlow - Static variable in class PptSlice
 
debugFlow - Static variable in class PptSlice
 
debugFlow - Static variable in class PptTopLevel
Debug tracer for data flow.
debugFlow - Static variable in class PptTopLevel
Debug tracer for data flow.
debugGeneral - Static variable in class PptSlice
Debug tracer for debugging both this and PptSlices.
debugGeneral - Static variable in class PptSlice
Debug tracer for debugging both this and PptSlices.
debugGlobal - Static variable in class PptSliceEquality
 
debugGlobal - Static variable in class PptSliceEquality
 
debugGuarding - Static variable in class Invariant
Debug tracer for guarding.
debugGuarding - Static variable in class PptSlice
 
debugGuarding - Static variable in class PptSlice
 
debugInfer - Static variable in class Global
Debug tracer for debugging general invariant inference.
debugInfer - Static variable in class Global
Debug tracer for debugging general invariant inference.
debugInit - Static variable in class Daikon
Debug tracer for ppt initialization.
debugInit - Static variable in class Daikon
Debug tracer for ppt initialization.
debugInstantiate - Static variable in class PptTopLevel
Debug tracer for instantiated slices.
debugInstantiate - Static variable in class PptTopLevel
Debug tracer for instantiated slices.
debugIsObvious - Static variable in class Invariant
Debug tracer for isObvious checks.
debugIsWorthPrinting - Static variable in class Invariant
Debug tracer for isWorthPrinting() checks.
debugLinearTernary - Static variable in class LinearTernary
 
debugLinearTernary - Static variable in class LinearTernaryFloat
 
debugln(String) - Static method in class SessionManager
 
debugMerge - Static variable in class PptSlice1
 
debugMerge - Static variable in class PptSlice1
 
debugMerge - Static variable in class PptSlice2
 
debugMerge - Static variable in class PptSlice2
 
debugMerge - Static variable in class PptSlice3
 
debugMerge - Static variable in class PptSlice3
 
debugMerge - Static variable in class PptTopLevel
Debug tracer for up-merging equality sets.
debugMerge - Static variable in class PptTopLevel
Debug tracer for up-merging equality sets.
debugMissing - Static variable in class VarInfo
Debug missing vals.
debugMissing - Static variable in class VarInfo
Debug missing vals.
debugNISStats - Static variable in class PptTopLevel
Debug tracer for NIS suppression statistics
debugNISStats - Static variable in class PptTopLevel
Debug tracer for NIS suppression statistics
debugPostProcess - Static variable in class Equality
 
debugPrint - Static variable in class FileIO
Debug tracer for printing.
debugPrint - Static variable in class FileIO
Debug tracer for printing.
debugPrint - Static variable in class Global
Debug tracer for debugging invariant printing.
debugPrint - Static variable in class Global
Debug tracer for debugging invariant printing.
debugPrint - Static variable in class Invariant
Debug tracer for printing invariants.
debugPrint - Static variable in class PrintInvariants
Debug tracer for printing.
debugPrint - Static variable in class PrintInvariants
Debug tracer for printing.
debugPrint(String) - Method in class SplitterObject
 
debugPrintDtrace - Static variable in class Global
 
debugPrintDtrace - Static variable in class Global
 
debugPrintEquality - Static variable in class Invariant
Debug tracer for printing equality invariants.
debugPrintEquality - Static variable in class PrintInvariants
Debug tracer for printing equality.
debugPrintEquality - Static variable in class PrintInvariants
Debug tracer for printing equality.
debugPrintModified - Static variable in class PrintInvariants
Debug tracer for printing modified variables in ESC/JML/DBC output.
debugPrintModified - Static variable in class PrintInvariants
Debug tracer for printing modified variables in ESC/JML/DBC output.
debugProgress - Static variable in class Daikon
 
debugProgress - Static variable in class Daikon
 
debugProgress - Static variable in class MergeInvariants
 
debugProgress - Static variable in class MergeInvariants
 
debugRead - Static variable in class FileIO
Debug tracer for reading.
debugRead - Static variable in class FileIO
Debug tracer for reading.
debugRepr - Static variable in class PrintInvariants
Debug tracer for printing.
debugRepr - Static variable in class PrintInvariants
Debug tracer for printing.
debugSimplify - Static variable in class Global
Debug tracer for debugging Simplify output.
debugSimplify - Static variable in class Global
Debug tracer for debugging Simplify output.
debugSlices() - Method in class PptTopLevel
Debug method to display all slices.
debugSlices() - Method in class PptTopLevel
Debug method to display all slices.
debugSpecific - Static variable in class PptSlice1
Debug tracer.
debugSpecific - Static variable in class PptSlice1
Debug tracer.
debugSpecific - Static variable in class PptSlice2
Debug tracer.
debugSpecific - Static variable in class PptSlice2
Debug tracer.
debugSpecific - Static variable in class PptSlice3
Debug tracer.
debugSpecific - Static variable in class PptSlice3
Debug tracer.
debugSplit - Static variable in class Global
Debug tracer for debugging splitting.
debugSplit - Static variable in class Global
Debug tracer for debugging splitting.
debugStatistics - Static variable in class Global
Debug tracer for debugging statistics output.
debugStatistics - Static variable in class Global
Debug tracer for debugging statistics output.
debugStats - Static variable in class Daikon
Prints out statistics concerning equality sets, suppressions, etc.
debugStats - Static variable in class Daikon
Prints out statistics concerning equality sets, suppressions, etc.
debugStream - Variable in class JavaParserTokenManager
 
debugSuppress - Static variable in class Global
Debug tracer for debugging invariant suppression.
debugSuppress - Static variable in class Global
Debug tracer for debugging invariant suppression.
debugSuppressParam - Static variable in class Global
Debug tracer for debugging invariant suppression by using parameters.
debugSuppressParam - Static variable in class Global
Debug tracer for debugging invariant suppression by using parameters.
debugTimeMerge - Static variable in class PptTopLevel
Debug tracer for timing merges.
debugTimeMerge - Static variable in class PptTopLevel
Debug tracer for timing merges.
debugTrace - Static variable in class Daikon
Debug tracer.
debugTrace - Static variable in class Daikon
Debug tracer.
debugTrack - Static variable in class Debug
Debug Logger.
debugTrack - Static variable in class Debug
Debug Logger.
debugTrackClass - Static variable in class Debug
List of classes for logging.
debugTrackClass - Static variable in class Debug
List of classes for logging.
debugTrackPpt - Static variable in class Debug
List of Ppts for logging.
debugTrackPpt - Static variable in class Debug
List of Ppts for logging.
debugTrackVars - Static variable in class Debug
List of variable names for logging.
debugTrackVars - Static variable in class Debug
List of variable names for logging.
debugVarMap(String) - Static method in class DiscReasonMap
Prints out all vars from ppt that have DiscardInfo's in the Set.toString() format.
debugVarMap(String) - Static method in class DiscReasonMap
Prints out all vars from ppt that have DiscardInfo's in the Set.toString() format.
debugVars - Static variable in class FileIO
Debug tracer for printing variable values.
debugVars - Static variable in class FileIO
Debug tracer for printing variable values.
DECIMAL_LITERAL - Static variable in interface CParserConstants
 
DECIMAL_LITERAL - Static variable in interface JavaParserConstants
 
decl_file - Static variable in class DynComp
 
decl_file - Static variable in class DynComp
 
decl_stats() - Static method in class DCRuntime
prints statistics about the number of decls to stdout
Declaration() - Static method in class CParser
 
Declaration - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> DeclarationSpecifiers() f1 -> [ InitDeclaratorList() ] f2 -> ";"
Declaration(DeclarationSpecifiers, NodeOptional, NodeToken) - Constructor for class Declaration
 
Declaration(DeclarationSpecifiers, NodeOptional) - Constructor for class Declaration
 
declaration_type_comparability - Static variable in class DeclReader
Reads in a decl file with arbitrary comparability and writes out a file with comparability based on declaration types.
declaration_types() - Method in class DeclReader
Sets the comparability to match declaration types.
DeclarationList() - Static method in class CParser
 
DeclarationList - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> ( Declaration() )+
DeclarationList(NodeList) - Constructor for class DeclarationList
 
DeclarationSpecifiers() - Static method in class CParser
 
DeclarationSpecifiers - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> StorageClassSpecifier() [ DeclarationSpecifiers() ] | TypeSpecifier() [ DeclarationSpecifiers() ] | TypeQualifier() [ DeclarationSpecifiers() ]
DeclarationSpecifiers(NodeChoice) - Constructor for class DeclarationSpecifiers
 
Declarator() - Static method in class CParser
 
Declarator - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> [ Pointer() ] f1 -> DirectDeclarator()
Declarator(NodeOptional, DirectDeclarator) - Constructor for class Declarator
 
declared_type - Variable in class FileIO.VarDefinition
Declared type of the variable as an arbitrary string (required)
declared_type - Variable in class FileIO.VarDefinition
Declared type of the variable as an arbitrary string (required)
declareHeader - Static variable in class DeclWriter
Header string before each new method entry or exit point
DeclReader - Class in daikon.chicory
Reads declaration files and provides methods to access the information within them.
DeclReader() - Constructor for class DeclReader
 
DeclReader.DeclPpt - Class in daikon.chicory
Information about the program point that is contained in the decl file.
DeclReader.DeclPpt(String) - Constructor for class DeclReader.DeclPpt
 
DeclReader.DeclVarInfo - Class in daikon.chicory
Information about variables within a program point
DeclReader.DeclVarInfo(String, String, String, String, int) - Constructor for class DeclReader.DeclVarInfo
 
decls - Variable in class Daikon.FileOptions
 
decls - Variable in class Daikon.FileOptions
 
declShouldPrint - Variable in class DaikonVariableInfo
True iff the DeclWriter should print this variable
declShouldPrint() - Method in class DaikonVariableInfo
Return true iff the DeclWriter should print this node.
DeclWriter - Class in daikon.chicory
DeclWriter writes the .decls file to a stream.
DeclWriter(PrintStream) - Constructor for class DeclWriter
Constructs a DeclWriter, preparing it to receive messages.
DECR - Static variable in interface JavaParserConstants
 
def_points - Variable in class LinearTernaryCore
 
def_points - Variable in class LinearTernaryCoreFloat
 
DEFAULT - Static variable in interface CParserConstants
 
DEFAULT - Static variable in interface JavaParserConstants
 
default_bcel - Static variable in class Chicory
 
default_bcel - Static variable in class Chicory
 
defaultFilters() - Static method in class InvariantFilters
 
DefaultValue() - Method in class JavaParser
 
DefaultValue - Class in jtb.syntaxtree
Grammar production: f0 -> "default" f1 -> MemberValue()
DefaultValue(NodeToken, MemberValue) - Constructor for class DefaultValue
 
DefaultValue(MemberValue) - Constructor for class DefaultValue
 
deleteDir(String) - Static method in class UtilMDE
Deletes the directory at dirName and all its files.
deleteDir(File) - Static method in class UtilMDE
Deletes the directory at dirName and all its files.
depth - Static variable in class DCRuntime
Depth to follow fields in classes
DepthFirstVisitor - Class in daikon.diff
Provides default methods which visit each node in the tree in depth-first order.
DepthFirstVisitor() - Constructor for class DepthFirstVisitor
 
DepthFirstVisitor - Class in jtb.cparser.visitor
Provides default methods which visit each node in the tree in depth-first order.
DepthFirstVisitor() - Constructor for class DepthFirstVisitor
 
DepthFirstVisitor - Class in jtb.visitor
Provides default methods which visit each node in the tree in depth-first order.
DepthFirstVisitor() - Constructor for class DepthFirstVisitor
 
Derivation - Class in daikon.derive
Structure that represents a derivation; can generate values and derived variables from base variables.
Derivation() - Constructor for class Derivation
 
DerivationFactory - Interface in daikon.derive
Factory to create and describe derived variables.
derived - Variable in class VarInfo
Whether and how derived.
derived - Variable in class VarInfo
Whether and how derived.
derived_param - Static variable in class DiscardCode
used when an invariant's VarInfo returns true for isDerivedParamAndUninteresting()
derived_variables - Static variable in class Global
 
derived_variables - Static variable in class Global
 
derivedDepth() - Method in class BinaryDerivation
 
derivedDepth() - Method in class Derivation
Returns how many levels of derivation this Derivation is based on.
derivedDepth() - Method in class TernaryDerivation
 
derivedDepth() - Method in class UnaryDerivation
 
derivedDepth() - Method in class VarInfo
returns the depth of derivation
derivedDepth() - Method in class VarInfo
returns the depth of derivation
derivedParamCached - Variable in class VarInfo
Cached value for getDerivedParam().
derivedParamCached - Variable in class VarInfo
Cached value for getDerivedParam().
DerivedParameterFilter - Class in daikon.inv.filter
Filter for not printing an Invariant if its VarInfos return isDerivedParameterAndUninteresting == true.
DerivedParameterFilter() - Constructor for class DerivedParameterFilter
 
DerivedVariableFilter - Class in daikon.inv.filter
A filter that filters out invariants that contain derived variables of a specified derivation.
DerivedVariableFilter() - Constructor for class DerivedVariableFilter
 
derivees() - Method in class VarInfo
Return all derived variables that build off this one.
derivees() - Method in class VarInfo
Return all derived variables that build off this one.
description_re - Static variable in class Lookup
 
destroy() - Method in class TimeLimitProcess
Kills the subprocess.
detail(FileIO.ParseState, String, Object...) - Static method in exception FileIO.DeclError
 
detail(FileIO.ParseState, String, Object...) - Static method in exception FileIO.DeclError
 
DetailedStatisticsVisitor - Class in daikon.diff
Computes statistics about the differences between the sets of invariants.
DetailedStatisticsVisitor(boolean) - Constructor for class DetailedStatisticsVisitor
 
DetailedStatisticsVisitorTester - Class in daikon.test.diff
 
DetailedStatisticsVisitorTester(String) - Constructor for class DetailedStatisticsVisitorTester
 
determineRelationship(Invariant, Invariant) - Static method in class DetailedStatisticsVisitor
Returns the relationship between the two invariants.
determineType(Invariant, Invariant) - Static method in class DetailedStatisticsVisitor
Returns the type of the invariant pair.
df_arrlen_map - Static variable in class DCRuntime
Map from tag to dataflow values for the length of an array.
DFLT - Static variable in interface CParserConstants
 
DFSum - Annotation Type in daikon.dcomp
Indicates that the annotated method is one that provides a DataFlow summary.
Diff - Class in daikon.diff
Diff is the main class for the invariant diff program.
Diff() - Constructor for class Diff
 
Diff(boolean) - Constructor for class Diff
 
Diff(boolean, boolean) - Constructor for class Diff
 
diff_file - Static variable in class InvariantFormatTester
 
DiffDummyInvariant - Class in daikon.test.diff
A dummy invariant used for testing purposes.
DiffDummyInvariant(PptSlice, String, boolean) - Constructor for class DiffDummyInvariant
 
DiffDummyInvariant(PptSlice, String, boolean, boolean) - Constructor for class DiffDummyInvariant
 
DiffDummyInvariant(PptSlice, String, boolean, boolean, boolean) - Constructor for class DiffDummyInvariant
 
DiffDummyInvariant(PptSlice, String, double) - Constructor for class DiffDummyInvariant
 
DiffDummyInvariant(PptSlice, String, double, boolean) - Constructor for class DiffDummyInvariant
 
DiffDummyInvariant(PptSlice, String, double, boolean, boolean) - Constructor for class DiffDummyInvariant
 
diffInvMap(InvMap, InvMap) - Method in class Diff
Returns a pair tree of corresponding program points, and corresponding invariants at each program point.
diffInvMap(InvMap, InvMap, boolean) - Method in class Diff
Returns a pair tree of corresponding program points, and corresponding invariants at each program point.
diffPptMap(PptMap, PptMap) - Method in class Diff
Diffs two PptMaps by converting them to InvMaps.
diffPptMap(PptMap, PptMap, boolean) - Method in class Diff
Diffs two PptMaps by converting them to InvMaps.
DiffTester - Class in daikon.test.diff
 
DiffTester(String) - Constructor for class DiffTester
 
Digest - Class in daikon.util
Primarily for getFileDigest.
Digest() - Constructor for class Digest
 
DIGIT - Static variable in interface CParserConstants
 
dimensions() - Method in class ProglangType
 
dimensions() - Method in class ProglangType
 
dir - Variable in class MultiVersionControl
 
DirectAbstractDeclarator() - Static method in class CParser
 
DirectAbstractDeclarator - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> ( "(" AbstractDeclarator() ")" | "[" [ ConstantExpression() ] "]" | "(" [ ParameterTypeList() ] ")" ) f1 -> ( "[" [ ConstantExpression() ] "]" | "(" [ ParameterTypeList() ] ")" )*
DirectAbstractDeclarator(NodeChoice, NodeListOptional) - Constructor for class DirectAbstractDeclarator
 
DirectDeclarator() - Static method in class CParser
 
DirectDeclarator - Class in jtb.cparser.syntaxtree
Grammar production: f0 -> ( t= | "(" Declarator() ")" ) f1 -> ( "[" [ ConstantExpression() ] "]" | "(" ParameterTypeList() ")" | "(" [ IdentifierList() ] ")" )*
DirectDeclarator(NodeChoice, NodeListOptional) - Constructor for class DirectDeclarator
 
disable_modbit_check_error - Static variable in class Daikon
 
disable_modbit_check_error - Static variable in class Daikon
 
disable_modbit_check_message - Static variable in class Daikon
 
disable_modbit_check_message - Static variable in class Daikon
 
disable_tracing() - Static method in class CParser
 
disable_tracing() - Method in class JavaParser
 
disc_reason_SWITCH - Static variable in class Daikon
 
disc_reason_SWITCH - Static variable in class Daikon
 
discard_tag(int) - Static method in class DCRuntime
Discard the tag on the top of the tag stack.
DiscardCode - Class in daikon.inv
DiscardCode is an enumeration type.
discardCode() - Method in class DiscardInfo
 
discardFormat() - Method in class DiscardInfo
 
DiscardInfo - Class in daikon.inv
A class used for holding a DiscardCode and a string that contains more detailed information about why an Invariant was discarded, as well as the classname and what would be returned by the Invariant's format() method.
DiscardInfo(Invariant, DiscardCode, String) - Constructor for class DiscardInfo
 
discardString() - Method in class DiscardInfo
 
DiscReasonMap - Class in daikon
 
DiscReasonMap - Class in daikon
 
discReasonSetup(String) - Static method in class PrintInvariants
Method used to setup fields if the --disc_reason switch is used if (arg==null) then show all discarded Invariants, otherwise just show the ones specified in arg, where arg = <,,...
discReasonSetup(String) - Static method in class PrintInvariants
Method used to setup fields if the --disc_reason switch is used if (arg==null) then show all discarded Invariants, otherwise just show the ones specified in arg, where arg = <,,...
display() - Method in class Daikon.FileIOProgress
Displays the current status.
display(String) - Method in class Daikon.FileIOProgress
Displays the given message.
display() - Method in class Daikon.FileIOProgress
Displays the current status.
display(String) - Method in class Daikon.FileIOProgress
Displays the given message.
distinct() - Static method in enum Quantify.QuantFlags
set with just DISTINCT turned on
distinct() - Static method in enum Quantify.QuantFlags
set with just DISTINCT turned on
div(int, int) - Static method in class MathMDE
 
div(long, long) - Static method in class MathMDE
 
div(double, double) - Static method in class MathMDE
 
dkconfig_add_changed - Static variable in class FileIO
Boolean.
dkconfig_add_changed - Static variable in class FileIO
Boolean.
dkconfig_all_splitters - Static variable in class SplitterList
Boolean.
dkconfig_asm_path_name - Static variable in class PptCombined
If non-null, we will compute redundant binary variables when creating a CombinedProgramPoint, using the assembly information in the file specified.
dkconfig_asm_path_name - Static variable in class PptCombined
If non-null, we will compute redundant binary variables when creating a CombinedProgramPoint, using the assembly information in the file specified.
dkconfig_boolOnly - Static variable in class SequencesPredicate
Boolean.
dkconfig_boolOnly - Static variable in class SequencesPredicateFloat
Boolean.
dkconfig_calc_possible_invs - Static variable in class Daikon
Boolean.
dkconfig_calc_possible_invs - Static variable in class Daikon
Boolean.
dkconfig_check_bb_connections - Static variable in class FileIO
If true, check all of the basic blocks that make up a function to ensure that there is a path from function entry to the block.
dkconfig_check_bb_connections - Static variable in class FileIO
If true, check all of the basic blocks that make up a function to ensure that there is a path from function entry to the block.
dkconfig_class_re - Static variable in class DerivedVariableFilter
Regular expression to match against the class name of derived variables.
dkconfig_compile_timeout - Static variable in class SplitterFactory
Positive integer.
dkconfig_compiler - Static variable in class SplitterFactory
String.
dkconfig_confidence_limit - Static variable in class Invariant
Floating-point number between 0 and 1.
dkconfig_constant_fields_simplify - Static variable in class VarInfo
If true, the treat static constants (such as MapQuick.GeoPoint.FACTOR) as fields within an object rather than as a single name.
dkconfig_constant_fields_simplify - Static variable in class VarInfo
If true, the treat static constants (such as MapQuick.GeoPoint.FACTOR) as fields within an object rather than as a single name.
dkconfig_constant_infer - Static variable in class DaikonVariableInfo
Enable experimental techniques on static constants.
dkconfig_continue_after_file_exception - Static variable in class FileIO
Boolean.
dkconfig_continue_after_file_exception - Static variable in class FileIO
Boolean.
dkconfig_convert_to_signed - Static variable in class ProglangType
If true, treat 32 bit values whose high bit is on, as a negative number (rather than as a 32 bit unsigned).
dkconfig_convert_to_signed - Static variable in class ProglangType
If true, treat 32 bit values whose high bit is on, as a negative number (rather than as a 32 bit unsigned).
dkconfig_count_lines - Static variable in class FileIO
Boolean.
dkconfig_count_lines - Static variable in class FileIO
Boolean.
dkconfig_declared_type_comparability - Static variable in class VarInfo
If true, then variables are only considered comparable if they are declared with the same type.
dkconfig_declared_type_comparability - Static variable in class VarInfo
If true, then variables are only considered comparable if they are declared with the same type.
dkconfig_delete_splitters_on_exit - Static variable in class SplitterFactory
Boolean.
dkconfig_disable_derived_variables - Static variable in class Derivation
Boolean.
dkconfig_disable_splitting - Static variable in class Daikon
Boolean.
dkconfig_disable_splitting - Static variable in class Daikon
Boolean.
dkconfig_dtrace_line_count - Static variable in class FileIO
Long integer.
dkconfig_dtrace_line_count - Static variable in class FileIO
Long integer.
dkconfig_dummy_invariant_level - Static variable in class PptSplitter
Integer.
dkconfig_dummy_invariant_level - Static variable in class PptSplitter
Integer.
dkconfig_enable_floats - Static variable in class Daikon
Boolean.
dkconfig_enable_floats - Static variable in class Daikon
Boolean.
dkconfig_enable_object_user - Static variable in class PptRelation
Boolean.
dkconfig_enable_object_user - Static variable in class PptRelation
Boolean.
dkconfig_enabled - Static variable in class SequenceFloatIntersection
Boolean.
dkconfig_enabled - Static variable in class SequenceFloatSubscript
Boolean.
dkconfig_enabled - Static variable in class SequenceFloatSubsequence
Boolean.
dkconfig_enabled - Static variable in class SequenceFloatUnion
Boolean.
dkconfig_enabled - Static variable in class SequenceScalarIntersection
Boolean.
dkconfig_enabled - Static variable in class SequenceScalarSubscript
Boolean.
dkconfig_enabled - Static variable in class SequenceScalarSubsequence
Boolean.
dkconfig_enabled - Static variable in class SequenceScalarUnion
Boolean.
dkconfig_enabled - Static variable in class SequencesConcat
Boolean.
dkconfig_enabled - Static variable in class SequencesJoin
Boolean.
dkconfig_enabled - Static variable in class SequencesJoinFloat
Boolean.
dkconfig_enabled - Static variable in class SequencesPredicate
Boolean.
dkconfig_enabled - Static variable in class SequencesPredicateFloat
Boolean.
dkconfig_enabled - Static variable in class SequenceStringIntersection
Boolean.
dkconfig_enabled - Static variable in class SequenceStringSubscript
Boolean.
dkconfig_enabled - Static variable in class SequenceStringSubsequence
Boolean.
dkconfig_enabled - Static variable in class SequenceStringUnion
Boolean.
dkconfig_enabled - Static variable in class SequenceFloatArbitrarySubsequence
Boolean.
dkconfig_enabled - Static variable in class SequenceScalarArbitrarySubsequence
Boolean.
dkconfig_enabled - Static variable in class SequenceStringArbitrarySubsequence
Boolean.
dkconfig_enabled - Static variable in class SequenceInitial
Boolean.
dkconfig_enabled - Static variable in class SequenceInitialFloat
Boolean.
dkconfig_enabled - Static variable in class SequenceLength
Boolean.
dkconfig_enabled - Static variable in class SequenceMax
Boolean.
dkconfig_enabled - Static variable in class SequenceMin
Boolean.
dkconfig_enabled - Static variable in class SequenceSum
Boolean.
dkconfig_enabled - Static variable in class StringLength
Boolean.
dkconfig_enabled - Static variable in class Member
Boolean.
dkconfig_enabled - Static variable in class MemberFloat
Boolean.
dkconfig_enabled - Static variable in class SeqFloatEqual
Boolean.
dkconfig_enabled - Static variable in class SeqFloatGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class SeqFloatGreaterThan
Boolean.
dkconfig_enabled - Static variable in class SeqFloatLessEqual
Boolean.
dkconfig_enabled - Static variable in class SeqFloatLessThan
Boolean.
dkconfig_enabled - Static variable in class SeqIntEqual
Boolean.
dkconfig_enabled - Static variable in class SeqIntGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class SeqIntGreaterThan
Boolean.
dkconfig_enabled - Static variable in class SeqIntLessEqual
Boolean.
dkconfig_enabled - Static variable in class SeqIntLessThan
Boolean.
dkconfig_enabled - Static variable in class MemberString
Boolean.
dkconfig_enabled - Static variable in class FloatEqual
Boolean.
dkconfig_enabled - Static variable in class FloatGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class FloatGreaterThan
Boolean.
dkconfig_enabled - Static variable in class FloatLessEqual
Boolean.
dkconfig_enabled - Static variable in class FloatLessThan
Boolean.
dkconfig_enabled - Static variable in class FloatNonEqual
Boolean.
dkconfig_enabled - Static variable in class IntEqual
Boolean.
dkconfig_enabled - Static variable in class IntGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class IntGreaterThan
Boolean.
dkconfig_enabled - Static variable in class IntLessEqual
Boolean.
dkconfig_enabled - Static variable in class IntLessThan
Boolean.
dkconfig_enabled - Static variable in class IntNonEqual
Boolean.
dkconfig_enabled - Static variable in class LinearBinary
Boolean.
dkconfig_enabled - Static variable in class LinearBinaryFloat
Boolean.
dkconfig_enabled - Static variable in class NumericFloat.Divides
Boolean.
dkconfig_enabled - Static variable in class NumericFloat.Square
Boolean.
dkconfig_enabled - Static variable in class NumericFloat.ZeroTrack
Boolean.
dkconfig_enabled - Static variable in class NumericInt.BitwiseAndZero
Boolean.
dkconfig_enabled - Static variable in class NumericInt.BitwiseComplement
Boolean.
dkconfig_enabled - Static variable in class NumericInt.BitwiseSubset
Boolean.
dkconfig_enabled - Static variable in class NumericInt.Divides
Boolean.
dkconfig_enabled - Static variable in class NumericInt.ShiftZero
Boolean.
dkconfig_enabled - Static variable in class NumericInt.Square
Boolean.
dkconfig_enabled - Static variable in class NumericInt.ZeroTrack
Boolean.
dkconfig_enabled - Static variable in class PairwiseFloatEqual
Boolean.
dkconfig_enabled - Static variable in class PairwiseFloatGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class PairwiseFloatGreaterThan
Boolean.
dkconfig_enabled - Static variable in class PairwiseFloatLessEqual
Boolean.
dkconfig_enabled - Static variable in class PairwiseFloatLessThan
Boolean.
dkconfig_enabled - Static variable in class PairwiseIntEqual
Boolean.
dkconfig_enabled - Static variable in class PairwiseIntGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class PairwiseIntGreaterThan
Boolean.
dkconfig_enabled - Static variable in class PairwiseIntLessEqual
Boolean.
dkconfig_enabled - Static variable in class PairwiseIntLessThan
Boolean.
dkconfig_enabled - Static variable in class PairwiseLinearBinary
Boolean.
dkconfig_enabled - Static variable in class PairwiseLinearBinaryFloat
Boolean.
dkconfig_enabled - Static variable in class PairwiseNumericFloat.Divides
Boolean.
dkconfig_enabled - Static variable in class PairwiseNumericFloat.Square
Boolean.
dkconfig_enabled - Static variable in class PairwiseNumericFloat.ZeroTrack
Boolean.
dkconfig_enabled - Static variable in class PairwiseNumericInt.BitwiseAndZero
Boolean.
dkconfig_enabled - Static variable in class PairwiseNumericInt.BitwiseComplement
Boolean.
dkconfig_enabled - Static variable in class PairwiseNumericInt.BitwiseSubset
Boolean.
dkconfig_enabled - Static variable in class PairwiseNumericInt.Divides
Boolean.
dkconfig_enabled - Static variable in class PairwiseNumericInt.ShiftZero
Boolean.
dkconfig_enabled - Static variable in class PairwiseNumericInt.Square
Boolean.
dkconfig_enabled - Static variable in class PairwiseNumericInt.ZeroTrack
Boolean.
dkconfig_enabled - Static variable in class PairwiseString.SubString
Boolean.
dkconfig_enabled - Static variable in class PairwiseStringEqual
Boolean.
dkconfig_enabled - Static variable in class PairwiseStringGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class PairwiseStringGreaterThan
Boolean.
dkconfig_enabled - Static variable in class PairwiseStringLessEqual
Boolean.
dkconfig_enabled - Static variable in class PairwiseStringLessThan
Boolean.
dkconfig_enabled - Static variable in class Reverse
Boolean.
dkconfig_enabled - Static variable in class ReverseFloat
Boolean.
dkconfig_enabled - Static variable in class SeqSeqFloatEqual
Boolean.
dkconfig_enabled - Static variable in class SeqSeqFloatGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class SeqSeqFloatGreaterThan
Boolean.
dkconfig_enabled - Static variable in class SeqSeqFloatLessEqual
Boolean.
dkconfig_enabled - Static variable in class SeqSeqFloatLessThan
Boolean.
dkconfig_enabled - Static variable in class SeqSeqIntEqual
Boolean.
dkconfig_enabled - Static variable in class SeqSeqIntGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class SeqSeqIntGreaterThan
Boolean.
dkconfig_enabled - Static variable in class SeqSeqIntLessEqual
Boolean.
dkconfig_enabled - Static variable in class SeqSeqIntLessThan
Boolean.
dkconfig_enabled - Static variable in class SeqSeqStringEqual
Boolean.
dkconfig_enabled - Static variable in class SeqSeqStringGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class SeqSeqStringGreaterThan
Boolean.
dkconfig_enabled - Static variable in class SeqSeqStringLessEqual
Boolean.
dkconfig_enabled - Static variable in class SeqSeqStringLessThan
Boolean.
dkconfig_enabled - Static variable in class SubSequence
Boolean.
dkconfig_enabled - Static variable in class SubSequenceFloat
Boolean.
dkconfig_enabled - Static variable in class SubSet
Boolean.
dkconfig_enabled - Static variable in class SubSetFloat
Boolean.
dkconfig_enabled - Static variable in class SuperSequence
Boolean.
dkconfig_enabled - Static variable in class SuperSequenceFloat
Boolean.
dkconfig_enabled - Static variable in class SuperSet
Boolean.
dkconfig_enabled - Static variable in class SuperSetFloat
Boolean.
dkconfig_enabled - Static variable in class StdString.SubString
Boolean.
dkconfig_enabled - Static variable in class StringEqual
Boolean.
dkconfig_enabled - Static variable in class StringGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class StringGreaterThan
Boolean.
dkconfig_enabled - Static variable in class StringLessEqual
Boolean.
dkconfig_enabled - Static variable in class StringLessThan
Boolean.
dkconfig_enabled - Static variable in class StringNonEqual
Boolean.
dkconfig_enabled - Static variable in class DerivedParameterFilter
Boolean.
dkconfig_enabled - Static variable in class ObviousFilter
Boolean.
dkconfig_enabled - Static variable in class OnlyConstantVariablesFilter
Boolean.
dkconfig_enabled - Static variable in class ParentFilter
Boolean.
dkconfig_enabled - Static variable in class SimplifyFilter
Boolean.
dkconfig_enabled - Static variable in class UnjustifiedFilter
Boolean.
dkconfig_enabled - Static variable in class UnmodifiedVariableEqualityFilter
Boolean.
dkconfig_enabled - Static variable in class FunctionBinary
Boolean.
dkconfig_enabled - Static variable in class FunctionBinaryFloat
Boolean.
dkconfig_enabled - Static variable in class LinearTernary
Boolean.
dkconfig_enabled - Static variable in class LinearTernaryFloat
Boolean.
dkconfig_enabled - Static variable in class CompleteOneOfScalar
Boolean.
dkconfig_enabled - Static variable in class IsPointer
Boolean.
dkconfig_enabled - Static variable in class LowerBound
Boolean.
dkconfig_enabled - Static variable in class LowerBoundFloat
Boolean.
dkconfig_enabled - Static variable in class Modulus
Boolean.
dkconfig_enabled - Static variable in class NonModulus
Boolean.
dkconfig_enabled - Static variable in class NonZero
Boolean.
dkconfig_enabled - Static variable in class NonZeroFloat
Boolean.
dkconfig_enabled - Static variable in class OneOfFloat
Boolean.
dkconfig_enabled - Static variable in class OneOfScalar
Boolean.
dkconfig_enabled - Static variable in class Positive
Boolean.
dkconfig_enabled - Static variable in class RangeInt.Even
Boolean.
dkconfig_enabled - Static variable in class RangeInt.PowerOfTwo
Boolean.
dkconfig_enabled - Static variable in class UpperBound
Boolean.
dkconfig_enabled - Static variable in class UpperBoundFloat
Boolean.
dkconfig_enabled - Static variable in class CommonFloatSequence
Boolean.
dkconfig_enabled - Static variable in class CommonSequence
Boolean.
dkconfig_enabled - Static variable in class EltLowerBound
Boolean.
dkconfig_enabled - Static variable in class EltLowerBoundFloat
Boolean.
dkconfig_enabled - Static variable in class EltNonZero
Boolean.
dkconfig_enabled - Static variable in class EltNonZeroFloat
Boolean.
dkconfig_enabled - Static variable in class EltOneOf
Boolean.
dkconfig_enabled - Static variable in class EltOneOfFloat
Boolean.
dkconfig_enabled - Static variable in class EltRangeInt.Even
Boolean.
dkconfig_enabled - Static variable in class EltRangeInt.PowerOfTwo
Boolean.
dkconfig_enabled - Static variable in class EltUpperBound
Boolean.
dkconfig_enabled - Static variable in class EltUpperBoundFloat
Boolean.
dkconfig_enabled - Static variable in class EltwiseFloatEqual
Boolean.
dkconfig_enabled - Static variable in class EltwiseFloatGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class EltwiseFloatGreaterThan
Boolean.
dkconfig_enabled - Static variable in class EltwiseFloatLessEqual
Boolean.
dkconfig_enabled - Static variable in class EltwiseFloatLessThan
Boolean.
dkconfig_enabled - Static variable in class EltwiseIntEqual
Boolean.
dkconfig_enabled - Static variable in class EltwiseIntGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class EltwiseIntGreaterThan
Boolean.
dkconfig_enabled - Static variable in class EltwiseIntLessEqual
Boolean.
dkconfig_enabled - Static variable in class EltwiseIntLessThan
Boolean.
dkconfig_enabled - Static variable in class NoDuplicates
Boolean.
dkconfig_enabled - Static variable in class NoDuplicatesFloat
Boolean.
dkconfig_enabled - Static variable in class OneOfFloatSequence
Boolean.
dkconfig_enabled - Static variable in class OneOfSequence
Boolean.
dkconfig_enabled - Static variable in class SeqIndexFloatEqual
Boolean.
dkconfig_enabled - Static variable in class SeqIndexFloatGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class SeqIndexFloatGreaterThan
Boolean.
dkconfig_enabled - Static variable in class SeqIndexFloatLessEqual
Boolean.
dkconfig_enabled - Static variable in class SeqIndexFloatLessThan
Boolean.
dkconfig_enabled - Static variable in class SeqIndexFloatNonEqual
Boolean.
dkconfig_enabled - Static variable in class SeqIndexIntEqual
Boolean.
dkconfig_enabled - Static variable in class SeqIndexIntGreaterEqual
Boolean.
dkconfig_enabled - Static variable in class SeqIndexIntGreaterThan
Boolean.
dkconfig_enabled - Static variable in class SeqIndexIntLessEqual
Boolean.
dkconfig_enabled - Static variable in class SeqIndexIntLessThan
Boolean.
dkconfig_enabled - Static variable in class SeqIndexIntNonEqual
Boolean.
dkconfig_enabled - Static variable in class CompleteOneOfString
Boolean.
dkconfig_enabled - Static variable in class OneOfString
Boolean.
dkconfig_enabled - Static variable in class PrintableString
Boolean.
dkconfig_enabled - Static variable in class CommonStringSequence
Boolean.
dkconfig_enabled - Static variable in class EltOneOfString
Boolean.
dkconfig_enabled - Static variable in class OneOfStringSequence
Boolean.
dkconfig_enabled - Static variable in class NIS
Boolean.
dkconfig_fieldOnly - Static variable in class SequencesPredicate
Boolean.
dkconfig_fieldOnly - Static variable in class SequencesPredicateFloat
Boolean.
dkconfig_fuzzy_ratio - Static variable in class Invariant
Floating-point number between 0 and 0.1, representing the maximum relative difference between two floats for fuzzy comparisons.
dkconfig_granularity - Static variable in class ContextSplitterFactory
Enumeration (integer).
dkconfig_guardNulls - Static variable in class Daikon
If "always", then invariants are always guarded.
dkconfig_guardNulls - Static variable in class Daikon
If "always", then invariants are always guarded.
dkconfig_hashcode_seqs - Static variable in class CommonFloatSequence
Boolean.
dkconfig_hashcode_seqs - Static variable in class CommonSequence
Boolean.
dkconfig_hybrid_threshhold - Static variable in class NIS
Int.
dkconfig_ignore_missing_enter - Static variable in class FileIO
When true, just ignore exit ppts that don't have a matching enter ppt rather than exiting with an error.
dkconfig_ignore_missing_enter - Static variable in class FileIO
When true, just ignore exit ppts that don't have a matching enter ppt rather than exiting with an error.
dkconfig_integral_only - Static variable in class IntNonEqual
Boolean.
dkconfig_internal_check - Static variable in class Daikon
When true, perform detailed internal checking.
dkconfig_internal_check - Static variable in class Daikon
When true, perform detailed internal checking.
dkconfig_logDetail - Static variable in class Debug
Determines whether or not detailed info (such as from add_modified) is printed.
dkconfig_logDetail - Static variable in class Debug
Determines whether or not detailed info (such as from add_modified) is printed.
dkconfig_max_line_number - Static variable in class FileIO
Integer.
dkconfig_max_line_number - Static variable in class FileIO
Integer.
dkconfig_maximal_interesting - Static variable in class LowerBound
Long integer.
dkconfig_maximal_interesting - Static variable in class LowerBoundFloat
Long integer.
dkconfig_maximal_interesting - Static variable in class UpperBound
Long integer.
dkconfig_maximal_interesting - Static variable in class UpperBoundFloat
Long integer.
dkconfig_maximal_interesting - Static variable in class EltLowerBound
Long integer.
dkconfig_maximal_interesting - Static variable in class EltLowerBoundFloat
Long integer.
dkconfig_maximal_interesting - Static variable in class EltUpperBound
Long integer.
dkconfig_maximal_interesting - Static variable in class EltUpperBoundFloat
Long integer.
dkconfig_merge_basic_blocks - Static variable in class FileIO
If true, variables from basic blocks which predominate a basic block X will be included when X is processed.
dkconfig_merge_basic_blocks - Static variable in class FileIO
If true, variables from basic blocks which predominate a basic block X will be included when X is processed.
dkconfig_minimal_interesting - Static variable in class LowerBound
Long integer.
dkconfig_minimal_interesting - Static variable in class LowerBoundFloat
Long integer.
dkconfig_minimal_interesting - Static variable in class UpperBound
Long integer.
dkconfig_minimal_interesting - Static variable in class UpperBoundFloat
Long integer.
dkconfig_minimal_interesting - Static variable in class EltLowerBound
Long integer.
dkconfig_minimal_interesting - Static variable in class EltLowerBoundFloat
Long integer.
dkconfig_minimal_interesting - Static variable in class EltUpperBound
Long integer.
dkconfig_minimal_interesting - Static variable in class EltUpperBoundFloat
Long integer.
dkconfig_old_array_names - Static variable in class PrintInvariants
In the new decl format, print array names without as 'a[]' as opposed to 'a[..]'
dkconfig_old_array_names - Static variable in class PrintInvariants
In the new decl format, print array names without as 'a[]' as opposed to 'a[..]'
dkconfig_omit_hashcode_values_Simplify - Static variable in class OneOfScalar
Boolean.
dkconfig_omit_hashcode_values_Simplify - Static variable in class EltOneOf
Boolean.
dkconfig_omit_hashcode_values_Simplify - Static variable in class OneOfSequence
Boolean.
dkconfig_OneOf_only - Static variable in class DynamicConstants
Boolean.
dkconfig_OneOf_only - Static variable in class DynamicConstants
Boolean.
dkconfig_output_conditionals - Static variable in class Daikon
Boolean.
dkconfig_output_conditionals - Static variable in class Daikon
Boolean.
dkconfig_pairwise_implications - Static variable in class PptTopLevel
Boolean.
dkconfig_pairwise_implications - Static variable in class PptTopLevel
Boolean.
dkconfig_ppt_perc - Static variable in class Daikon
Integer.
dkconfig_ppt_perc - Static variable in class Daikon
Integer.
dkconfig_print_all - Static variable in class PrintInvariants
If true, print all invariants without any filtering.
dkconfig_print_all - Static variable in class PrintInvariants
If true, print all invariants without any filtering.
dkconfig_print_contradictions - Static variable in class LemmaStack
Boolean.
dkconfig_print_inv_class - Static variable in class PrintInvariants
Print invariant classname with invariants in output of format() method, normally used only for debugging output rather than ordinary printing of invariants.
dkconfig_print_inv_class - Static variable in class PrintInvariants
Print invariant classname with invariants in output of format() method, normally used only for debugging output rather than ordinary printing of invariants.
dkconfig_print_sample_totals - Static variable in class Daikon
Boolean.
dkconfig_print_sample_totals - Static variable in class Daikon
Boolean.
dkconfig_progress_delay - Static variable in class Daikon
The amount of time to wait between updates of the progress display, measured in milliseconds.
dkconfig_progress_delay - Static variable in class Daikon
The amount of time to wait between updates of the progress display, measured in milliseconds.
dkconfig_progress_display_width - Static variable in class Daikon
The number of columns of progress information to display.
dkconfig_progress_display_width - Static variable in class Daikon
The number of columns of progress information to display.
dkconfig_quiet - Static variable in class Daikon
Boolean.
dkconfig_quiet - Static variable in class Daikon
Boolean.
dkconfig_read_samples_only - Static variable in class FileIO
Boolean.
dkconfig_read_samples_only - Static variable in class FileIO
Boolean.
dkconfig_remove_contradictions - Static variable in class LemmaStack
Boolean.
dkconfig_remove_merged_invs - Static variable in class PptTopLevel
Remove invariants at lower program points when a matching invariant is created at a higher program point.
dkconfig_remove_merged_invs - Static variable in class PptTopLevel
Remove invariants at lower program points when a matching invariant is created at a higher program point.
dkconfig_remove_post_vars - Static variable in class PrintInvariants
If true, remove as many variables as possible that need to be indicated as 'post'.
dkconfig_remove_post_vars - Static variable in class PrintInvariants
If true, remove as many variables as possible that need to be indicated as 'post'.
dkconfig_replace_prestate - Static variable in class PrintInvariants
This option must be given with "--format Java" option.
dkconfig_replace_prestate - Static variable in class PrintInvariants
This option must be given with "--format Java" option.
dkconfig_rm_stack_dups - Static variable in class FileIO
If true, modified all ppt names to remove duplicate routine names within the ppt name.
dkconfig_rm_stack_dups - Static variable in class FileIO
If true, modified all ppt names to remove duplicate routine names within the ppt name.
dkconfig_rvars_file - Static variable in class PptCombined
If redundant variables are being computed, the results of the redundancy analysis are printed to this stream.
dkconfig_rvars_file - Static variable in class PptCombined
If redundant variables are being computed, the results of the redundancy analysis are printed to this stream.
dkconfig_SeqIndexDisableAll - Static variable in class SingleSequence
Boolean.
dkconfig_set_per_var - Static variable in class PptSliceEquality
If true, create one equality set for each variable.
dkconfig_set_per_var - Static variable in class PptSliceEquality
If true, create one equality set for each variable.
dkconfig_show_stack_trace - Static variable in class Daikon
If true, show stack traces for errors such as file format errors.
dkconfig_show_stack_trace - Static variable in class Daikon
If true, show stack traces for errors such as file format errors.
dkconfig_showTraceback - Static variable in class Debug
Determines whether or not traceback information is printed for each call to log.
dkconfig_showTraceback - Static variable in class Debug
Determines whether or not traceback information is printed for each call to log.
dkconfig_simplify_define_predicates - Static variable in class Invariant
A boolean value.
dkconfig_simplify_max_iterations - Static variable in class Session
A non-negative integer, representing the largest number of iterations for which Simplify should be allowed to run on any single conjecture before giving up.
dkconfig_simplify_timeout - Static variable in class Session
A non-negative integer, representing the longest time period (in seconds) Simplify should be allowed to run on any single conjecture before giving up.
dkconfig_size - Static variable in class OneOfFloat
Positive integer.
dkconfig_size - Static variable in class OneOfScalar
Positive integer.
dkconfig_size - Static variable in class EltOneOf
Positive integer.
dkconfig_size - Static variable in class EltOneOfFloat
Positive integer.
dkconfig_size - Static variable in class OneOfFloatSequence
Positive integer.
dkconfig_size - Static variable in class OneOfSequence
Positive integer.
dkconfig_size - Static variable in class OneOfString
Positive integer.
dkconfig_size - Static variable in class EltOneOfString
Positive integer.
dkconfig_size - Static variable in class OneOfStringSequence
Positive integer.
dkconfig_skip_hashcode_type - Static variable in class NIS
Boolean.
dkconfig_split_bi_implications - Static variable in class PptSplitter
Split bi-implications into two separate invariants.
dkconfig_split_bi_implications - Static variable in class PptSplitter
Split bi-implications into two separate invariants.
dkconfig_static_const_infer - Static variable in class PrintInvariants
This enables a different way of treating static constant variables.
dkconfig_static_const_infer - Static variable in class PrintInvariants
This enables a different way of treating static constant variables.
dkconfig_suppression_processor - Static variable in class NIS
Specifies the algorithm that NIS uses to process suppressions.
dkconfig_suppressor_list - Static variable in class NIS
Boolean.
dkconfig_suppressSplitterErrors - Static variable in class Daikon
When true compilation errors during splitter file generation will not be reported to the user.
dkconfig_suppressSplitterErrors - Static variable in class Daikon
When true compilation errors during splitter file generation will not be reported to the user.
dkconfig_synchronous_errors - Static variable in class LemmaStack
Boolean.
dkconfig_trace_input - Static variable in class Session
Boolean.
dkconfig_true_inv_cnt - Static variable in class PrintInvariants
If true, print the total number of true invariants.
dkconfig_true_inv_cnt - Static variable in class PrintInvariants
If true, print the total number of true invariants.
dkconfig_undo_opts - Static variable in class Daikon
Boolean.
dkconfig_undo_opts - Static variable in class Daikon
Boolean.
dkconfig_unmatched_procedure_entries_quiet - Static variable in class FileIO
Boolean.
dkconfig_unmatched_procedure_entries_quiet - Static variable in class FileIO
Boolean.
dkconfig_use_dynamic_constant_optimization - Static variable in class Daikon
Whether to use the dynamic constants optimization.
dkconfig_use_dynamic_constant_optimization - Static variable in class Daikon
Whether to use the dynamic constants optimization.
dkconfig_verbose_progress - Static variable in class Session
Positive values mean to print extra indications as each candidate invariant is passed to Simplify during the --suppress_redundant check.
dkconfig_verbose_unmatched_procedure_entries - Static variable in class FileIO
Boolean.
dkconfig_verbose_unmatched_procedure_entries - Static variable in class FileIO
Boolean.
DO - Static variable in interface CParserConstants
 
DO - Static variable in interface JavaParserConstants
 
DO_DIFFS - Static variable in class TraceSelect
 
do_stack_ver(MethodGen) - Method in class StackVer
Implements the pass 3b data flow analysis as described in the Java Virtual Machine Specification, Second Edition.
dominators(Map<T, List<T>>) - Static method in class GraphMDE
Computes, for each node in the graph, its set of (pre-)dominators.
Done() - Static method in class ASCII_CharStream
 
Done() - Method in class JavaCharStream
 
dontProcessPpts() - Static method in class Runtime
 
doPurity() - Static method in class Chicory
Return true iff argument was given to run a purity analysis Only run after running parse_args
doPurity() - Static method in class Chicory
Return true iff argument was given to run a purity analysis Only run after running parse_args
DoStatement() - Method in class JavaParser
 
DoStatement - Class in jtb.syntaxtree
Grammar production: f0 -> "do" f1 -> Statement() f2 -> "while" f3 -> "(" f4 -> Expression() f5 -> ")" f6 -> ";"
DoStatement(NodeToken, Statement, NodeToken, NodeToken, Expression, NodeToken, NodeToken) - Constructor for class DoStatement
 
DoStatement(Statement, Expression) - Constructor for class DoStatement
 
DOT - Static variable in interface JavaParserConstants
 
DOUBLE - Static variable in class ProglangType
 
DOUBLE - Static variable in class ProglangType
 
DOUBLE - Static variable in interface CParserConstants
 
DOUBLE - Static variable in interface JavaParserConstants
 
DOUBLE_ARRAY - Static variable in class ProglangType
 
DOUBLE_ARRAY - Static variable in class ProglangType
 
Double_valueOf(double) - Static method in class DCRuntime
DF of result is equal to DF of argument
doubleArrays() - Static method in class Intern
 
doubles() - Static method in class Intern
 
dry_run - Variable in class MultiVersionControl
 
DSForest - Class in daikon.asm
Implements a partition of distinct elements into disjoint sets.
DSForest() - Constructor for class DSForest
 
DSForestTest - Class in daikon.test
 
DSForestTest() - Constructor for class DSForestTest
 
dtrace - Variable in class Daikon.FileOptions
 
dtrace - Variable in class Daikon.FileOptions
 
dtrace - Static variable in class Runtime
 
dtrace - Static variable in class Runtime
 
dtrace_closed - Static variable in class Runtime
 
dtrace_closed - Static variable in class Runtime
 
dtrace_file - Static variable in class Chicory
 
dtrace_file - Static variable in class Chicory
 
dtrace_files - Static variable in class InvariantChecker
 
DtraceConvert - Class in daikon.tools
This tool converts between the textual and binary Daikon file formats.
DtraceConvert() - Constructor for class DtraceConvert
 
DtraceDiff - Class in daikon.tools
This tool is used to find the differences between two dtrace files based on analysis of the files' content, rather than a straight textual comparison.
DtraceDiff() - Constructor for class DtraceDiff
 
dtraceDiff(Set<File>, String, Set<File>, String) - Static method in class DtraceDiff
 
DtraceDiff.DiffError - Error in daikon.tools
Exception thrown for diffs.
DtraceDiff.DiffError(String) - Constructor for error DtraceDiff.DiffError
 
DtraceDiffTester - Class in daikon.test
 
DtraceDiffTester(String) - Constructor for class DtraceDiffTester
 
dtraceLimit - Static variable in class Runtime
 
dtraceLimit - Static variable in class Runtime
 
dtraceLimitTerminate - Static variable in class Runtime
 
dtraceLimitTerminate - Static variable in class Runtime
 
DtraceNonceFixer - Class in daikon.tools
This tool fixes a Dtrace file whose invocation nonces became inaccurate as a result of a "cat" command combining multiple dtrace files.
DtraceNonceFixer() - Constructor for class DtraceNonceFixer
 
DtracePartitioner - Class in daikon.tools
This class partitions Daikon trace files so that invocations of the same program point are grouped together for use with random selection.
DtracePartitioner(String) - Constructor for class DtracePartitioner
 
DTraceReader - Class in daikon.chicory
Reads dtrace files and provides methods to access the information within them.
DTraceReader() - Constructor for class DTraceReader
 
dtraceShouldPrint - Variable in class DaikonVariableInfo
True iff the DTraceWriter should print this variable
dTraceShouldPrint() - Method in class DaikonVariableInfo
Return true iff the DTraceWriter should print this node.
dtraceShouldPrintChildren - Variable in class DaikonVariableInfo
True iff the DTraceWriter should print the children of this variable
dTraceShouldPrintChildren() - Method in class DaikonVariableInfo
 
DTraceWriter - Class in daikon.chicory
DTraceWriter writes .dtrace program points to an output stream.
DTraceWriter(PrintStream) - Constructor for class DTraceWriter
Initializes the DTraceWriter
dtraceWriter - Static variable in class Global
 
dtraceWriter - Static variable in class Global
 
dummyDesired - Variable in class SplitterObject
 
DummyInvariant - Class in daikon.inv
This is a special invariant used internally by Daikon to represent invariants whose meaning Daikon doesn't understand.
DummyInvariant(PptSlice) - Constructor for class DummyInvariant
 
DummyInvariant() - Constructor for class DummyInvariant
 
dummyInvariant() - Method in class PptConditional
 
dummyInvariant() - Method in class PptConditional
 
dump(PrintStream) - Method in class ClassInfo
dumps all of the class info to the specified stream
dump() - Method in class PptCombined
Dumps out the basic blocks that make up this combined ppt
dump(List<PptTopLevel>) - Static method in class PptCombined
Dumps out the basic blocks in the list
dump() - Method in class PptCombined
Dumps out the basic blocks that make up this combined ppt
dump(List<PptTopLevel>) - Static method in class PptCombined
Dumps out the basic blocks in the list
dump() - Method in class StackOffsets.StackInfo
 
dump() - Method in class StackOffsets.StackInfo
 
dump(Logger) - Static method in class NIS
Dump out the suppressor map.
dump(JavaClass, String) - Static method in class BCELUtil
 
dump(JavaClass, File) - Static method in class BCELUtil
Dumps the contents of the specified class to the specified directory.
dump_class_tree - Variable in class InvariantDoclet
 
dump_data() - Method in class DTraceReader
Dumps out each record of data for each ppt and variable
dump_decl() - Method in class DeclReader
 
dump_dtrace - Static variable in class DeclReader
 
dump_stats(Logger, PptTopLevel) - Static method in class NIS
dump statistics on NIS to the specified logger
dumpLemmas(PrintStream) - Method in class LemmaStack
Dump the state of the stack to a file, for debugging manually in Simplify.
dup() - Static method in class DCRuntime
Handles a dup opcode on a primitive
dup2() - Static method in class DCRuntime
 
dup2_x1() - Static method in class DCRuntime
 
dup2_x2() - Static method in class DCRuntime
 
dup_obj_tag_val(Object) - Static method in class DCRuntime
Determines the values associated with the object and pushes a new tag on the tag stack that refers to those same values.
dup_x1() - Static method in class DCRuntime
Handles a dup_x1 opcode on a primitive
dup_x2() - Static method in class DCRuntime
Handles a dup_x2 opcode on a primitive.
dups - Static variable in class WSMatch
Set of variables that are duplicates of an input variable
DynamicConstants - Class in daikon
Class that implements dynamic constants optimization.
DynamicConstants - Class in daikon
Class that implements dynamic constants optimization.
DynamicConstants(PptTopLevel) - Constructor for class DynamicConstants
Create an initial list of constants and missing variables for the specified ppt.
DynamicConstants(PptTopLevel) - Constructor for class DynamicConstants
Create an initial list of constants and missing variables for the specified ppt.
DynamicConstants.ConIndexComparator - Class in daikon
Compares two constants based on the vi_index of their variable.
DynamicConstants.ConIndexComparator - Class in daikon
Compares two constants based on the vi_index of their variable.
DynamicConstants.Constant - Class in daikon
Class used to indicate, for each variable, whether it is constant (see boolean field "constant").
DynamicConstants.Constant - Class in daikon
Class used to indicate, for each variable, whether it is constant (see boolean field "constant").
DynamicConstants.Constant(VarInfo) - Constructor for class DynamicConstants.Constant
 
DynamicConstants.Constant(VarInfo) - Constructor for class DynamicConstants.Constant
 
DynComp - Class in daikon
This is the main class for DynComp.
DynComp - Class in daikon
This is the main class for DynComp.
DynComp() - Constructor for class DynComp
 
DynComp() - Constructor for class DynComp
 

E

elapsed() - Static method in class Chicory
Returns elapsed time as a String since the start of the program
elapsed() - Static method in class Chicory
Returns elapsed time as a String since the start of the program
elapsed() - Static method in class DynComp
Returns elapsed time as a String since the start of the program
elapsed() - Static method in class DynComp
Returns elapsed time as a String since the start of the program
elapsed_msecs() - Static method in class Chicory
 
elapsed_msecs() - Static method in class Chicory
 
elapsed_msecs() - Static method in class DynComp
 
elapsed_msecs() - Static method in class DynComp
 
elapsedMillis() - Method in class Stopwatch
 
elapsedSeconds() - Method in class Stopwatch
 
elem_cnt() - Method in class ValueSet.ValueSetFloatArray
 
elem_cnt() - Method in class ValueSet.ValueSetScalarArray
 
elem_cnt() - Method in class ValueSet.ValueSetStringArray
 
element_range(int[]) - Static method in class ArraysMDE
Return the difference between the smallest and largest array elements.
element_range(long[]) - Static method in class ArraysMDE
Return the difference between the smallest and largest array elements.
element_wise() - Static method in enum Quantify.QuantFlags
set with just ELEMENT_WISE turned on
element_wise() - Static method in enum Quantify.QuantFlags
set with just ELEMENT_WISE turned on
elementAt(int) - Method in class NodeList
 
elementAt(int) - Method in interface NodeListInterface
 
elementAt(int) - Method in class NodeListOptional
 
elementAt(int) - Method in class NodeSequence
 
elementAt(int) - Method in class NodeList
 
elementAt(int) - Method in interface NodeListInterface
 
elementAt(int) - Method in class NodeListOptional
 
elementAt(int) - Method in class NodeSequence
 
elementIsFloat() - Method in class ProglangType
 
elementIsFloat() - Method in class ProglangType
 
elementIsIntegral() - Method in class ProglangType
 
elementIsIntegral() - Method in class ProglangType
 
elementIsString() - Method in class ProglangType
 
elementIsString() - Method in class ProglangType
 
elements() - Method in class NodeList
 
elements() - Method in interface NodeListInterface
 
elements() - Method in class NodeListOptional
 
elements() - Method in class NodeSequence