Serialized Form

Package envgen.codegen.javagrammar

Class envgen.codegen.javagrammar.JavaBody implements Serializable

Package envgen.spec.parser

Class envgen.spec.parser.ParseException implements Serializable

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

java.lang.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

java.lang.String eol

The end of line string for this machine.

Class envgen.spec.parser.TokenMgrError implements Serializable

Serialized Fields

errorCode

int errorCode

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

Package envgen.util

Class envgen.util.MultiSet implements Serializable

Serialized Fields

debug

int debug

Package envgen.analysis.stat.locs

Class envgen.analysis.stat.locs.SymLoc implements Serializable

Serialized Fields

kind

int kind

One of the different locations: unit, reachable from unit, environment, unknown, and dummy.

type

soot.Type type

Type of the object whose field is being modified. Used in chooseReachable("type", unit object).field or chooseClass("type").field.

modifiedAccessor

Accessor modifiedAccessor

Represents the modified field/element of the object/array.

modifiedType

soot.Type modifiedType

singular

boolean singular

debug

int debug

Class envgen.analysis.stat.locs.SymLocPath implements Serializable

Serialized Fields

root

Root root

Represents the very first base (b) of the symbolic location. For example the first base of an expression b.f1...fn is b.

accessors

java.util.List accessors

Represents the chain of the fields that need to be followed to reach the modified field.

length

int length

debug

int debug

Class envgen.analysis.stat.locs.SymLocTop implements Serializable

Serialized Fields

debug

int debug