Serialized Form

Package daikon

Class Daikon.BugInDaikon extends Daikon.DaikonTerminationException implements Serializable

serialVersionUID:

20180729L

Class Daikon.DaikonTerminationException extends RuntimeException implements Serializable

serialVersionUID:

20180729L

Class Daikon.NormalTermination extends Daikon.DaikonTerminationException implements Serializable

serialVersionUID:

20180729L

Class Daikon.ParseError extends Exception implements Serializable

serialVersionUID:

20181021L

Class Daikon.UserError extends Daikon.DaikonTerminationException implements Serializable

serialVersionUID:

20050923L

Class DynamicConstants extends Object implements Serializable

serialVersionUID:

20040401L

Serialized Fields

all_list

List<DynamicConstants.Constant> all_list

List of all variables. Some may be non-constant.

all_vars

DynamicConstants.Constant[] all_vars

Array of all variables. Some may be non-constant.

con_list

List<DynamicConstants.Constant> con_list

List of dynamic constants.

Each element, c, has c.constant = true, c.count > 0, elt.val != null.

missing_list

List<DynamicConstants.Constant> missing_list

List of variables that have always been missing.

For each element c, c.always_missing = true or con.vi.missingOutOfBounds().

ppt

PptTopLevel ppt

Program point of these constants.

sample_cnt

int sample_cnt

Number of samples received.

Class DynamicConstants.ConIndexComparator extends Object implements Serializable

serialVersionUID:

20050923L

Class DynamicConstants.Constant extends Object implements Serializable

serialVersionUID:

20030913L

Serialized Fields

always_missing

boolean always_missing

Whether or not this has been missing for every sample to date.

constant

boolean constant

Whether or not this is constant.

count

int count

The sample count of the constant.

previous_missing

boolean previous_missing

Whether or not this was always missing at the beginning of this sample. At the beginning of the add() method, all newly non missing variables are marked (always_missing=false). It is sometimes useful within the remainder of processing that sample to know that a variable was missing at the beginning. The field previous_missing set to true when missing is set to false, and then is itself set to false at the end of the add() method.

previously_constant

boolean previously_constant

Whether or not this was constant at the beginning of this sample. At the beginning of the add() method, all newly non-constant variables are marked (constant=false). It is sometimes useful within the remainder of processing that sample to know that a variable was constant at the beginning. The field previously_constant is set to true when constant is set to false, and then is itself set to false at the end of the add() method.

val

@MonotonicNonNull @Interned Object val

The value of the constant, or the previous constant value if constant==false and previously_constant==true. Null iff count=0.

vi

VarInfo vi

The variable that has this value.

Class FileIO.ParentRelation extends Object implements Serializable

serialVersionUID:

20060622L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Intern the ppt name.

Throws:

IOException - if there is a problem reading the stream

ClassNotFoundException - if a class cannot be loaded

Serialized Fields

id

int id

parent_ppt_name

@Interned String parent_ppt_name

rel_type

PptRelation.PptRelationType rel_type

Class FileIO.VarDefinition extends Object implements Serializable

serialVersionUID:

20060524L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Restore interned strings.

Throws:

IOException

ClassNotFoundException

Serialized Fields

arr_dims

int arr_dims

Number of array dimensions (0 or 1).

comparability

VarComparability comparability

