Serialized Form

Package daikon

Class Daikon.TerminationMessage extends RuntimeException implements Serializable

serialVersionUID: 20050923L

Class DynamicConstants extends Object implements Serializable

serialVersionUID: 20040401L

Serialized Fields

con_list

List<E> con_list

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

missing_list

List<E> missing_list

List of variables that have always been missing. For each element c, c.always_missing = true or con.vi.missingOutOfBounds().

all_vars

DynamicConstants.Constant[] all_vars

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

all_list

List<E> all_list

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

val

Object val

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

count

int count

The sample count of the constant.

vi

VarInfo vi

The variable that has this value.

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.

previous_constant

boolean previous_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 previous_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.

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.

Class FileIO.DeclError extends IOException implements Serializable

serialVersionUID: 20060518L

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

name

String name

Name of the variable (required)

kind

VarInfo.VarKind kind

Type of the variable (required)

enclosing_var

String enclosing_var

Variable that contains this variable (optional)

relative_name

String relative_name

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

ref_type

VarInfo.RefType ref_type

Type of reference for structure/class variables

arr_dims

int arr_dims

Number of array dimensions (0 or 1)

function_args

List<E> function_args

rep_type

ProglangType rep_type

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

declared_type

ProglangType declared_type

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

flags

EnumSet<E extends Enum<E>> flags

Variable flags (optional)

lang_flags

EnumSet<E extends Enum<E>> lang_flags

Language specific variable flags (optional)

comparability

VarComparability comparability