Comparability of this variable (required.

declared_type

ProglangType declared_type

Declared type of the variable as an arbitrary string (required)

enclosing_var_name

@Nullable String enclosing_var_name

Name of variable that contains this variable (optional)

flags

EnumSet<VarInfo.VarFlags> flags

Variable flags (optional)

function_args

@Nullable List<String> function_args

Non-null iff (vardef.kind == VarKind.FUNCTION). The arguments that were used to create this function application.

kind

VarInfo.VarKind kind

Type of the variable (required).

lang_flags

EnumSet<VarInfo.LangFlags> lang_flags

Language specific variable flags (optional)

max_length

@Nullable Integer max_length

Non-null if it is statically known that the array will have up to this many elements.

max_value

@Nullable String max_value

Non-null if it is statically known that the value of the variable will be always less than or equal to this value.

min_length

@Nullable Integer min_length

Non-null if it is statically known that the array will have at least this many elements.

min_value

@Nullable String min_value

Non-null if it is statically known that the value of the variable will be always greater than or equal to this value.

name

String name

Name of the variable (required).

parents

List<VarParent> parents

Parent program points in ppt hierarchy (optional)

ref_type

VarInfo.RefType ref_type

Type of reference for structure/class variables.

relative_name

@Nullable String relative_name

the simple (not fully specified) name of this variable (optional)

rep_type

ProglangType rep_type

The type of the variable as stored in the dtrace file (required)

static_constant_value

@Nullable @Interned Object static_constant_value

Non-null if this 'variable' always has the same value (optional)

valid_values

@Nullable String valid_values

Non-null if the set of valid values for the variable is statically known.

Class ModBitTracker extends Object implements Serializable

serialVersionUID:

20031014L

Serialized Fields

index

int[] index

Conceptually, there is a BitSet per variable. In actuality, when two different variables have the same modbits, they can share a single BitSet; we say the variables are in an equivalence set. "index" indicates, for each variable, which BitSet it should use; it is the identifier of the variable's equivalence set.

modbits_arrays

@Nullable BitSet[] modbits_arrays

The BitSets themselves.

num_samples

int num_samples

The size of each BitSet in modbits_arrays.

num_sets

int num_sets

The number of BitSets (equivalence sets) in use. All elements of modbits_arrays before this index are non-null, and all elements at or past this index are null.

num_vars

int num_vars

The maximum number of BitSets; the size of modbits_arrays.

this_bits

boolean[] this_bits

The bits for this ValueTuple (indexed by equivalence set.

this_bits_exception_index

int[] this_bits_exception_index

The equivalence set for when an equivalence set is split: if a variable has a conflicting bit, then it goes to the specified index instead.

this_bits_valid

boolean[] this_bits_valid

True if the corresponding element of this_bits has a valid value.

Class Ppt extends Object implements Serializable

serialVersionUID:

20040914L

Serialized Fields

var_infos

VarInfo[] var_infos

Class PptConditional extends PptTopLevel implements Serializable

serialVersionUID:

20041216L

Serialized Fields

parent

PptTopLevel parent

splitter_inverse

boolean splitter_inverse

Class PptMap extends Object implements Serializable

serialVersionUID:

20040921L

Serialized Fields

nameToPpt

Map<String,PptTopLevel> nameToPpt

The map that represents this PptMap.

Class PptName extends Object implements Serializable

serialVersionUID:

20020122L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

cls

@Nullable @Interned String cls

Fully-qualified class name.

fn_name

@Interned String fn_name

The part of fullname before ":::"

fullname

@Interned String fullname

Full program point name.

method

@Nullable @Interned String method

Method signature, including types.

point

@Interned String point

Post-separator (separator is ":::")

Class PptRelation extends Object implements Serializable

serialVersionUID:

20030819L

Serialized Fields

child

PptTopLevel child

Child of relation.

child_to_parent_map

Map<VarInfo,VarInfo> child_to_parent_map

Map from child vars to matching parent vars.

parent

PptTopLevel parent

Parent of relation.

parent_to_child_map

Map<VarInfo,VarInfo> parent_to_child_map

Map from parent vars to matching child vars.

relationship

PptRelation.PptRelationType relationship

Description of type of parent-child relationship (debug output only).

Class PptSlice extends Ppt implements Serializable

serialVersionUID:

20040921L

Serialized Fields

invs

List<Invariant> invs

The invariants contained in this slice. This should not be used directly, in general. In particular, subclasses such as PptSlice0 need to synchronize it with other values. Therefore, it should be manipulated via PptSlice.addInvariant(daikon.inv.Invariant) and PptSlice.removeInvariant(daikon.inv.Invariant).

parent

PptTopLevel parent

This is a slice of the 'parent' ppt.

Class PptSlice0 extends PptSlice implements Serializable

serialVersionUID:

20020122L

Class PptSlice1 extends PptSlice implements Serializable

serialVersionUID:

20040921L

Class PptSlice2 extends PptSlice implements Serializable

serialVersionUID:

20040921L

Class PptSlice3 extends PptSlice implements Serializable

serialVersionUID:

20040921L

Class PptSliceEquality extends PptSlice implements Serializable

serialVersionUID:

20021231L

Class PptTopLevel extends Ppt implements Serializable

serialVersionUID:

20071129L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Restore/Create interns when reading serialized object.

Throws:

IOException

ClassNotFoundException

Serialized Fields

children

List<PptRelation> children

All children relations in the variable/ppt hierarchy.

constants

@MonotonicNonNull DynamicConstants constants

List of constant variables. Null unless DynamicConstants.dkconfig_use_dynamic_constant_optimization is set.

equality_view

@MonotonicNonNull PptSliceEquality equality_view

Holds Equality invariants. Never null after invariants are instantiated.

flags

EnumSet<PptTopLevel.PptFlags> flags

Attributes of this ppt.

in_merge

boolean in_merge

instantiated_inv_cnt

int instantiated_inv_cnt

Number of invariants after equality set processing for the last sample.

instantiated_slice_cnt

int instantiated_slice_cnt

Number of slices after equality set processing for the last sample.

invariants_merged

boolean invariants_merged

Flag that indicates whether or not invariants have been merged from all of this ppts children to form the invariants here. Necessary because a ppt can have multiple parents and otherwise we'd needlessly merge multiple times.

invariants_removed

boolean invariants_removed

Flag that indicates whether or not invariants that are duplicated at the parent have been removed..

joiner_view

PptSlice0 joiner_view

Contains invariants that represent a "joining" of two others: implications, and, or, etc.

mbtracker

ModBitTracker mbtracker

Keep track of which variables are valid (not missing) on each sample.

name

String name

num_declvars

int num_declvars

num_orig_vars

int num_orig_vars

num_static_constant_vars

int num_static_constant_vars

num_tracevars

int num_tracevars

paramVars

@MonotonicNonNull Set<VarInfo> paramVars

Cached VarInfos that are parameter variables.

parent_relations

List<FileIO.ParentRelation> parent_relations

List of parent relations in the variable/ppt hierarchy as specified in the declaration record. These are used to build the detailed parents/children lists of PptRelation above.

parents

List<PptRelation> parents

All parent relations in the variable/ppt hierarchy.

ppt_name

PptName ppt_name

redundant_invs

Set<Invariant> redundant_invs

Redundant invariants, except for Equality invariants.

redundant_invs_equality

Set<VarInfo> redundant_invs_equality

The canonical VarInfo for the equality.

splitters

@MonotonicNonNull ArrayList<PptSplitter> splitters

List of all of the splitters for this ppt.

type

PptTopLevel.PptType type

Type of this program point.

value_sets

ValueSet[] value_sets

Keep track of values we have seen for each variable.

values_num_samples

int values_num_samples

views

Map<List<Integer>,PptSlice> views

All the Views (that is, slices) on this are stored as values in the HashMap. Indexed by a Arrays.asList array list of Integers holding varinfo_index values.

For a client to access this private variable, it should use PptTopLevel.viewsAsCollection(), PptTopLevel.views_iterable(), or PptTopLevel.views_iterator().

Class ProglangType extends Object implements Serializable

serialVersionUID:

20020122L

Serialization Methods

readResolve

public Object readResolve()
                   throws ObjectStreamException

For serialization; indicates which object to return instead of the one that was just read from the file. This obviates the need to write a readObject method that interns the interned fields (just "base").

Throws:

ObjectStreamException

Serialized Fields

base

@Interned String base

dimensions

int dimensions

Number of dimensions. Zero for a non-array.

Class VarComparabilityImplicit extends VarComparability implements Serializable

serialVersionUID:

20020122L

Serialized Fields

base

int base

The number that indicates which comparable set the VarInfo belongs to.

cached_element_type

@MonotonicNonNull VarComparabilityImplicit cached_element_type

dimensions

int dimensions

Indicates how many of the indices are in use; there may be more indices than this.

indexTypes

VarComparabilityImplicit @Nullable [] indexTypes

indexTypes[0] is comparability of the first index of this array.

Class VarComparabilityNone extends VarComparability implements Serializable

serialVersionUID:

20020122L

Class VarInfo extends Object implements Serializable

serialVersionUID:

20060815L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

arr_dims

int arr_dims

Number of array dimensions (0 or 1).

aux

VarInfoAux aux

Auxiliary info.

canBeMissing

boolean canBeMissing

True if a missing/nonsensical value was ever observed for this variable. This starts out false and is set dynamically, while reading the trace file.

comparability

VarComparability comparability

Comparability info.

derived

@MonotonicNonNull Derivation derived

Whether and how derived. Null if this is not derived.

derivedParamCached

@Nullable VarInfo derivedParamCached

Cached value for getDerivedParam().

enclosing_var

@Nullable VarInfo enclosing_var

For documentation, see VarInfo.get_enclosing_var(). Null if no variable encloses this one -- that is, this is not a field of another variable, nor a "method call" like tostring or class.

equalitySet

Equality equalitySet

Which equality group this belongs to. Replaces equal_to. Never null after this is put inside equalitySet.

file_rep_type

ProglangType file_rep_type

Type as written in the data trace file -- i.e., it is the source variable type mapped into the set of basic types recognized by Daikon. In particular, it includes boolean and hashcode (pointer). This is the type that is normally used when determining if an invariant is applicable to a variable. For example, the less-than invariant is not applicable to booleans or hashcodes, but is applicable to integers (of various sizes) and floats. (In the variable name, "rep" stands for "representation".)

function_args

@MonotonicNonNull List<VarInfo> function_args

The arguments that were used to create this function application. Null if this variable is not a function application.

is_static_constant

boolean is_static_constant

Invariants:
is_static_constant == (value_index == -1);
is_static_constant == (static_constant_value != null).

isDerivedParamAndUninterestingCached

@MonotonicNonNull Boolean isDerivedParamAndUninterestingCached

isDerivedParamCached

@MonotonicNonNull Boolean isDerivedParamCached

Cached value for isDerivedParam().

lang_flags

EnumSet<VarInfo.LangFlags> lang_flags

parents

List<VarParent> parents

Parent program points in ppt hierarchy (optional)

postState

@Nullable VarInfo postState

non-null if this is an orig() variable.

Do not test equality! Only use its .name slot.

ppt

PptTopLevel ppt

The program point this variable is in. Is null until set by PptTopLevel.init_vars() and PptTopLevel.addVarInfos(daikon.VarInfo[]).

ref_type

@Nullable VarInfo.RefType ref_type

relative_name

@Nullable String relative_name

The relative name of this variable with respect to its enclosing variable. Field name for fields, method name for instance methods.

rep_type

ProglangType rep_type

Type as internally stored by Daikon. It contains less information than file_rep_type (for example, boolean and hashcode are both stored as integers). (In the variable name, "rep" stands for "representation".)

See Also:

ProglangType.fileTypeToRepType()

sequenceSize

VarInfo sequenceSize

Cached value for sequenceSize()

static_constant_value

@Nullable @Interned Object static_constant_value

Null if not statically constant.

str_name

@Interned String str_name

Name as specified in the program point declaration. VarInfoName sometimes changes this name as part of parsing so that VarInfoName.name() doesn't return the original name.

type

ProglangType type

Type as declared in the target program. This is seldom used within Daikon as these types vary with program language and the like. It's here more for information than anything else.

value_index

int value_index

The index in a ValueTuple (more generally, in a list of values). It can differ from varinfo_index due to constants (and possibly other factors). It is -1 iff is_static_constant or not yet set.

var_flags

EnumSet<VarInfo.VarFlags> var_flags

var_info_name

VarInfoName var_info_name

Name. Do not compare names of invariants from different program points, because two different program points could contain unrelated variables named "x".

var_kind

VarInfo.VarKind var_kind

vardef

FileIO.VarDefinition vardef

varinfo_index

int varinfo_index

The index in lists of VarInfo objects.

Class VarInfo.IndexComparator extends Object implements Serializable

serialVersionUID:

20050923L

Class VarInfoAux extends Object implements Serializable

serialVersionUID:

20020614L

Serialization Methods

readResolve

private @Interned Object readResolve()
                              throws ObjectStreamException

Special handler for deserialization.

Throws:

ObjectStreamException

Serialized Fields

isInterned

boolean isInterned

Whether this is interned.

map

Map<@Interned String,@Interned String> map

Contains the actual hashMap for this.

Class VarInfoName extends Object implements Serializable

serialVersionUID:

20020614L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

dbc_name_cached

@Interned String dbc_name_cached

esc_name_cached

@Interned String esc_name_cached

identifier_name_cached

@Interned String identifier_name_cached

java_name_cached

@Interned String java_name_cached

jml_name_cached

@Interned String jml_name_cached

name_cached

@Interned String name_cached

repr_cached

String repr_cached

The cached output of VarInfoName.repr_impl(), or null.

simplify_name_cached

@Interned String[] simplify_name_cached

Class VarInfoName.Add extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

amount

int amount

term

VarInfoName term

Class VarInfoName.Elements extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

term

VarInfoName term

Class VarInfoName.Field extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

field

String field

term

VarInfoName term

Class VarInfoName.FunctionOf extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

argument

VarInfoName argument

function

String function

Class VarInfoName.FunctionOfN extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

args

List<VarInfoName> args

The parameters.

function

String function

The function being invoked.

Class VarInfoName.Intersection extends VarInfoName.FunctionOfN implements Serializable

serialVersionUID:

20020130L

Class VarInfoName.Poststate extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

term

VarInfoName term

Class VarInfoName.Prestate extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

term

VarInfoName term

Class VarInfoName.QuantHelper.FreeVar extends VarInfoName.Simple implements Serializable

serialVersionUID:

20020130L

Class VarInfoName.Simple extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

name

String name

Class VarInfoName.SizeOf extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

sequence

VarInfoName sequence

Class VarInfoName.Slice extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

i

VarInfoName i

j

VarInfoName j

sequence

VarInfoName.Elements sequence

Class VarInfoName.Subscript extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

index

VarInfoName index

sequence

VarInfoName.Elements sequence

Class VarInfoName.TypeOf extends VarInfoName implements Serializable

serialVersionUID:

20020130L

Serialized Fields

term

VarInfoName term

Class VarInfoName.Union extends VarInfoName.FunctionOfN implements Serializable

serialVersionUID:

20020130L

Class VarParent extends Object implements Serializable

serialVersionUID:

20130425L

Serialized Fields

parent_ppt

String parent_ppt

Parent ppt for this variable.

parent_relation_id

int parent_relation_id

Parent ppt relation id.

parent_variable

@Nullable String parent_variable

Parent variable (within parent_ppt) (if any)

Package daikon.chicory

Class Runtime.TerminationMessage extends RuntimeException implements Serializable

serialVersionUID:

20050923L

Package daikon.config

Class Configuration extends Object implements Serializable

serialVersionUID:

20020122L

Serialized Fields

statements

List<String> statements

The statements that set the configuration.

Class Configuration.ConfigException extends RuntimeException implements Serializable

serialVersionUID:

20020130L

Package daikon.derive

Class Derivation extends Object implements Serializable

serialVersionUID:

20020122L

Serialized Fields

missing_array_bounds

boolean missing_array_bounds

this_var_info

@MonotonicNonNull VarInfo this_var_info

Package daikon.derive.binary

Class BinaryDerivation extends Derivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

base1

VarInfo base1

Original variable 1.

base2

VarInfo base2

Original variable 2.

Class SequenceFloatIntersection extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Class SequenceFloatSubscript extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

index_shift

int index_shift

Class SequenceFloatSubsequence extends SequenceSubsequence implements Serializable

serialVersionUID:

20020801L

Class SequenceFloatUnion extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Class SequenceScalarIntersection extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Class SequenceScalarSubscript extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

index_shift

int index_shift

Class SequenceScalarSubsequence extends SequenceSubsequence implements Serializable

serialVersionUID:

20020801L

Class SequenceScalarUnion extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Class SequencesConcat extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Class SequencesJoin extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Class SequencesJoinFloat extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Class SequencesPredicate extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

choose

long choose

What value to predicate on.

keep

boolean keep

Whether we keep or discard values that match this.choose.

name

String name

What this predication is called (e.g. for choose == 0 and 1, use "false" and "true").

Class SequencesPredicateFloat extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

choose

double choose

What value to predicate on.

keep

boolean keep

Whether we keep or discard values that match this.choose.

name

String name

What this predication is called (e.g. for choose == 0 and 1, use "false" and "true").

Class SequenceStringIntersection extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Class SequenceStringSubscript extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

index_shift

int index_shift

Class SequenceStringSubsequence extends SequenceSubsequence implements Serializable

serialVersionUID:

20020801L

Class SequenceStringUnion extends BinaryDerivation implements Serializable

serialVersionUID:

20020122L

Class SequenceSubsequence extends BinaryDerivation implements Serializable

serialVersionUID:

20020801L

Serialized Fields

from_start

boolean from_start

index_shift

int index_shift

Package daikon.derive.ternary

Class SequenceFloatArbitrarySubsequence extends TernaryDerivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

left_closed

boolean left_closed

right_closed

boolean right_closed

Class SequenceScalarArbitrarySubsequence extends TernaryDerivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

left_closed

boolean left_closed

right_closed

boolean right_closed

Class SequenceStringArbitrarySubsequence extends TernaryDerivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

left_closed

boolean left_closed

right_closed

boolean right_closed

Class TernaryDerivation extends Derivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

base1

VarInfo base1

Original variable 1.

base2

VarInfo base2

Original variable 2.

base3

VarInfo base3

Original variable 3.

Package daikon.derive.unary

Class SequenceInitial extends UnaryDerivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

index

int index

Typically 0, 1, -1, or -2. A negative number means counting from end.

minLength

int minLength

Array length required for the subscript to be meaningful: (i.e., 1 or 2)

Class SequenceInitialFloat extends UnaryDerivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

index

int index

Typically 0, 1, -1, or -2. A negative number means counting from end.

minLength

int minLength

Array length required for the subscript to be meaningful: (i.e., 1 or 2)

Class SequenceLength extends UnaryDerivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

shift

int shift

Class SequenceMax extends UnaryDerivation implements Serializable

serialVersionUID:

20020122L

Class SequenceMin extends UnaryDerivation implements Serializable

serialVersionUID:

20020122L

Class SequenceSum extends UnaryDerivation implements Serializable

serialVersionUID:

20020122L

Class StringLength extends UnaryDerivation implements Serializable

serialVersionUID:

20061016L

Class UnaryDerivation extends Derivation implements Serializable

serialVersionUID:

20020122L

Serialized Fields

base

VarInfo base

Package daikon.diff

Class InvMap extends Object implements Serializable

serialVersionUID:

20090612L

Serialization Methods

readObject

@EnsuresNonNull("daikon.FileIO.new_decl_format")
private void readObject(ObjectInputStream ois)
                 throws ClassNotFoundException,
                        IOException

Serialize pptmap and FileIO.new_decl_format

Throws:

ClassNotFoundException

IOException

writeObject

@RequiresNonNull("daikon.FileIO.new_decl_format")
private void writeObject(ObjectOutputStream oos)
                  throws IOException

Include FileIO.new_decl_format in the stream

Throws:

IOException

Serialized Fields

ppts

List<PptTopLevel> ppts

The purpose of this field is apparently to permit the ppts to be extracted in the same order in which they were inserted. Why not use a LinkedHashMap? Maybe because it was only added in JDK 1.4.

pptToInvs

Map<PptTopLevel,List<Invariant>> pptToInvs

A map from program points to the invariants true at the program point.

Package daikon.inv

Class AndJoiner extends Joiner implements Serializable

serialVersionUID:

20030822L

Class DiscardCode extends Object implements Serializable

serialVersionUID:

20031016L

Serialization Methods

readResolve

public Object readResolve()
                   throws ObjectStreamException

To prevent deserialization causing more DiscardCodes to be instantiated.

Throws:

ObjectStreamException

Serialized Fields

enumValue

int enumValue

Each member of the enumeration is associated with a distinct int for comparability.

Class DummyInvariant extends Invariant implements Serializable

serialVersionUID:

20030220L

Serialized Fields

csharpFormat

@Nullable String csharpFormat

daikonFormat

@Nullable String daikonFormat

dbcFormat

@Nullable String dbcFormat

escFormat

@Nullable String escFormat

javaFormat

@Nullable String javaFormat

jmlFormat

@Nullable String jmlFormat

negated

boolean negated

simplifyFormat

@Nullable String simplifyFormat

valid

boolean valid

Class Equality extends Invariant implements Serializable

serialVersionUID:

20021231L

Serialized Fields

leaderCache

@Nullable VarInfo leaderCache

numSamples

int numSamples

How many samples this has seen.

vars

TreeSet<VarInfo> vars

The Set of VarInfos that this represents equality for. Can change over time as this invariant weakens. Sorted by index until pivoting.

Class GuardingImplication extends Implication implements Serializable

serialVersionUID:

20020725L

Class Implication extends Joiner implements Serializable

serialVersionUID:

20030822L

Serialized Fields

iff

boolean iff

orig_left

Invariant orig_left

The original predicate invariant from its original conditional ppt.

orig_right

Invariant orig_right

The original consequent invariant from its original conditional ppt. Or, right itself if right is a DummyInvariant from a splitter file.

Class Invariant extends Object implements Serializable

serialVersionUID:

20040921L

Serialized Fields

falsified

boolean falsified

True exactly if the invariant has been falsified: it is guaranteed never to hold (and should be either in the process of being destroyed or about to be destroyed). This should never be set directly; instead, call destroy().

isGuardingPredicate

boolean isGuardingPredicate

ppt

PptSlice ppt

The program point for this invariant; includes values, number of samples, VarInfos, etc. Can be null for a "prototype" invariant.

Class Joiner extends Invariant implements Serializable

serialVersionUID:

20030822L

Serialized Fields

left

Invariant left

right

Invariant right

Class ValueSet extends LimitedSizeLongSet implements Serializable

serialVersionUID:

20020122L

Class ValueSet.ValueSetFloat extends ValueSet implements Serializable

serialVersionUID:

20031017L

Serialized Fields

can_be_NaN

boolean can_be_NaN

max_val

double max_val

min_val

double min_val

Class ValueSet.ValueSetFloatArray extends ValueSet implements Serializable

serialVersionUID:

20031017L

Serialized Fields

can_be_NaN

boolean can_be_NaN

elem_cnt

int elem_cnt

max_length

int max_length

max_val

double max_val

min_val

double min_val

nonsingleton_arr_cnt

int nonsingleton_arr_cnt

Class ValueSet.ValueSetScalar extends ValueSet implements Serializable

serialVersionUID:

20031017L

Serialized Fields

max_val

long max_val

min_val

long min_val

Class ValueSet.ValueSetScalarArray extends ValueSet implements Serializable

serialVersionUID:

20031017L

Serialized Fields

elem_cnt

int elem_cnt

max_length

int max_length

max_val

long max_val

min_val

long min_val

nonsingleton_arr_cnt

int nonsingleton_arr_cnt

Class ValueSet.ValueSetString extends ValueSet implements Serializable

serialVersionUID:

20031017L

Class ValueSet.ValueSetStringArray extends ValueSet implements Serializable

serialVersionUID:

20031017L

Serialized Fields

elem_cnt

int elem_cnt

nonsingleton_arr_cnt

int nonsingleton_arr_cnt

Package daikon.inv.binary

Class BinaryInvariant extends Invariant implements Serializable

serialVersionUID:

20130808L

Package daikon.inv.binary.sequenceScalar

Class Member extends SequenceScalar implements Serializable

serialVersionUID:

20031024L

Class MemberFloat extends SequenceFloat implements Serializable

serialVersionUID:

20031024L

Class SeqFloatEqual extends SequenceFloat implements Serializable

serialVersionUID:

20030822L

Class SeqFloatGreaterEqual extends SequenceFloat implements Serializable

serialVersionUID:

20030822L

Class SeqFloatGreaterThan extends SequenceFloat implements Serializable

serialVersionUID:

20030822L

Class SeqFloatLessEqual extends SequenceFloat implements Serializable

serialVersionUID:

20030822L

Class SeqFloatLessThan extends SequenceFloat implements Serializable

serialVersionUID:

20030822L

Class SeqIntEqual extends SequenceScalar implements Serializable

serialVersionUID:

20030822L

Class SeqIntGreaterEqual extends SequenceScalar implements Serializable

serialVersionUID:

20030822L

Class SeqIntGreaterThan extends SequenceScalar implements Serializable

serialVersionUID:

20030822L

Class SeqIntLessEqual extends SequenceScalar implements Serializable

serialVersionUID:

20030822L

Class SeqIntLessThan extends SequenceScalar implements Serializable

serialVersionUID:

20030822L

Class SequenceFloat extends BinaryInvariant implements Serializable

serialVersionUID:

20040113L

Class SequenceScalar extends BinaryInvariant implements Serializable

serialVersionUID:

20040113L

Package daikon.inv.binary.sequenceString

Class MemberString extends SequenceString implements Serializable

serialVersionUID:

20031024L

Class SequenceString extends BinaryInvariant implements Serializable

serialVersionUID:

20040113L

Package daikon.inv.binary.twoScalar

Class FloatEqual extends TwoFloat implements Serializable

serialVersionUID:

20030822L

Class FloatGreaterEqual extends TwoFloat implements Serializable

serialVersionUID:

20030822L

Class FloatGreaterThan extends TwoFloat implements Serializable

serialVersionUID:

20030822L

Class FloatLessEqual extends TwoFloat implements Serializable

serialVersionUID:

20030822L

Class FloatLessThan extends TwoFloat implements Serializable

serialVersionUID:

20030822L

Class FloatNonEqual extends TwoFloat implements Serializable

serialVersionUID:

20030822L

Class IntEqual extends TwoScalar implements Serializable

serialVersionUID:

20030822L

Class IntGreaterEqual extends TwoScalar implements Serializable

serialVersionUID:

20030822L

Class IntGreaterThan extends TwoScalar implements Serializable

serialVersionUID:

20030822L

Class IntLessEqual extends TwoScalar implements Serializable

serialVersionUID:

20030822L

Class IntLessThan extends TwoScalar implements Serializable

serialVersionUID:

20030822L

Class IntNonEqual extends TwoScalar implements Serializable

serialVersionUID:

20030822L

Class LinearBinary extends TwoScalar implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

LinearBinaryCore core

Class LinearBinaryCore extends Object implements Serializable

serialVersionUID:

20030822L

Serialized Fields

a

double a

This invariant represents ax + by + c = 0; the first argument is x, second is y.

b

double b

This invariant represents ax + by + c = 0; the first argument is x, second is y.

c

double c

This invariant represents ax + by + c = 0; the first argument is x, second is y.

max_a

double max_a

max_b

double max_b

max_c

double max_c

max_x

long max_x

max_y

long max_y

min_a

double min_a

min_b

double min_b

min_c

double min_c

min_x

long min_x

min_y

long min_y

values_seen

int values_seen

wrapper

Invariant wrapper

x_cache

long[] x_cache

y_cache

long[] y_cache

Class LinearBinaryCoreFloat extends Object implements Serializable

serialVersionUID:

20030822L

Serialized Fields

a

double a

This invariant represents ax + by + c = 0; the first argument is x, second is y.

b

double b

This invariant represents ax + by + c = 0; the first argument is x, second is y.

c

double c

This invariant represents ax + by + c = 0; the first argument is x, second is y.

max_a

double max_a

max_b

double max_b

max_c

double max_c

max_x

double max_x

max_y

double max_y

min_a

double min_a

min_b

double min_b

min_c

double min_c

min_x

double min_x

min_y

double min_y

values_seen

int values_seen

wrapper

Invariant wrapper

x_cache

double[] x_cache

y_cache

double[] y_cache

Class LinearBinaryFloat extends TwoFloat implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

LinearBinaryCoreFloat core

Class NumericFloat extends TwoFloat implements Serializable

serialVersionUID:

20060609L

Class NumericFloat.Divides extends NumericFloat implements Serializable

serialVersionUID:

20040113L

Class NumericFloat.Square extends NumericFloat implements Serializable

serialVersionUID:

20040113L

Class NumericFloat.ZeroTrack extends NumericFloat implements Serializable

serialVersionUID:

20040313L

Class NumericInt extends TwoScalar implements Serializable

serialVersionUID:

20060609L

Class NumericInt.BitwiseAndZero extends NumericInt implements Serializable

serialVersionUID:

20040313L

Class NumericInt.BitwiseComplement extends NumericInt implements Serializable

serialVersionUID:

20040113L

Class NumericInt.BitwiseSubset extends NumericInt implements Serializable

serialVersionUID:

20040113L

Class NumericInt.Divides extends NumericInt implements Serializable

serialVersionUID:

20040113L

Class NumericInt.ShiftZero extends NumericInt implements Serializable

serialVersionUID:

20040313L

Class NumericInt.Square extends NumericInt implements Serializable

serialVersionUID:

20040113L

Class NumericInt.ZeroTrack extends NumericInt implements Serializable

serialVersionUID:

20040313L

Class TwoFloat extends BinaryInvariant implements Serializable

serialVersionUID:

20040113L

Serialized Fields

swap

boolean swap

Class TwoScalar extends BinaryInvariant implements Serializable

serialVersionUID:

20040113L

Serialized Fields

swap

boolean swap

Package daikon.inv.binary.twoSequence

Class PairwiseFloatEqual extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Class PairwiseFloatGreaterEqual extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Class PairwiseFloatGreaterThan extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Class PairwiseFloatLessEqual extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Class PairwiseFloatLessThan extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Class PairwiseIntEqual extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Class PairwiseIntGreaterEqual extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Class PairwiseIntGreaterThan extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Class PairwiseIntLessEqual extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Class PairwiseIntLessThan extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Class PairwiseLinearBinary extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

LinearBinaryCore core

Class PairwiseLinearBinaryFloat extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

LinearBinaryCoreFloat core

Class PairwiseNumericFloat extends TwoSequenceFloat implements Serializable

serialVersionUID:

20060609L

Class PairwiseNumericFloat.Divides extends PairwiseNumericFloat implements Serializable

serialVersionUID:

20040113L

Class PairwiseNumericFloat.Square extends PairwiseNumericFloat implements Serializable

serialVersionUID:

20040113L

Class PairwiseNumericFloat.ZeroTrack extends PairwiseNumericFloat implements Serializable

serialVersionUID:

20040313L

Class PairwiseNumericInt extends TwoSequence implements Serializable

serialVersionUID:

20060609L

Class PairwiseNumericInt.BitwiseAndZero extends PairwiseNumericInt implements Serializable

serialVersionUID:

20040313L

Class PairwiseNumericInt.BitwiseComplement extends PairwiseNumericInt implements Serializable

serialVersionUID:

20040113L

Class PairwiseNumericInt.BitwiseSubset extends PairwiseNumericInt implements Serializable

serialVersionUID:

20040113L

Class PairwiseNumericInt.Divides extends PairwiseNumericInt implements Serializable

serialVersionUID:

20040113L

Class PairwiseNumericInt.ShiftZero extends PairwiseNumericInt implements Serializable

serialVersionUID:

20040313L

Class PairwiseNumericInt.Square extends PairwiseNumericInt implements Serializable

serialVersionUID:

20040113L

Class PairwiseNumericInt.ZeroTrack extends PairwiseNumericInt implements Serializable

serialVersionUID:

20040313L

Class PairwiseString extends TwoSequenceString implements Serializable

serialVersionUID:

20060609L

Class PairwiseString.SubString extends PairwiseString implements Serializable

serialVersionUID:

20081113L

Class PairwiseStringEqual extends TwoSequenceString implements Serializable

serialVersionUID:

20030822L

Class PairwiseStringGreaterEqual extends TwoSequenceString implements Serializable

serialVersionUID:

20030822L

Class PairwiseStringGreaterThan extends TwoSequenceString implements Serializable

serialVersionUID:

20030822L

Class PairwiseStringLessEqual extends TwoSequenceString implements Serializable

serialVersionUID:

20030822L

Class PairwiseStringLessThan extends TwoSequenceString implements Serializable

serialVersionUID:

20030822L

Class Reverse extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Class ReverseFloat extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Class SeqSeqFloatEqual extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqFloatGreaterEqual extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqFloatGreaterThan extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqFloatLessEqual extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqFloatLessThan extends TwoSequenceFloat implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqIntEqual extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqIntGreaterEqual extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqIntGreaterThan extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqIntLessEqual extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqIntLessThan extends TwoSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqStringEqual extends TwoSequenceString implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqStringGreaterEqual extends TwoSequenceString implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqStringGreaterThan extends TwoSequenceString implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqStringLessEqual extends TwoSequenceString implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SeqSeqStringLessThan extends TwoSequenceString implements Serializable

serialVersionUID:

20030822L

Serialized Fields

orderMatters

boolean orderMatters

Class SubSequence extends TwoSequence implements Serializable

serialVersionUID:

20031024L

Class SubSequenceFloat extends TwoSequenceFloat implements Serializable

serialVersionUID:

20031024L

Class SubSet extends TwoSequence implements Serializable

serialVersionUID:

20031024L

Class SubSetFloat extends TwoSequenceFloat implements Serializable

serialVersionUID:

20031024L

Class SuperSequence extends TwoSequence implements Serializable

serialVersionUID:

20031024L

Class SuperSequenceFloat extends TwoSequenceFloat implements Serializable

serialVersionUID:

20031024L

Class SuperSet extends TwoSequence implements Serializable

serialVersionUID:

20031024L

Class SuperSetFloat extends TwoSequenceFloat implements Serializable

serialVersionUID:

20031024L

Class TwoSequence extends BinaryInvariant implements Serializable

serialVersionUID:

20040113L

Serialized Fields

swap

boolean swap

Class TwoSequenceFloat extends BinaryInvariant implements Serializable

serialVersionUID:

20040113L

Serialized Fields

swap

boolean swap

Class TwoSequenceString extends BinaryInvariant implements Serializable

serialVersionUID:

20040113L

Serialized Fields

swap

boolean swap

Package daikon.inv.binary.twoString

Class StdString extends TwoString implements Serializable

serialVersionUID:

20060609L

Class StdString.SubString extends StdString implements Serializable

serialVersionUID:

20081113L

Class StringEqual extends TwoString implements Serializable

serialVersionUID:

20030822L

Class StringGreaterEqual extends TwoString implements Serializable

serialVersionUID:

20030822L

Class StringGreaterThan extends TwoString implements Serializable

serialVersionUID:

20030822L

Class StringLessEqual extends TwoString implements Serializable

serialVersionUID:

20030822L

Class StringLessThan extends TwoString implements Serializable

serialVersionUID:

20030822L

Class StringNonEqual extends TwoString implements Serializable

serialVersionUID:

20030822L

Class TwoString extends BinaryInvariant implements Serializable

serialVersionUID:

20040113L

Serialized Fields

swap

boolean swap

Package daikon.inv.ternary

Class TernaryInvariant extends Invariant implements Serializable

serialVersionUID:

20020122L

Package daikon.inv.ternary.threeScalar

Class FunctionBinary extends ThreeScalar implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.BitwiseAndLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.BitwiseAndLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.BitwiseAndLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.BitwiseOrLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.BitwiseOrLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.BitwiseOrLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.BitwiseXorLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.BitwiseXorLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.BitwiseXorLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.DivisionLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.DivisionLong_xzy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.DivisionLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.DivisionLong_yzx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.DivisionLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.DivisionLong_zyx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.GcdLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.GcdLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.GcdLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LogicalAndLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LogicalAndLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LogicalAndLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LogicalOrLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LogicalOrLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LogicalOrLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LogicalXorLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LogicalXorLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LogicalXorLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LshiftLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LshiftLong_xzy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LshiftLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LshiftLong_yzx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LshiftLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.LshiftLong_zyx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.MaximumLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.MaximumLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.MaximumLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.MinimumLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.MinimumLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.MinimumLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.ModLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.ModLong_xzy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.ModLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.ModLong_yzx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.ModLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.ModLong_zyx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.MultiplyLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.MultiplyLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.MultiplyLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.PowerLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.PowerLong_xzy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.PowerLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.PowerLong_yzx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.PowerLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.PowerLong_zyx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftSignedLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftSignedLong_xzy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftSignedLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftSignedLong_yzx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftSignedLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftSignedLong_zyx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftUnsignedLong_xyz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftUnsignedLong_xzy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftUnsignedLong_yxz extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftUnsignedLong_yzx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftUnsignedLong_zxy extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinary.RshiftUnsignedLong_zyx extends FunctionBinary implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat extends ThreeFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.DivisionDouble_xyz extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.DivisionDouble_xzy extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.DivisionDouble_yxz extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.DivisionDouble_yzx extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.DivisionDouble_zxy extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.DivisionDouble_zyx extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.MaximumDouble_xyz extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.MaximumDouble_yxz extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.MaximumDouble_zxy extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.MinimumDouble_xyz extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.MinimumDouble_yxz extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.MinimumDouble_zxy extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.MultiplyDouble_xyz extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.MultiplyDouble_yxz extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.MultiplyDouble_zxy extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.PowerDouble_xyz extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.PowerDouble_xzy extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.PowerDouble_yxz extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.PowerDouble_yzx extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.PowerDouble_zxy extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class FunctionBinaryFloat.PowerDouble_zyx extends FunctionBinaryFloat implements Serializable

serialVersionUID:

20031030L

Class LinearTernary extends ThreeScalar implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

LinearTernaryCore core

Class LinearTernaryCore extends Object implements Serializable

serialVersionUID:

20030822L

Serialized Fields

a

double a

b

double b

c

double c

coefficients

double[] coefficients

d

double d

def_points

@Nullable LinearTernaryCore.Point[] def_points

line_flag

LinearTernaryCore.Flag line_flag

max_a

double max_a

max_b

double max_b

max_c

double max_c

max_d

double max_d

min_a

double min_a

min_b

double min_b

min_c

double min_c

min_d

double min_d

separation

double separation

values_seen

int values_seen

wrapper

Invariant wrapper

Class LinearTernaryCore.Point extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

x

long x

y

long y

z

long z

Class LinearTernaryCoreFloat extends Object implements Serializable

serialVersionUID:

20030822L

Serialized Fields

a

double a

b

double b

c

double c

coefficients

double[] coefficients

d

double d

def_points

@Nullable LinearTernaryCoreFloat.Point[] def_points

line_flag

LinearTernaryCoreFloat.Flag line_flag

max_a

double max_a

max_b

double max_b

max_c

double max_c

max_d

double max_d

min_a

double min_a

min_b

double min_b

min_c

double min_c

min_d

double min_d

separation

double separation

values_seen

int values_seen

wrapper

Invariant wrapper

Class LinearTernaryCoreFloat.Point extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

x

double x

y

double y

z

double z

Class LinearTernaryFloat extends ThreeFloat implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

LinearTernaryCoreFloat core

Class ThreeFloat extends TernaryInvariant implements Serializable

serialVersionUID:

20020122L

Class ThreeScalar extends TernaryInvariant implements Serializable

serialVersionUID:

20020122L

Package daikon.inv.unary

Class LowerBoundCore extends Object implements Serializable

serialVersionUID:

20030822L

Serialized Fields

max

long max

min1

long min1

min2

long min2

min3

long min3

num_min1

int num_min1

num_min2

int num_min2

num_min3

int num_min3

samples

int samples

wrapper

Invariant wrapper

Class LowerBoundCoreFloat extends Object implements Serializable

serialVersionUID:

20030822L

Serialized Fields

max

double max

min1

double min1

min2

double min2

min3

double min3

num_min1

int num_min1

num_min2

int num_min2

num_min3

int num_min3

samples

int samples

wrapper

Invariant wrapper

Class UnaryInvariant extends Invariant implements Serializable

serialVersionUID:

20020122L

Class UpperBoundCore extends Object implements Serializable

serialVersionUID:

20030822L

Serialized Fields

max1

long max1

max2

long max2

max3

long max3

min

long min

num_max1

int num_max1

num_max2

int num_max2

num_max3

int num_max3

samples

int samples

wrapper

Invariant wrapper

Class UpperBoundCoreFloat extends Object implements Serializable

serialVersionUID:

20030822L

Serialized Fields

max1

double max1

max2

double max2

max3

double max3

min

double min

num_max1

int num_max1

num_max2

int num_max2

num_max3

int num_max3

samples

int samples

wrapper

Invariant wrapper

Package daikon.inv.unary.scalar

Class CompleteOneOfScalar extends SingleScalar implements Serializable

serialVersionUID:

20091210L

Serialized Fields

vals

List<CompleteOneOfScalar.Info> vals

List of values seen.

Class CompleteOneOfScalar.Info extends Object implements Serializable

serialVersionUID:

20091210L

Serialized Fields

cnt

int cnt

val

long val

Class IsPointer extends SingleScalar implements Serializable

serialVersionUID:

20080221L

Class LowerBound extends SingleScalar implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

LowerBoundCore core

Class LowerBoundFloat extends SingleFloat implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

LowerBoundCoreFloat core

Class Modulus extends SingleScalar implements Serializable

serialVersionUID:

20030822L

Serialized Fields

modulus

long modulus

no_samples_seen

boolean no_samples_seen

remainder

long remainder

value1

long value1

Class NonModulus extends SingleScalar implements Serializable

serialVersionUID:

20020122L

Serialized Fields

elements

NavigableSet<Long> elements

The values to be tested for the non-modulus property.

modulus

long modulus

no_result_yet

boolean no_result_yet

remainder

long remainder

results_accurate

boolean results_accurate

Class NonZero extends SingleScalar implements Serializable

serialVersionUID:

20030822L

Class NonZeroFloat extends SingleFloat implements Serializable

serialVersionUID:

20030822L

Class OneOfFloat extends SingleFloat implements Serializable

serialVersionUID:

20030822L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

elts

double[] elts

num_elts

int num_elts

Class OneOfScalar extends SingleScalar implements Serializable

serialVersionUID:

20030822L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

elts

long[] elts

num_elts

int num_elts

Class Positive extends SingleScalar implements Serializable

serialVersionUID:

20040728L

Class RangeFloat extends SingleFloat implements Serializable

serialVersionUID:

20040311L

Class RangeFloat.EqualMinusOne extends RangeFloat implements Serializable

serialVersionUID:

20040824L

Class RangeFloat.EqualOne extends RangeFloat implements Serializable

serialVersionUID:

20040113L

Class RangeFloat.EqualZero extends RangeFloat implements Serializable

serialVersionUID:

20040113L

Class RangeFloat.GreaterEqual64 extends RangeFloat implements Serializable

serialVersionUID:

20040113L

Class RangeFloat.GreaterEqualZero extends RangeFloat implements Serializable

serialVersionUID:

20040113L

Class RangeInt extends SingleScalar implements Serializable

serialVersionUID:

20040311L

Class RangeInt.BooleanVal extends RangeInt implements Serializable

serialVersionUID:

20040113L

Class RangeInt.Bound0_63 extends RangeInt implements Serializable

serialVersionUID:

20040113L

Class RangeInt.EqualMinusOne extends RangeInt implements Serializable

serialVersionUID:

20040824L

Class RangeInt.EqualOne extends RangeInt implements Serializable

serialVersionUID:

20040113L

Class RangeInt.EqualZero extends RangeInt implements Serializable

serialVersionUID:

20040113L

Class RangeInt.Even extends RangeInt implements Serializable

serialVersionUID:

20040113L

Class RangeInt.GreaterEqual64 extends RangeInt implements Serializable

serialVersionUID:

20040113L

Class RangeInt.GreaterEqualZero extends RangeInt implements Serializable

serialVersionUID:

20040113L

Class RangeInt.PowerOfTwo extends RangeInt implements Serializable

serialVersionUID:

20040113L

Class SingleFloat extends UnaryInvariant implements Serializable

serialVersionUID:

20020122L

Class SingleScalar extends UnaryInvariant implements Serializable

serialVersionUID:

20020122L

Class UpperBound extends SingleScalar implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

UpperBoundCore core

Class UpperBoundFloat extends SingleFloat implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

UpperBoundCoreFloat core

Package daikon.inv.unary.sequence

Class CommonFloatSequence extends SingleFloatSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

count

int count

The number of samples observed.

intersect

double @MonotonicNonNull @Interned [] intersect

Null means no samples have been seen yet. Empty array means intersection is empty.

Class CommonSequence extends SingleScalarSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

count

int count

The number of samples observed.

intersect

long @MonotonicNonNull @Interned [] intersect

Null means no samples have been seen yet. Empty array means intersection is empty.

Class EltLowerBound extends SingleScalarSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

LowerBoundCore core

Class EltLowerBoundFloat extends SingleFloatSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

LowerBoundCoreFloat core

Class EltNonZero extends SingleScalarSequence implements Serializable

serialVersionUID:

20030822L

Class EltNonZeroFloat extends SingleFloatSequence implements Serializable

serialVersionUID:

20030822L

Class EltOneOf extends SingleScalarSequence implements Serializable

serialVersionUID:

20030822L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

elts

long[] elts

num_elts

int num_elts

Class EltOneOfFloat extends SingleFloatSequence implements Serializable

serialVersionUID:

20030822L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

elts

double[] elts

num_elts

int num_elts

Class EltRangeFloat extends SingleFloatSequence implements Serializable

serialVersionUID:

20040311L

Class EltRangeFloat.EqualMinusOne extends EltRangeFloat implements Serializable

serialVersionUID:

20040824L

Class EltRangeFloat.EqualOne extends EltRangeFloat implements Serializable

serialVersionUID:

20040113L

Class EltRangeFloat.EqualZero extends EltRangeFloat implements Serializable

serialVersionUID:

20040113L

Class EltRangeFloat.GreaterEqual64 extends EltRangeFloat implements Serializable

serialVersionUID:

20040113L

Class EltRangeFloat.GreaterEqualZero extends EltRangeFloat implements Serializable

serialVersionUID:

20040113L

Class EltRangeInt extends SingleScalarSequence implements Serializable

serialVersionUID:

20040311L

Class EltRangeInt.BooleanVal extends EltRangeInt implements Serializable

serialVersionUID:

20040113L

Class EltRangeInt.Bound0_63 extends EltRangeInt implements Serializable

serialVersionUID:

20040113L

Class EltRangeInt.EqualMinusOne extends EltRangeInt implements Serializable

serialVersionUID:

20040824L

Class EltRangeInt.EqualOne extends EltRangeInt implements Serializable

serialVersionUID:

20040113L

Class EltRangeInt.EqualZero extends EltRangeInt implements Serializable

serialVersionUID:

20040113L

Class EltRangeInt.Even extends EltRangeInt implements Serializable

serialVersionUID:

20040113L

Class EltRangeInt.GreaterEqual64 extends EltRangeInt implements Serializable

serialVersionUID:

20040113L

Class EltRangeInt.GreaterEqualZero extends EltRangeInt implements Serializable

serialVersionUID:

20040113L

Class EltRangeInt.PowerOfTwo extends EltRangeInt implements Serializable

serialVersionUID:

20040113L

Class EltUpperBound extends SingleScalarSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

UpperBoundCore core

Class EltUpperBoundFloat extends SingleFloatSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

core

UpperBoundCoreFloat core

Class EltwiseFloatComparison extends SingleFloatSequence implements Serializable

serialVersionUID:

20030109L

Class EltwiseFloatEqual extends EltwiseFloatComparison implements Serializable

serialVersionUID:

20030822L

Class EltwiseFloatGreaterEqual extends EltwiseFloatComparison implements Serializable

serialVersionUID:

20030822L

Class EltwiseFloatGreaterThan extends EltwiseFloatComparison implements Serializable

serialVersionUID:

20030822L

Class EltwiseFloatLessEqual extends EltwiseFloatComparison implements Serializable

serialVersionUID:

20030822L

Class EltwiseFloatLessThan extends EltwiseFloatComparison implements Serializable

serialVersionUID:

20030822L

Class EltwiseIntComparison extends SingleScalarSequence implements Serializable

serialVersionUID:

20030109L

Class EltwiseIntEqual extends EltwiseIntComparison implements Serializable

serialVersionUID:

20030822L

Class EltwiseIntGreaterEqual extends EltwiseIntComparison implements Serializable

serialVersionUID:

20030822L

Class EltwiseIntGreaterThan extends EltwiseIntComparison implements Serializable

serialVersionUID:

20030822L

Class EltwiseIntLessEqual extends EltwiseIntComparison implements Serializable

serialVersionUID:

20030822L

Class EltwiseIntLessThan extends EltwiseIntComparison implements Serializable

serialVersionUID:

20030822L

Class NoDuplicates extends SingleScalarSequence implements Serializable

serialVersionUID:

20040204L

Class NoDuplicatesFloat extends SingleFloatSequence implements Serializable

serialVersionUID:

20040204L

Class OneOfFloatSequence extends SingleFloatSequence implements Serializable

serialVersionUID:

20030822L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

elts

double @Interned [][] elts

num_elts

int num_elts

Class OneOfSequence extends SingleScalarSequence implements Serializable

serialVersionUID:

20030822L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

elts

long @Interned [][] elts

num_elts

int num_elts

Class SeqIndexFloatEqual extends SingleFloatSequence implements Serializable

serialVersionUID:

20040203L

Class SeqIndexFloatGreaterEqual extends SingleFloatSequence implements Serializable

serialVersionUID:

20040203L

Class SeqIndexFloatGreaterThan extends SingleFloatSequence implements Serializable

serialVersionUID:

20040203L

Class SeqIndexFloatLessEqual extends SingleFloatSequence implements Serializable

serialVersionUID:

20040203L

Class SeqIndexFloatLessThan extends SingleFloatSequence implements Serializable

serialVersionUID:

20040203L

Class SeqIndexFloatNonEqual extends SingleFloatSequence implements Serializable

serialVersionUID:

20040203L

Class SeqIndexIntEqual extends SingleScalarSequence implements Serializable

serialVersionUID:

20040203L

Class SeqIndexIntGreaterEqual extends SingleScalarSequence implements Serializable

serialVersionUID:

20040203L

Class SeqIndexIntGreaterThan extends SingleScalarSequence implements Serializable

serialVersionUID:

20040203L

Class SeqIndexIntLessEqual extends SingleScalarSequence implements Serializable

serialVersionUID:

20040203L

Class SeqIndexIntLessThan extends SingleScalarSequence implements Serializable

serialVersionUID:

20040203L

Class SeqIndexIntNonEqual extends SingleScalarSequence implements Serializable

serialVersionUID:

20040203L

Class SingleFloatSequence extends SingleSequence implements Serializable

serialVersionUID:

20020813L

Class SingleScalarSequence extends SingleSequence implements Serializable

serialVersionUID:

20020813L

Class SingleSequence extends UnaryInvariant implements Serializable

serialVersionUID:

20031024L

Package daikon.inv.unary.string

Class CompleteOneOfString extends SingleString implements Serializable

serialVersionUID:

20091210L

Serialized Fields

vals

List<CompleteOneOfString.Info> vals

List of values seen.

Class CompleteOneOfString.Info extends Object implements Serializable

serialVersionUID:

20091210L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

cnt

int cnt

val

@Interned String val

Class OneOfString extends SingleString implements Serializable

serialVersionUID:

20030822L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

elts

@Interned String[] elts

num_elts

int num_elts

Class PrintableString extends SingleString implements Serializable

serialVersionUID:

20061016L

Class SingleString extends UnaryInvariant implements Serializable

serialVersionUID:

20020122L

Package daikon.inv.unary.stringsequence

Class CommonStringSequence extends SingleStringSequence implements Serializable

serialVersionUID:

20030822L

Serialized Fields

count

int count

The number of samples observed.

intersect

@Interned String @MonotonicNonNull @Interned [] intersect

Null means no samples have been seen yet. Empty array means intersection is empty.

Class EltOneOfString extends SingleStringSequence implements Serializable

serialVersionUID:

20030822L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

elts

@Interned String[] elts

num_elts

int num_elts

Class OneOfStringSequence extends SingleStringSequence implements Serializable

serialVersionUID:

20030822L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

elts

@Interned String @Interned [][] elts

num_elts

int num_elts

Class SingleStringSequence extends UnaryInvariant implements Serializable

serialVersionUID:

20020122L

Package daikon.simplify

Class SimplifyError extends RuntimeException implements Serializable

serialVersionUID:

20020122L

Class SimplifyException extends Exception implements Serializable

serialVersionUID:

20020122L

Class TimeoutException extends SimplifyException implements Serializable

serialVersionUID:

20020122L

Package daikon.split

Class PptSplitter extends Object implements Serializable

serialVersionUID:

20031031L

Serialized Fields

parent

PptTopLevel parent

PptTopLevel that contains this split.

ppts

PptTopLevel[] ppts

One PptConditional for each splitter result. ppts[0] is used when the splitter is true, ppts[1] when the splitter is false. The contents are PptConditional objects if the splitter is valid, but are PptTopLevel if the PptSplitter represents two exit points (for which no splitter is required).

Class Splitter extends Object implements Serializable

serialVersionUID:

20020122L

Serialized Fields

instantiated

boolean instantiated

True for an instantiated (non-"factory") splitter.

Class SplitterExample extends Splitter implements Serializable

serialVersionUID:

20030218L

Serialized Fields

dummyInv

@Nullable DummyInvariant dummyInv

x_varinfo

@Nullable VarInfo x_varinfo

Package daikon.split.misc

Class CallerContextSplitter extends Splitter implements Serializable

serialVersionUID:

20030112L

Serialized Fields

CALLER_INDICATOR_NAME_STRING

String CALLER_INDICATOR_NAME_STRING

Name of the variable used by the front end to store caller (callsite) information.

caller_varinfo

@Nullable VarInfo caller_varinfo

condition

String condition

ids

long[] ids

Class ReturnTrueSplitter extends Splitter implements Serializable

serialVersionUID:

20020122L

Serialized Fields

return_varinfo

@Nullable VarInfo return_varinfo

Package daikon.test.diff

Class DiffDummyInvariant extends Invariant implements Serializable

serialVersionUID:

20020122L

Serialized Fields

confidence

double confidence

The confidence fro this dummy invariant.

formula

String formula

A string representation of the formula that this dummy invariant represents.

isWorthPrinting

boolean isWorthPrinting

Whether the invariant is worth printing.

Package daikon.tools

Class DtraceDiff.DiffError extends Error implements Serializable

serialVersionUID:

20071203L

Package daikon.tools.jtb

Class Annotation.MalformedAnnotationException extends Exception implements Serializable

serialVersionUID:

20050923L

Package daikon.tools.runtimechecker

Class MalformedPropertyException extends Exception implements Serializable

serialVersionUID:

1L

Class Property extends Object implements Serializable

serialVersionUID:

1L

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

Throws:

ObjectStreamException

Serialized Fields

confidence

double confidence

A measure of a property's universality: whether it captures the general behavior of the program. The measure ranges from 0 (no confidence) to 1 (high confidence).

daikonClass

String daikonClass

The Daikon class name that this property represents.

daikonRep

String daikonRep

Daikon representation (as output by Daikon's default output format).

jmlRep

String jmlRep

JML representation of this property.

kind

Property.Kind kind

method

String method

Class Property.Kind extends Object implements Serializable

serialVersionUID:

1L

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

Throws:

ObjectStreamException

Serialized Fields

name

String name

xmlname

String xmlname

Class Violation extends Object implements Serializable

serialVersionUID:

1L

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

Throws:

ObjectStreamException

Serialized Fields

property

Property property

time

Violation.Time time

Class Violation.Time extends Object implements Serializable

serialVersionUID:

1L

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

Throws:

ObjectStreamException

Serialized Fields

name

String name

xmlname

String xmlname

Package jtb

Class ParseException extends Exception implements Serializable

serialVersionUID:

20150406L

Serialized Fields

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

eol

String eol

The end of line string for this machine.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

specialConstructor

boolean specialConstructor

This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

Class TokenMgrError extends Error implements Serializable

serialVersionUID:

20150406L

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.

Package jtb.cparser

Class ParseException extends Exception implements Serializable

serialVersionUID:

20050923L

Serialized Fields

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

eol

String eol

The end of line string for this machine.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

specialConstructor

boolean specialConstructor

This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

Class TokenMgrError extends Error implements Serializable

serialVersionUID:

20050923L

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.

Package jtb.cparser.syntaxtree

Class AbstractDeclarator extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class AdditiveExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

MultiplicativeExpression f0

f1

NodeOptional f1

Class ANDExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

EqualityExpression f0

f1

NodeOptional f1

Class ArgumentExpressionList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

AssignmentExpression f0

f1

NodeListOptional f1

Class AssignmentExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class AssignmentOperator extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class CastExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class CompoundStatement extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeOptional f2

f3

NodeToken f3

Class ConditionalExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

LogicalORExpression f0

f1

NodeOptional f1

Class Constant extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class ConstantExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

ConditionalExpression f0

Class Declaration extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

DeclarationSpecifiers f0

f1

NodeOptional f1

f2

NodeToken f2

Class DeclarationList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeList f0

Class DeclarationSpecifiers extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class Declarator extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeOptional f0

f1

DirectDeclarator f1

Class DirectAbstractDeclarator extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

f1

NodeListOptional f1

Class DirectDeclarator extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

f1

NodeListOptional f1

Class Enumerator extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

Class EnumeratorList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

Enumerator f0

f1

NodeListOptional f1

Class EnumSpecifier extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeToken f0

f1

NodeChoice f1

Class EqualityExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

RelationalExpression f0

f1

NodeOptional f1

Class ExclusiveORExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

ANDExpression f0

f1

NodeOptional f1

Class Expression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

AssignmentExpression f0

f1

NodeListOptional f1

Class ExpressionStatement extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeOptional f0

f1

NodeToken f1

Class ExternalDeclaration extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class FunctionDefinition extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeOptional f0

f1

Declarator f1

f2

NodeOptional f2

f3

CompoundStatement f3

Class IdentifierList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeToken f0

f1

NodeListOptional f1

Class InclusiveORExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

ExclusiveORExpression f0

f1

NodeOptional f1

Class InitDeclarator extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

Declarator f0

f1

NodeOptional f1

Class InitDeclaratorList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

InitDeclarator f0

f1

NodeListOptional f1

Class Initializer extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class InitializerList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

Initializer f0

f1

NodeListOptional f1

Class IterationStatement extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class JumpStatement extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class LabeledStatement extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class LogicalANDExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

InclusiveORExpression f0

f1

NodeOptional f1

Class LogicalORExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

LogicalANDExpression f0

f1

NodeOptional f1

Class MultiplicativeExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

CastExpression f0

f1

NodeOptional f1

Class NodeChoice extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

choice

Node choice

which

int which

Class NodeList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

nodes

Vector<Node> nodes

Class NodeListOptional extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

nodes

Vector<Node> nodes

Class NodeOptional extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

node

Node node

Class NodeSequence extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

nodes

Vector<Node> nodes

Class NodeToken extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

beginColumn

int beginColumn

beginLine

int beginLine

endColumn

int endColumn

endLine

int endLine

kind

int kind

specialTokens

Vector<NodeToken> specialTokens

tokenImage

String tokenImage

Class ParameterDeclaration extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

DeclarationSpecifiers f0

f1

NodeChoice f1

Class ParameterList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

ParameterDeclaration f0

f1

NodeListOptional f1

Class ParameterTypeList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

ParameterList f0

f1

NodeOptional f1

Class Pointer extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeOptional f2

Class PostfixExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

PrimaryExpression f0

f1

NodeListOptional f1

Class PrimaryExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class RelationalExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

ShiftExpression f0

f1

NodeOptional f1

Class SelectionStatement extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class ShiftExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

AdditiveExpression f0

f1

NodeOptional f1

Class SpecifierQualifierList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class Statement extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class StatementList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeList f0

Class StorageClassSpecifier extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class StructDeclaration extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

SpecifierQualifierList f0

f1

StructDeclaratorList f1

f2

NodeToken f2

Class StructDeclarationList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeList f0

Class StructDeclarator extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class StructDeclaratorList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

StructDeclarator f0

f1

NodeListOptional f1

Class StructOrUnion extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class StructOrUnionSpecifier extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

StructOrUnion f0

f1

NodeChoice f1

Class TranslationUnit extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeList f0

Class TypedefName extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeToken f0

Class TypeName extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

SpecifierQualifierList f0

f1

NodeOptional f1

Class TypeQualifier extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class TypeQualifierList extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeList f0

Class TypeSpecifier extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class UnaryExpression extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Class UnaryOperator extends Object implements Serializable

serialVersionUID:

20050923L

Serialized Fields

f0

NodeChoice f0

Package jtb.syntaxtree

Class AdditiveExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

MultiplicativeExpression f0

f1

NodeListOptional f1

parent

Node parent

Class AllocationExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class AndExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

EqualityExpression f0

f1

NodeListOptional f1

parent

Node parent

Class Annotation extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class AnnotationTypeBody extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeListOptional f1

f2

NodeToken f2

parent

Node parent

Class AnnotationTypeDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeToken f1

f2

NodeToken f2

f3

AnnotationTypeBody f3

parent

Node parent

Class AnnotationTypeMemberDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class ArgumentList extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

Expression f0

f1

NodeListOptional f1

parent

Node parent

Class Arguments extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeToken f2

parent

Node parent

Class ArrayDimsAndInits extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class ArrayInitializer extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeOptional f2

f3

NodeToken f3

parent

Node parent

Class AssertStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

Expression f1

f2

NodeOptional f2

f3

NodeToken f3

parent

Node parent

Class AssignmentOperator extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class Block extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeListOptional f1

f2

NodeToken f2

parent

Node parent

Class BlockStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class BooleanLiteral extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class BreakStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeToken f2

parent

Node parent

Class CastExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class CastLookahead extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class ClassOrInterfaceBody extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeListOptional f1

f2

NodeToken f2

parent

Node parent

Class ClassOrInterfaceBodyDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class ClassOrInterfaceDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

f1

NodeToken f1

f2

NodeOptional f2

f3

NodeOptional f3

f4

NodeOptional f4

f5

ClassOrInterfaceBody f5

parent

Node parent

Class ClassOrInterfaceType extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeListOptional f2

parent

Node parent

unGenerifiedVersionOfThis

ClassOrInterfaceType unGenerifiedVersionOfThis

Class CompilationUnit extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeOptional f0

f1

NodeListOptional f1

f2

NodeListOptional f2

f3

NodeOptional f3

f4

NodeOptional f4

f5

NodeToken f5

parent

Node parent

Class ConditionalAndExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

InclusiveOrExpression f0

f1

NodeListOptional f1

parent

Node parent

Class ConditionalExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

ConditionalOrExpression f0

f1

NodeOptional f1

parent

Node parent

Class ConditionalOrExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

ConditionalAndExpression f0

f1

NodeListOptional f1

parent

Node parent

Class ConstructorDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeOptional f0

f1

NodeToken f1

f2

FormalParameters f2

f3

NodeOptional f3

f4

NodeToken f4

f5

NodeOptional f5

f6

NodeListOptional f6

f7

NodeToken f7

parent

Node parent

Class ContinueStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeToken f2

parent

Node parent

Class DefaultValue extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

MemberValue f1

parent

Node parent

Class DoStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

Statement f1

f2

NodeToken f2

f3

NodeToken f3

f4

Expression f4

f5

NodeToken f5

f6

NodeToken f6

parent

Node parent

Class EmptyStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

parent

Node parent

Class EnumBody extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeOptional f2

f3

NodeOptional f3

f4

NodeToken f4

parent

Node parent

Class EnumConstant extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

Modifiers f0

f1

NodeToken f1

f2

NodeOptional f2

f3

NodeOptional f3

parent

Node parent

Class EnumDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeToken f1

f2

NodeOptional f2

f3

EnumBody f3

parent

Node parent

Class EqualityExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

InstanceOfExpression f0

f1

NodeListOptional f1

parent

Node parent

Class ExclusiveOrExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

AndExpression f0

f1

NodeListOptional f1

parent

Node parent

Class ExplicitConstructorInvocation extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class Expression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

ConditionalExpression f0

f1

NodeOptional f1

parent

Node parent

Class ExtendsList extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

ClassOrInterfaceType f1

f2

NodeListOptional f2

parent

Node parent

Class FieldDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

Type f0

f1

VariableDeclarator f1

f2

NodeListOptional f2

f3

NodeToken f3

parent

Node parent

Class ForInit extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class FormalParameter extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

Modifiers f0

f1

NodeOptional f1

f2

Type f2

f3

NodeOptional f3

f4

VariableDeclaratorId f4

parent

Node parent

Class FormalParameters extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeToken f2

parent

Node parent

Class ForStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeToken f1

f2

NodeChoice f2

f3

NodeToken f3

f4

Statement f4

parent

Node parent

Class ForUpdate extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

StatementExpressionList f0

parent

Node parent

Class IfStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeToken f1

f2

Expression f2

f3

NodeToken f3

f4

Statement f4

f5

NodeOptional f5

parent

Node parent

Class ImplementsList extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

ClassOrInterfaceType f1

f2

NodeListOptional f2

parent

Node parent

Class ImportDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

Name f2

f3

NodeOptional f3

f4

NodeToken f4

parent

Node parent

Class InclusiveOrExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

ExclusiveOrExpression f0

f1

NodeListOptional f1

parent

Node parent

Class Initializer extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeOptional f0

f1

Block f1

parent

Node parent

Class InstanceOfExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

RelationalExpression f0

f1

NodeOptional f1

parent

Node parent

Class LabeledStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeToken f1

f2

Statement f2

parent

Node parent

Class Literal extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class LocalVariableDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

Modifiers f0

f1

Type f1

f2

VariableDeclarator f2

f3

NodeListOptional f3

parent

Node parent

Class MarkerAnnotation extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

Name f1

parent

Node parent

Class MemberSelector extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

TypeArguments f1

f2

NodeToken f2

parent

Node parent

Class MemberValue extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class MemberValueArrayInitializer extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeToken f2

parent

Node parent

Class MemberValuePair extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeToken f1

f2

MemberValue f2

parent

Node parent

Class MemberValuePairs extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

MemberValuePair f0

f1

NodeListOptional f1

parent

Node parent

Class MethodDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeOptional f0

f1

ResultType f1

f2

MethodDeclarator f2

f3

NodeOptional f3

f4

NodeChoice f4

parent

Node parent

Class MethodDeclarator extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

FormalParameters f1

f2

NodeListOptional f2

parent

Node parent

Class Modifiers extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeListOptional f0

parent

Node parent

Class MultiplicativeExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

UnaryExpression f0

f1

NodeListOptional f1

parent

Node parent

Class Name extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeListOptional f1

parent

Node parent

Class NameList extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

Name f0

f1

NodeListOptional f1

parent

Node parent

Class NodeChoice extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

choice

Node choice

parent

Node parent

which

int which

Class NodeList extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

nodes

Vector<Node> nodes

parent

Node parent

Class NodeListOptional extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

nodes

Vector<Node> nodes

parent

Node parent

Class NodeOptional extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

node

Node node

parent

Node parent

Class NodeSequence extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

nodes

Vector<Node> nodes

parent

Node parent

Class NodeToken extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

beginColumn

int beginColumn

beginLine

int beginLine

endColumn

int endColumn

endLine

int endLine

kind

int kind

parent

Node parent

specialTokens

Vector<NodeToken> specialTokens

tokenImage

String tokenImage

Class NormalAnnotation extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

Name f1

f2

NodeToken f2

f3

NodeOptional f3

f4

NodeToken f4

parent

Node parent

Class NullLiteral extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

parent

Node parent

Class PackageDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

Modifiers f0

f1

NodeToken f1

f2

Name f2

f3

NodeToken f3

parent

Node parent

Class PostfixExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

PrimaryExpression f0

f1

NodeOptional f1

parent

Node parent

Class PreDecrementExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

PrimaryExpression f1

parent

Node parent

Class PreIncrementExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

PrimaryExpression f1

parent

Node parent

Class PrimaryExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

PrimaryPrefix f0

f1

NodeListOptional f1

parent

Node parent

Class PrimaryPrefix extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class PrimarySuffix extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class PrimitiveType extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class ReferenceType extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class RelationalExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

ShiftExpression f0

f1

NodeListOptional f1

parent

Node parent

Class ResultType extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class ReturnStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeToken f2

parent

Node parent

Class RSIGNEDSHIFT extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeSequence f0

parent

Node parent

Class RUNSIGNEDSHIFT extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeSequence f0

parent

Node parent

Class ShiftExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

AdditiveExpression f0

f1

NodeListOptional f1

parent

Node parent

Class SingleMemberAnnotation extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

Name f1

f2

NodeToken f2

f3

MemberValue f3

f4

NodeToken f4

parent

Node parent

Class Statement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class StatementExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class StatementExpressionList extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

StatementExpression f0

f1

NodeListOptional f1

parent

Node parent

Class SwitchLabel extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class SwitchStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeToken f1

f2

Expression f2

f3

NodeToken f3

f4

NodeToken f4

f5

NodeListOptional f5

f6

NodeToken f6

parent

Node parent

Class SynchronizedStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeToken f1

f2

Expression f2

f3

NodeToken f3

f4

Block f4

parent

Node parent

Class ThrowStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

Expression f1

f2

NodeToken f2

parent

Node parent

Class TryStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

Block f1

f2

NodeListOptional f2

f3

NodeOptional f3

parent

Node parent

Class Type extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class TypeArgument extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class TypeArguments extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

TypeArgument f1

f2

NodeListOptional f2

f3

NodeToken f3

parent

Node parent

Class TypeBound extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

ClassOrInterfaceType f1

f2

NodeListOptional f2

parent

Node parent

Class TypeDeclaration extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class TypeParameter extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeOptional f1

parent

Node parent

Class TypeParameters extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

TypeParameter f1

f2

NodeListOptional f2

f3

NodeToken f3

parent

Node parent

Class UnaryExpression extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class UnaryExpressionNotPlusMinus extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class VariableDeclarator extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

VariableDeclaratorId f0

f1

NodeOptional f1

parent

Node parent

Class VariableDeclaratorId extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeListOptional f1

parent

Node parent

Class VariableInitializer extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent

Class WhileStatement extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeToken f0

f1

NodeToken f1

f2

Expression f2

f3

NodeToken f3

f4

Statement f4

parent

Node parent

Class WildcardBounds extends Object implements Serializable

serialVersionUID:

20150406L

Serialized Fields

f0

NodeChoice f0

parent

Node parent