Comparability of this variable (required

parent_ppt

String parent_ppt

Parent program point in ppt hierarchy (optional)

parent_relation_id

int parent_relation_id

One of the relationship IDs for this ppt (optional)

parent_variable

String parent_variable

The parent var name in the parent ppt (defaults to this name)

static_constant_value

Object static_constant_value

Set if this 'variable' always has the same value (optional)

Class ModBitTracker extends Object implements Serializable

serialVersionUID: 20031014L

Serialized Fields

num_vars

int num_vars

The maximum number of BitSets; the size of modbits_arrays.

num_samples

int num_samples

The size of each BitSet in modbits_arrays.

modbits_arrays

BitSet[] modbits_arrays

The BitSets themselves.

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.

num_sets

int num_sets

The number of BitSets (equivalence sets) in use. All elements of modbits_arrays at or past this index are null.

this_bits

boolean[] this_bits

The bits for this ValueTuple (indexed by equivalence set.

this_bits_valid

boolean[] this_bits_valid

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

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.

Class Ppt extends Object implements Serializable

serialVersionUID: 20040914L

Serialized Fields

var_infos

VarInfo[] var_infos

Class PptCombined extends PptTopLevel implements Serializable

serialVersionUID: 20071129L

Serialized Fields

ppts

List<E> ppts

List of ppts that make up this combined ppt

debug

boolean debug

rvars

Map<K,V> rvars

Map from the name of a redundant variable to its leader (the earliest executed variable with guaranteed statically to have the same value).

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<K,V> nameToPpt

Class PptName extends Object implements Serializable

serialVersionUID: 20020122L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

fullname

String fullname

fn_name

String fn_name

point

String point

cls

String cls

method

String method

Class PptRelation extends Object implements Serializable

serialVersionUID: 20030819L

Serialized Fields

relationship

PptRelation.PptRelationType relationship

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

parent

PptTopLevel parent

Parent of relation.

child

PptTopLevel child

Child of relation.

parent_to_child_map

Map<K,V> parent_to_child_map

Map from parent vars to matching child vars.

child_to_parent_map

Map<K,V> child_to_parent_map

Map from child vars to matching parent vars.

Class PptSlice extends Ppt implements Serializable

serialVersionUID: 20040921L

Serialized Fields

parent

PptTopLevel parent

This is a slice of the 'parent' ppt.

invs

Invariants 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 addInvariant() and removeInvariant().

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 PptSplitter extends Object implements Serializable

serialVersionUID: 20031031L

Serialized Fields

parent

PptTopLevel parent

PptTopLevel that contains this split.

ppts

PptTopLevel[] ppts

PptConditionals for each splitter output. 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 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

flags

EnumSet<E extends Enum<E>> flags

Attributes of this ppt

type

PptTopLevel.PptType type

Type of this program point

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.

name

String name

ppt_name

PptName ppt_name

constants

DynamicConstants constants

List of constant variables. Null unless dkconfig_use_dynamic_constant_optimization is set.

num_declvars

int num_declvars

num_tracevars

int num_tracevars

num_orig_vars

int num_orig_vars

num_static_constant_vars

int num_static_constant_vars

values_num_samples

int values_num_samples

mbtracker

ModBitTracker mbtracker

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

value_sets

ValueSet[] value_sets

Keep track of values we have seen for each variable

views

Map<K,V> 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

splitters

ArrayList<E> splitters

List of all of the splitters for this ppt.

children

List<E> children

All children relations in the variable/ppt hierarchy.

parents

List<E> parents

All parent relations in the variable/ppt hierarchy.

parent_relations

List<E> 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

ppt_successors

List<E> ppt_successors

List of successor program point names. Later changed into a list of successor PptTopLevel. Can be null (not an empty list) if there are no successors, as for an exit program point.

predecessors

List<E> predecessors

List of predecesor program points. Computed from ppt_successors. This field is only properly set and used when creating combined program points.

function_id

String function_id

Identifier of the function (for basic blocks)

bb_length

int bb_length

Length of basic block (bytes)

combined_ppts_init

boolean combined_ppts_init

True if this basic block has been combined with other basic blocks to form combined program points.

combined_ppt

PptCombined combined_ppt

Combined ppt that should be processed when this ppt is encountered. Only non-null for basic block ppts.

combined_subsumed

boolean combined_subsumed

True if this ppt is subsumed by combined_ppt. A different ppt is the trigger to the combined_ppt (ie, the ppt whose data is used to initiate the processing of a sample for the combined ppt

combined_subsumed_by

PptTopLevel combined_subsumed_by

The ppt whose combined ppt includes this one. Only non-null for basic block ppts.

last_values

ValueTuple last_values

The last set of values for this program point. Only for basic block ppts.

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

in_merge

boolean in_merge

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

equality_view

PptSliceEquality equality_view

Holds Equality invariants. Never null after invariants are instantiated.

redundant_invs

Set<E> redundant_invs

Redundant invariants, except for Equality invariants.

redundant_invs_equality

Set<E> redundant_invs_equality

The canonical VarInfo for the equality.

paramVars

Set<E> paramVars

Cached VarInfos that are parameter variables.

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

String base

dimensions

int dimensions

Class Runtime.AbstractException extends Error implements Serializable

serialVersionUID: 20020130L

Class VarComparabilityImplicit extends VarComparability implements Serializable

serialVersionUID: 20020122L

Serialized Fields

base

int base

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

indexTypes

VarComparabilityImplicit[] indexTypes

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

dimensions

int dimensions

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

cached_element_type

VarComparabilityImplicit cached_element_type

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

ppt

PptTopLevel ppt

The program point this variable is in.

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".

str_name

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.

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".)

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()

comparability

VarComparability comparability

Comparability info.

aux

VarInfoAux aux

Auxiliary info.

varinfo_index

int varinfo_index

The index in lists of VarInfo objects.

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.

is_static_constant

boolean is_static_constant

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

static_constant_value

Object static_constant_value

Null if not statically constant.

derived

Derivation derived

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

ref_type

VarInfo.RefType ref_type

var_kind

VarInfo.VarKind var_kind

var_flags

EnumSet<E extends Enum<E>> var_flags

lang_flags

EnumSet<E extends Enum<E>> lang_flags

vardef

FileIO.VarDefinition vardef

enclosing_var

VarInfo enclosing_var

arr_dims

int arr_dims

function_args

List<E> function_args

parent_ppt

String parent_ppt

Parent ppt for this variable (if any)

parent_variable

String parent_variable

Parent variable (within parent_ppt) (if any)

parent_relation_id

int parent_relation_id

Parent ppt relation id

relative_name

String relative_name

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

canBeMissing

boolean canBeMissing

True if this variable is ever missing

equalitySet

Equality equalitySet

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

sequenceSize

VarInfo sequenceSize

Cached value for sequenceSize()

postState

VarInfo postState

non-null if this is an orig() variable. Do not test equality! Only use its .name slot.

derivedParamCached

VarInfo derivedParamCached

Cached value for getDerivedParam().

isDerivedParamCached

Boolean isDerivedParamCached

Cached value for isDerivedParam().

isDerivedParamAndUninterestingCached

Boolean isDerivedParamAndUninterestingCached

Class VarInfo.IndexComparator extends Object implements Serializable

serialVersionUID: 20050923L

Class VarInfoAux extends Object implements Serializable

serialVersionUID: 20020614L

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

Special handler for deserialization.

Throws:

ObjectStreamException

Serialized Fields

map

Map<K,V> map

Contains the actual hashMap for this.

isInterned

boolean isInterned

Whether this is interned.

Class VarInfoName extends Object implements Serializable

serialVersionUID: 20020614L

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
                        ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Serialized Fields

name_cached

String name_cached

esc_name_cached

String esc_name_cached

simplify_name_cached

String[] simplify_name_cached

java_name_cached

String java_name_cached

jml_name_cached

String jml_name_cached

dbc_name_cached

String dbc_name_cached

identifier_name_cached

String identifier_name_cached

repr_cached

String repr_cached

Class VarInfoName.Add extends VarInfoName implements Serializable

serialVersionUID: 20020130L

Serialized Fields

term

VarInfoName term

amount

int amount

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

term

VarInfoName term

field

String field

Class VarInfoName.FunctionOf extends VarInfoName implements Serializable

serialVersionUID: 20020130L

Serialized Fields

function

String function

argument

VarInfoName argument

Class VarInfoName.FunctionOfN extends VarInfoName implements Serializable

serialVersionUID: 20020130L

Serialized Fields

function

String function

args

List<E> args

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

sequence

VarInfoName.Elements sequence

i

VarInfoName i

j

VarInfoName j

Class VarInfoName.Subscript extends VarInfoName implements Serializable

serialVersionUID: 20020130L

Serialized Fields

sequence

VarInfoName.Elements sequence

index

VarInfoName index

Class VarInfoName.TypeOf extends VarInfoName implements Serializable

serialVersionUID: 20020130L

Serialized Fields

term

VarInfoName term

Class VarInfoName.Union extends VarInfoName.FunctionOfN implements Serializable

serialVersionUID: 20020130L

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<E> statements

Class Configuration.ConfigException extends RuntimeException implements Serializable

serialVersionUID: 20020130L

Package daikon.dcomp

Class SummaryInfo.BadSummaryAnnotation extends RuntimeException implements Serializable

serialVersionUID: 20080703L

Package daikon.derive

Class Derivation extends Object implements Serializable

serialVersionUID: 20020122L

Serialized Fields

this_var_info

VarInfo this_var_info

missing_array_bounds

boolean missing_array_bounds

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

index_shift

int index_shift

from_start

boolean from_start

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

private void readObject(ObjectInputStream ois)
                 throws ClassNotFoundException,
                        IOException

Serialize pptmap and FileIO.new_decl_format

Throws:

ClassNotFoundException

IOException

writeObject

private void writeObject(ObjectOutputStream oos)
                  throws IOException

Include FileIO.new_decl_format in the stream

Throws:

IOException

Serialized Fields

pptToInvs

Map<K,V> pptToInvs

ppts

List<E> ppts

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

daikonFormat

String daikonFormat

javaFormat

String javaFormat

escFormat

String escFormat

simplifyFormat

String simplifyFormat

jmlFormat

String jmlFormat

dbcFormat

String dbcFormat

negated

boolean negated

valid

boolean valid

Class Equality extends Invariant implements Serializable

serialVersionUID: 20021231L

Serialized Fields

numSamples

int numSamples

How many samples this has seen.

vars

TreeSet<E> vars

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

leaderCache

VarInfo leaderCache

Class GuardingImplication extends Implication implements Serializable

serialVersionUID: 20020725L

Class Implication extends Joiner implements Serializable

serialVersionUID: 20030822L

Serialized Fields

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.

iff

boolean iff

Class Invariant extends Object implements Serializable

serialVersionUID: 20040921L

Serialized Fields

ppt

PptSlice ppt

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

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

Class Invariants extends ArrayList<Invariant> implements Serializable

serialVersionUID: 20020122L

Class Joiner extends Invariant implements Serializable

serialVersionUID: 20030822L

Serialized Fields

left

Invariant left

right

Invariant right

Class ValueSet extends LimitedSizeIntSet implements Serializable

serialVersionUID: 20020122L

Class ValueSet.ValueSetFloat extends ValueSet implements Serializable

serialVersionUID: 20031017L

Serialized Fields

min_val

double min_val

max_val

double max_val

can_be_NaN

boolean can_be_NaN

Class ValueSet.ValueSetFloatArray extends ValueSet implements Serializable

serialVersionUID: 20031017L

Serialized Fields

min_val

double min_val

max_val

double max_val

can_be_NaN

boolean can_be_NaN

max_length

int max_length

elem_cnt

int elem_cnt

multi_arr_cnt

int multi_arr_cnt

Class ValueSet.ValueSetScalar extends ValueSet implements Serializable

serialVersionUID: 20031017L

Serialized Fields

min_val

long min_val

max_val

long max_val

Class ValueSet.ValueSetScalarArray extends ValueSet implements Serializable

serialVersionUID: 20031017L

Serialized Fields

min_val

long min_val

max_val

long max_val

max_length

int max_length

elem_cnt

int elem_cnt

multi_arr_cnt

int multi_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

multi_arr_cnt

int multi_arr_cnt

Package daikon.inv.binary

Class BinaryInvariant extends Invariant implements Serializable

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

b

double b

c

double c

min_x

long min_x

min_y

long min_y

max_x

long max_x

max_y

long max_y

min_a

double min_a

max_a

double max_a

min_b

double min_b

max_b

double max_b

min_c

double min_c

max_c

double max_c

wrapper

Invariant wrapper

values_seen

int values_seen

x_cache

long[] x_cache

y_cache

long[] y_cache

Class LinearBinaryCoreFloat extends Object implements Serializable

serialVersionUID: 20030822L

Serialized Fields

a

double a

b

double b

c

double c

min_x

double min_x

min_y

double min_y

max_x

double max_x

max_y

double max_y

min_a

double min_a

max_a

double max_a

min_b

double min_b

max_b

double max_b

min_c

double min_c

max_c

double max_c

wrapper

Invariant wrapper

values_seen

int values_seen

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

d

double d

min_a

double min_a

max_a

double max_a

min_b

double min_b

max_b

double max_b

min_c

double min_c

max_c

double max_c

min_d

double min_d

max_d

double max_d

separation

double separation

coefficients

double[] coefficients

line_flag

LinearTernaryCore.Flag line_flag

def_points

LinearTernaryCore.Point[] def_points

wrapper

Invariant wrapper

values_seen

int values_seen

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

d

double d

min_a

double min_a

max_a

double max_a

min_b

double min_b

max_b

double max_b

min_c

double min_c

max_c

double max_c

min_d

double min_d

max_d

double max_d

separation

double separation

coefficients

double[] coefficients

line_flag

LinearTernaryCoreFloat.Flag line_flag

def_points

LinearTernaryCoreFloat.Point[] def_points

wrapper

Invariant wrapper

values_seen

int values_seen

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

min1

long min1

num_min1

int num_min1

min2

long min2

num_min2

int num_min2

min3

long min3

num_min3

int num_min3

max

long max

samples

int samples

wrapper

Invariant wrapper

Class LowerBoundCoreFloat extends Object implements Serializable

serialVersionUID: 20030822L

Serialized Fields

min1

double min1

num_min1

int num_min1

min2

double min2

num_min2

int num_min2

min3

double min3

num_min3

int num_min3

max

double max

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

num_max1

int num_max1

max2

long max2

num_max2

int num_max2

max3

long max3

num_max3

int num_max3

min

long min

samples

int samples

wrapper

Invariant wrapper

Class UpperBoundCoreFloat extends Object implements Serializable

serialVersionUID: 20030822L

Serialized Fields

max1

double max1

num_max1

int num_max1

max2

double max2

num_max2

int num_max2

max3

double max3

num_max3

int num_max3

min

double min

samples

int samples

wrapper

Invariant wrapper

Package daikon.inv.unary.scalar

Class CompleteOneOfScalar extends SingleScalar implements Serializable

serialVersionUID: 20091210L

Serialized Fields

vals

List<E> vals

List of values seen

Class CompleteOneOfScalar.Info extends Object implements Serializable

serialVersionUID: 20091210L

Serialized Fields

val

long val

cnt

int cnt

Class IsPointer extends SingleScalar implements Serializable

serialVersionUID: 20080221L

Serialized Fields

largestNonPointerValue

long largestNonPointerValue

smallestNonPointerValue

long smallestNonPointerValue

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

remainder

long remainder

value1

long value1

no_samples_seen

boolean no_samples_seen

Class NonModulus extends SingleScalar implements Serializable

serialVersionUID: 20020122L

Serialized Fields

elements

SortedSet<E> elements

modulus

long modulus

remainder

long remainder

no_result_yet

boolean no_result_yet

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

elts

int elts

intersect

double[] 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

elts

int elts

intersect

long[] 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[][] 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[][] 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<E> 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

val

String val

cnt

int cnt

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

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

elts

int elts

intersect

String[] 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

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

String[][] 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 Splitter extends Object implements Serializable

serialVersionUID: 20020122L

Serialized Fields

instantiated

boolean instantiated

Class SplitterExample extends Splitter implements Serializable

serialVersionUID: 20030218L

Serialized Fields

dummyInv

DummyInvariant dummyInv

x_varinfo

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

VarInfo caller_varinfo

ids

long[] ids

condition

String condition

Class ReturnTrueSplitter extends Splitter implements Serializable

serialVersionUID: 20020122L

Serialized Fields

return_varinfo

VarInfo return_varinfo

Package daikon.test.diff

Class DiffDummyInvariant extends Invariant implements Serializable

serialVersionUID: 20020122L

Serialized Fields

formula

String formula

confidence

double confidence

interesting

boolean interesting

isWorthPrinting

boolean isWorthPrinting

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

method

String method

kind

Property.Kind kind

daikonRep

String daikonRep

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

invRep

String invRep

JML representation of this property.

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.

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 daikon.util

Class Assert.AssertionException extends Error implements Serializable

serialVersionUID: 20050923L

Class FileIOException extends IOException implements Serializable

serialVersionUID: 20050923L

Serialized Fields

fileName

String fileName

lineNumber

int lineNumber

Class LimitedSizeIntSet extends Object implements Serializable

serialVersionUID: 20031021L

Serialized Fields

values

int[] values

num_values

int num_values

Class LimitedSizeSet extends Object implements Serializable

serialVersionUID: 20031021L

Serialized Fields

values

Object[] values

num_values

int num_values

Class Options.ArgException extends Exception implements Serializable

serialVersionUID: 20051223L

Package jtb

Class ParseException extends Exception implements Serializable

serialVersionUID: 20050923L

Serialized Fields

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).

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.

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.

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.

eol

String eol

The end of line string for this machine.

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

Class ParseException extends Exception implements Serializable

serialVersionUID: 20050923L

Serialized Fields

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).

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.

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.

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.

eol

String eol

The end of line string for this machine.

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<E> nodes

Class NodeListOptional extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

nodes

Vector<E> 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<E> nodes

Class NodeToken extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

tokenImage

String tokenImage

specialTokens

Vector<E> specialTokens

beginLine

int beginLine

beginColumn

int beginColumn

endLine

int endLine

endColumn

int endColumn

kind

int kind

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: 20050923L

Serialized Fields

parent

Node parent

f0

MultiplicativeExpression f0

f1

NodeListOptional f1

Class AllocationExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class AndExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

EqualityExpression f0

f1

NodeListOptional f1

Class Annotation extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class AnnotationTypeBody extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeListOptional f1

f2

NodeToken f2

Class AnnotationTypeDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeToken f1

f2

NodeToken f2

f3

AnnotationTypeBody f3

Class AnnotationTypeMemberDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class ArgumentList extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

Expression f0

f1

NodeListOptional f1

Class Arguments extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeToken f2

Class ArrayDimsAndInits extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class ArrayInitializer extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeOptional f2

f3

NodeToken f3

Class AssertStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

Expression f1

f2

NodeOptional f2

f3

NodeToken f3

Class AssignmentOperator extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class Block extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeListOptional f1

f2

NodeToken f2

Class BlockStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class BooleanLiteral extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class BreakStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeToken f2

Class CastExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class CastLookahead extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class ClassOrInterfaceBody extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeListOptional f1

f2

NodeToken f2

Class ClassOrInterfaceBodyDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class ClassOrInterfaceDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

f1

NodeToken f1

f2

NodeOptional f2

f3

NodeOptional f3

f4

NodeOptional f4

f5

ClassOrInterfaceBody f5

Class ClassOrInterfaceType extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

unGenerifiedVersionOfThis

ClassOrInterfaceType unGenerifiedVersionOfThis

parent

Node parent

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeListOptional f2

Class CompilationUnit extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeOptional f0

f1

NodeListOptional f1

f2

NodeListOptional f2

f3

NodeToken f3

Class ConditionalAndExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

InclusiveOrExpression f0

f1

NodeListOptional f1

Class ConditionalExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

ConditionalOrExpression f0

f1

NodeOptional f1

Class ConditionalOrExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

ConditionalAndExpression f0

f1

NodeListOptional f1

Class ConstructorDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeOptional f0

f1

NodeToken f1

f2

FormalParameters f2

f3

NodeOptional f3

f4

NodeToken f4

f5

NodeOptional f5

f6

NodeListOptional f6

f7

NodeToken f7

Class ContinueStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeToken f2

Class DefaultValue extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

MemberValue f1

Class DoStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

Statement f1

f2

NodeToken f2

f3

NodeToken f3

f4

Expression f4

f5

NodeToken f5

f6

NodeToken f6

Class EmptyStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

Class EnumBody extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeOptional f2

f3

NodeOptional f3

f4

NodeToken f4

Class EnumConstant extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeOptional f2

Class EnumDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeToken f1

f2

NodeOptional f2

f3

EnumBody f3

Class EqualityExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

InstanceOfExpression f0

f1

NodeListOptional f1

Class ExclusiveOrExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

AndExpression f0

f1

NodeListOptional f1

Class ExplicitConstructorInvocation extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class Expression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

ConditionalExpression f0

f1

NodeOptional f1

Class ExtendsList extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

ClassOrInterfaceType f1

f2

NodeListOptional f2

Class FieldDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

Type f0

f1

VariableDeclarator f1

f2

NodeListOptional f2

f3

NodeToken f3

Class ForInit extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class FormalParameter extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeOptional f0

f1

Type f1

f2

NodeOptional f2

f3

VariableDeclaratorId f3

Class FormalParameters extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeToken f2

Class ForStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeToken f1

f2

NodeChoice f2

f3

NodeToken f3

f4

Statement f4

Class ForUpdate extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

StatementExpressionList f0

Class IfStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeToken f1

f2

Expression f2

f3

NodeToken f3

f4

Statement f4

f5

NodeOptional f5

Class ImplementsList extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

ClassOrInterfaceType f1

f2

NodeListOptional f2

Class ImportDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeOptional f1

f2

Name f2

f3

NodeOptional f3

f4

NodeToken f4

Class InclusiveOrExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

ExclusiveOrExpression f0

f1

NodeListOptional f1

Class Initializer extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeOptional f0

f1

Block f1

Class InstanceOfExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

RelationalExpression f0

f1

NodeOptional f1

Class LabeledStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeToken f1

f2

Statement f2

Class Literal extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class LocalVariableDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeOptional f0

f1

Type f1

f2

VariableDeclarator f2

f3

NodeListOptional f3

Class MarkerAnnotation extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

Name f1

Class MemberSelector extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

TypeArguments f1

f2

NodeToken f2

Class MemberValue extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class MemberValueArrayInitializer extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

MemberValue f1

f2

NodeListOptional f2

f3

NodeOptional f3

f4

NodeToken f4

Class MemberValuePair extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeToken f1

f2

MemberValue f2

Class MemberValuePairs extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

MemberValuePair f0

f1

NodeListOptional f1

Class MethodDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeOptional f0

f1

ResultType f1

f2

MethodDeclarator f2

f3

NodeOptional f3

f4

NodeChoice f4

Class MethodDeclarator extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

FormalParameters f1

f2

NodeListOptional f2

Class Modifiers extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeListOptional f0

Class MultiplicativeExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

UnaryExpression f0

f1

NodeListOptional f1

Class Name extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeListOptional f1

Class NameList extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

Name f0

f1

NodeListOptional f1

Class NodeChoice extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

choice

Node choice

which

int which

Class NodeList extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

nodes

Vector<E> nodes

Class NodeListOptional extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

nodes

Vector<E> nodes

Class NodeOptional extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

node

Node node

Class NodeSequence extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

nodes

Vector<E> nodes

Class NodeToken extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

tokenImage

String tokenImage

specialTokens

Vector<E> specialTokens

beginLine

int beginLine

beginColumn

int beginColumn

endLine

int endLine

endColumn

int endColumn

kind

int kind

Class NormalAnnotation extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

Name f1

f2

NodeToken f2

f3

NodeOptional f3

f4

NodeToken f4

Class NullLiteral extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

Class PackageDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

Name f1

f2

NodeToken f2

Class PostfixExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

PrimaryExpression f0

f1

NodeOptional f1

Class PreDecrementExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

PrimaryExpression f1

Class PreIncrementExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

PrimaryExpression f1

Class PrimaryExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

PrimaryPrefix f0

f1

NodeListOptional f1

Class PrimaryPrefix extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class PrimarySuffix extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class PrimitiveType extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class ReferenceType extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class RelationalExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

ShiftExpression f0

f1

NodeListOptional f1

Class ResultType extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class ReturnStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeOptional f1

f2

NodeToken f2

Class RSIGNEDSHIFT extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeSequence f0

Class RUNSIGNEDSHIFT extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeSequence f0

Class ShiftExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

AdditiveExpression f0

f1

NodeListOptional f1

Class SingleMemberAnnotation extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

Name f1

f2

NodeToken f2

f3

MemberValue f3

f4

NodeToken f4

Class Statement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class StatementExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class StatementExpressionList extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

StatementExpression f0

f1

NodeListOptional f1

Class SwitchLabel extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class SwitchStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeToken f1

f2

Expression f2

f3

NodeToken f3

f4

NodeToken f4

f5

NodeListOptional f5

f6

NodeToken f6

Class SynchronizedStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeToken f1

f2

Expression f2

f3

NodeToken f3

f4

Block f4

Class ThrowStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

Expression f1

f2

NodeToken f2

Class TryStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

Block f1

f2

NodeListOptional f2

f3

NodeOptional f3

Class Type extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class TypeArgument extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class TypeArguments extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

TypeArgument f1

f2

NodeListOptional f2

f3

NodeToken f3

Class TypeBound extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

ClassOrInterfaceType f1

f2

NodeListOptional f2

Class TypeDeclaration extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class TypeParameter extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeOptional f1

Class TypeParameters extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

TypeParameter f1

f2

NodeListOptional f2

f3

NodeToken f3

Class UnaryExpression extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class UnaryExpressionNotPlusMinus extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class VariableDeclarator extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

VariableDeclaratorId f0

f1

NodeOptional f1

Class VariableDeclaratorId extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeListOptional f1

Class VariableInitializer extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0

Class WhileStatement extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeToken f0

f1

NodeToken f1

f2

Expression f2

f3

NodeToken f3

f4

Statement f4

Class WildcardBounds extends Object implements Serializable

serialVersionUID: 20050923L

Serialized Fields

parent

Node parent

f0

NodeChoice f0