Serialized Form

Package edu.ksu.cis.projects.bogor.ast

Class edu.ksu.cis.projects.bogor.ast.AbstractLocal extends Node implements Serializable

Serialized Fields

parent

FSM parent

Holds the parent of this object.

typedId

TypedId typedId

Holds the typed-id. Non-null.

isTransient

boolean isTransient

Flag indicating whether this variable should be encoded into state vector.

Class edu.ksu.cis.projects.bogor.ast.Action extends Node implements Serializable

Serialized Fields

parent

IActionParent parent

Holds the parent of this object.

Class edu.ksu.cis.projects.bogor.ast.ActionExtension extends Extension implements Serializable

Serialized Fields

id

String id

Holds this action extension id. Non-null.

params

ArrayList<E> params

Holds the fixed parameter types. Non-null. Each element is non-null.

paramLazyModifiers

boolean[] paramLazyModifiers

Holds the fixed parameter type lazy modifiers. Non-null.

typeVarIds

String[] typeVarIds

Holds the fixed variable type ids. Non-null. Each element is non-null. Each element is distinct.

variableParameterLength

boolean variableParameterLength

Indicates whether this action extension supports variable length parameters.

Class edu.ksu.cis.projects.bogor.ast.ActionStatement extends Statement implements Serializable

Serialized Fields

action

Action action

Holds the action. Must be non-null.

Class edu.ksu.cis.projects.bogor.ast.ApplyExp extends Exp implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

args

Exp[] args

Holds the arguments. Non-null. Each element is non-null.

Class edu.ksu.cis.projects.bogor.ast.ArrayAccessExp extends LValueExp implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

index

Exp index

Holds the index exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.AssertAction extends Action implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.AssignAction extends Action implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

lhs

LValueExp lhs

Holds the lhs. Non-null.

Class edu.ksu.cis.projects.bogor.ast.AssumeAction extends Action implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.ASTArrayType extends ASTType implements Serializable

Serialized Fields

type

ASTType type

Holds the type. Non-null. Not instanceof ASTArrayType.

rank

int rank

Holds the rank. Greater than zero.

Class edu.ksu.cis.projects.bogor.ast.ASTBooleanType extends ASTType implements Serializable

Class edu.ksu.cis.projects.bogor.ast.ASTDoubleType extends ASTType implements Serializable

Class edu.ksu.cis.projects.bogor.ast.ASTExtType extends ASTType implements Serializable

Serialized Fields

id

String id

Holds the fully qualified name of the type extension. Non-null.

types

ASTType[] types

Holds the type arguments for this type extension. Non-null. Each element is non-null.

Class edu.ksu.cis.projects.bogor.ast.ASTFloatType extends ASTType implements Serializable

Class edu.ksu.cis.projects.bogor.ast.ASTFunType extends ASTType implements Serializable

Serialized Fields

paramTypes

ASTType[] paramTypes

Holds the parameter types of this functional type. Non-null. Each element is non-null.

returnType

ASTType returnType

Holds the return type of this functional type.

Class edu.ksu.cis.projects.bogor.ast.ASTIntRangeType extends ASTType implements Serializable

Serialized Fields

highLimit

IntLiteral highLimit

Holds the high limit. Non-null.

lowLimit

IntLiteral lowLimit

Holds the low limit. Non-null.

wrap

boolean wrap

Holds the wrap.

Class edu.ksu.cis.projects.bogor.ast.ASTIntType extends ASTType implements Serializable

Class edu.ksu.cis.projects.bogor.ast.ASTLockType extends ASTType implements Serializable

Class edu.ksu.cis.projects.bogor.ast.ASTLongRangeType extends ASTType implements Serializable

Serialized Fields

highLimit

LongLiteral highLimit

Holds the high limit. Non-null.

lowLimit

LongLiteral lowLimit

Holds the low limit. Non-null.

wrap

boolean wrap

Holds the wrap.

Class edu.ksu.cis.projects.bogor.ast.ASTLongType extends ASTType implements Serializable

Class edu.ksu.cis.projects.bogor.ast.ASTStringType extends ASTType implements Serializable

Class edu.ksu.cis.projects.bogor.ast.ASTThreadIdType extends ASTType implements Serializable

Class edu.ksu.cis.projects.bogor.ast.ASTType extends Node implements Serializable

Serialized Fields

parent

ITypeParent parent

Holds the parent of this object.

Class edu.ksu.cis.projects.bogor.ast.AtomicActionStatement extends Statement implements Serializable

Serialized Fields

action

Action action

Holds the action. Must be non-null.

Class edu.ksu.cis.projects.bogor.ast.AtomicExp extends Exp implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.AtomicStatement extends Statement implements Serializable

Serialized Fields

stmt

Statement stmt

Holds the statement. Must be non-null.

Class edu.ksu.cis.projects.bogor.ast.BinaryExp extends Exp implements Serializable

Serialized Fields

exp1

Exp exp1

Holds the first exp. Non-null.

exp2

Exp exp2

Holds the second exp. Non-null.

binaryOp

BinaryOp binaryOp

Holds the binary operator. Valid.

Class edu.ksu.cis.projects.bogor.ast.BlockStatement extends Statement implements Serializable

Serialized Fields

stmts

ArrayList<E> stmts

Holds the statements. Must be non-null.

Class edu.ksu.cis.projects.bogor.ast.BlockTransformation extends Transformation implements Serializable

Serialized Fields

actions

Action[] actions

Holds the actions. Non-null. Each element is non-null.

Class edu.ksu.cis.projects.bogor.ast.BooleanConstant extends Constant implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

bool

boolean bool

Holds the boolean.

Class edu.ksu.cis.projects.bogor.ast.BooleanLiteral extends Literal implements Serializable

Serialized Fields

bool

boolean bool

Holds the bool.

Class edu.ksu.cis.projects.bogor.ast.CastExp extends Exp implements Serializable

Serialized Fields

type

ASTType type

Holds the type. Non-null.

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.Catch extends Node implements Serializable

Serialized Fields

isLocComplement

boolean isLocComplement

Holds catch mode. False if the locations not listed are the catch locations.

parent

FSM parent

Holds the parent of this object.

nextState

NextState nextState

Holds the nextstate. Non-null.

id

String id

Holds the id. Non-null.

throwableId

String throwableId

Holds the throwable id. Non-null.

locIds

String[] locIds

Holds the location ids. Non-null. Each element must be non-null. The number of elements must be greater than zero.

Class edu.ksu.cis.projects.bogor.ast.ChooseStatement extends Statement implements Serializable

Serialized Fields

exps

ArrayList<E> exps

Holds the choose conditions. Must be non-null.

stmts

ArrayList<E> stmts

Holds the choose statements. Must be non-null.

elseStmt

Statement elseStmt

Holds the optional else's statement. Must be non-null.

Class edu.ksu.cis.projects.bogor.ast.ConditionalExp extends Exp implements Serializable

Serialized Fields

cond

Exp cond

Holds the condition exp. Non-null.

exp1

Exp exp1

Holds the first exp. Non-null.

exp2

Exp exp2

Holds the second exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.Constant extends Node implements Serializable

Serialized Fields

parent

ConstantDefinition parent

Holds the parent of this object.

optionalCoercedType

ASTType optionalCoercedType

Holds the optional casted type of the constant.

Class edu.ksu.cis.projects.bogor.ast.ConstantDefinition extends Definition implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

constants

Constant[] constants

Holds the constants. Non-null. Each element is non-null.

Class edu.ksu.cis.projects.bogor.ast.Definition extends SystemMember implements Serializable

Class edu.ksu.cis.projects.bogor.ast.DoubleConstant extends Constant implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

d

double d

Holds the double.

Class edu.ksu.cis.projects.bogor.ast.DoubleLiteral extends Literal implements Serializable

Serialized Fields

d

double d

Holds the double.

Class edu.ksu.cis.projects.bogor.ast.EnumDefinition extends Definition implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

enumConstants

String[] enumConstants

Holds the enum constants. Non-null. Each element is non-null.

Class edu.ksu.cis.projects.bogor.ast.ExitThreadAction extends Action implements Serializable

Class edu.ksu.cis.projects.bogor.ast.Exp extends Node implements Serializable

Serialized Fields

parent

IExpParent parent

Holds the parent of this object.

Class edu.ksu.cis.projects.bogor.ast.ExpAction extends Action implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.ExpExtension extends Extension implements Serializable

Serialized Fields

expType

ASTType expType

Holds the return type of this exp extension. Must be non-null.

id

String id

Holds this exp extension id. Non-null.

params

ArrayList<E> params

Holds the fixed parameter types. Non-null. Each element is non-null.

paramLazyModifiers

boolean[] paramLazyModifiers

Holds the fixed parameter type lazy modifiers. Non-null.

typeVarIds

String[] typeVarIds

Holds the fixed variable type ids. Non-null. Each element is non-null. Each element is distinct.

variableParameterLength

boolean variableParameterLength

Indicates whether this exp extension supports variable length parameters.

Class edu.ksu.cis.projects.bogor.ast.Extension extends Node implements Serializable

Serialized Fields

parent

ExtensionDefinition parent

Holds the parent of this object.

Class edu.ksu.cis.projects.bogor.ast.ExtensionDefinition extends Definition implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

name

String name

Holds the fully qualified Java class name. Non-null.

extensions

Extension[] extensions

Holds the extensions. Non-null. Each element is non-null.

Class edu.ksu.cis.projects.bogor.ast.ExtExp extends Exp implements Serializable

Serialized Fields

extId

String extId

Holds the extension id. Non-null.

id

String id

Holds this exp extension id. Non-null.

args

Exp[] args

Holds the arguments. Non-null. Each element is non-null.

typeVarArgs

ASTType[] typeVarArgs

Holds the arguments for the variable type ids. Non-null. Each element is non-null.

Class edu.ksu.cis.projects.bogor.ast.Field extends Node implements Serializable

Serialized Fields

typedId

TypedId typedId

Holds the typed-id. Non-null.

isTransient

boolean isTransient

Flag indicating whether this variable should be encoded into state vector.

parent

RecordDefinition parent

Holds the parent of this object.

Class edu.ksu.cis.projects.bogor.ast.FieldAccessExp extends LValueExp implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

id

String id

Holds the id. Non-null.

isConstant

boolean isConstant

Indicates whether this is a constant/enum field access.

isLength

boolean isLength

Indicates whehter this is an array length access.

fieldIndex

int fieldIndex

Holds the field index if a record/array field access.

Class edu.ksu.cis.projects.bogor.ast.FloatConstant extends Constant implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

f

float f

Holds the float.

Class edu.ksu.cis.projects.bogor.ast.FloatLiteral extends Literal implements Serializable

Serialized Fields

f

float f

Holds the float.

Class edu.ksu.cis.projects.bogor.ast.FSM extends SystemMember implements Serializable

Serialized Fields

keyword

FSM.DeclarationKeyword keyword

Holds the keyword which was used to declare this function.

id

String id

Holds the id. Non-null.

catches

Catch[] catches

Holds the catches. Non-null. Each element is non-null.

locals

Local[] locals

Holds the locals. Non-null. Each element is non-null.

locations

Location[] locations

Holds the locations. Non-null. Each element is non-null. The number of elements is greater than zero.

params

Param[] params

Holds the params. Non-null. Each element is non-null.

isMain

boolean isMain

Holds the main.

optionalActiveMultiplicityExp

Exp optionalActiveMultiplicityExp

Expression giving number of replicated threads (if active).

isActive

boolean isActive

Indicates whether thread automatically starts.

returnType

ASTType returnType

Holds the optional return type.

stmt

Statement stmt

Holds the statement. Non-null.

Class edu.ksu.cis.projects.bogor.ast.Fun extends SystemMember implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

params

TypedId[] params

Holds the params. Non-null. Each element is non-null.

returnType

ASTType returnType

Holds the return type. Non-null.

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.Global extends SystemMember implements Serializable

Serialized Fields

value

InitialValue value

Holds the optional value.

typedId

TypedId typedId

Holds the typed-id. Non-null.

isTransient

boolean isTransient

Flag indicating whether this variable should be encoded into state vector.

Class edu.ksu.cis.projects.bogor.ast.GotoNextState extends NextState implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

Class edu.ksu.cis.projects.bogor.ast.IdExp extends LValueExp implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

isGlobal

boolean isGlobal

Indicates whether a global ref.

isLocal

boolean isLocal

Indicates whether a local ref.

isFun

boolean isFun

Indicates whether a fun ref.

index

int index

Holds the global or local index.

Class edu.ksu.cis.projects.bogor.ast.IdPrintArg extends PrintArg implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

Class edu.ksu.cis.projects.bogor.ast.IdType extends ASTType implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

Class edu.ksu.cis.projects.bogor.ast.IfStatement extends Statement implements Serializable

Serialized Fields

exp

Exp exp

Holds the condition. Must be non-null.

stmt

Statement stmt

Holds the statement. Must be non-null.

exps

ArrayList<E> exps

Holds the optional elseif's conditions. Must be non-null.

stmts

ArrayList<E> stmts

Holds the optional elseif's statements. Must be non-null.

elseStmt

Statement elseStmt

Holds the optional else's statement. Must be non-null.

Class edu.ksu.cis.projects.bogor.ast.InitialValue extends Node implements Serializable

Serialized Fields

value

Exp value

The constant or literal expression. Non-null.

coercedType

ASTType coercedType

Holds the optional coerced type.

parent

IInitialValueParent parent

Holds parent of this value

Class edu.ksu.cis.projects.bogor.ast.InstanceofExp extends Exp implements Serializable

Serialized Fields

type

ASTType type

Holds the type. Non-null.

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.IntConstant extends Constant implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

integer

BigInteger integer

Holds the integer.

radix

Radix radix

The base used to encode the constant.

Class edu.ksu.cis.projects.bogor.ast.IntLiteral extends Literal implements Serializable

Serialized Fields

integer

BigInteger integer

Holds the integer.

radix

Radix radix

Base used to encode the literal

Class edu.ksu.cis.projects.bogor.ast.InvokeAction extends Action implements Serializable

Serialized Fields

exp

ApplyExp exp

Class edu.ksu.cis.projects.bogor.ast.InvokeExp extends Exp implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

args

Exp[] args

Holds the arguments. Non-null. Each element is non-null.

virtual

boolean virtual

Holds the virtual.

Class edu.ksu.cis.projects.bogor.ast.InvokeTransformation extends Transformation implements Serializable

Serialized Fields

invokeExp

InvokeExp invokeExp

Holds the invoke exp. Non-null.

id

String id

Holds the optional local id.

localIndex

int localIndex

Holds the local index.

See Also:

FSMSymbolTable.getLocalIndexTable()

Class edu.ksu.cis.projects.bogor.ast.KindofExp extends Exp implements Serializable

Serialized Fields

type

ASTType type

Holds the type. Non-null.

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.LetExp extends Exp implements Serializable

Serialized Fields

bindingTypes

ASTType[] bindingTypes

Holds the binding types. Non-null.

bindingIds

String[] bindingIds

Holds the binding ids. Non-null.

bindingExps

Exp[] bindingExps

Holds the binding exps. Non-null. Each element is non-null.

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.Literal extends Node implements Serializable

Serialized Fields

parent

ILiteralParent parent

Holds the parent of this object. Non-null.

Class edu.ksu.cis.projects.bogor.ast.LiteralExp extends Exp implements Serializable

Serialized Fields

literal

Literal literal

Holds the literal. Non-null.

Class edu.ksu.cis.projects.bogor.ast.LiveSet extends Node implements Serializable

Serialized Fields

parent

Location parent

Holds the parent of this object.

ids

String[] ids

Holds the ids. Non-null. Each element is non-null.

Class edu.ksu.cis.projects.bogor.ast.Local extends AbstractLocal implements Serializable

Serialized Fields

value

InitialValue value

Holds the optional value.

Class edu.ksu.cis.projects.bogor.ast.Location extends Node implements Serializable

Serialized Fields

parent

FSM parent

Holds the parent of this object.

liveSet

LiveSet liveSet

Holds the liveset. Non-null.

id

String id

Holds the id. Non-null.

transformations

Transformation[] transformations

Holds the transformations. Non-null. Each element is non-null.

Class edu.ksu.cis.projects.bogor.ast.LocationInfo extends Object implements Serializable

Serialized Fields

parent

Node parent

Holds the parent of this object.

column1

int column1

Holds the start column number. Greater than zero.

column2

int column2

Holds the end column number. Greater than zero.

line1

int line1

Holds the start position. Greater than or equal to zero.

line2

int line2

Holds the end line number. Greater than zero.

Class edu.ksu.cis.projects.bogor.ast.LockAction extends Action implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

lockOp

LockOp lockOp

Holds the lock operator. Valid.

Class edu.ksu.cis.projects.bogor.ast.LockTestExp extends Exp implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

lockTestOp

LockTestOp lockTestOp

Holds the lock test operator. Valid.

Class edu.ksu.cis.projects.bogor.ast.LongConstant extends Constant implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

l

BigInteger l

Holds the long.

radix

Radix radix

The base used when encoding the value as a literal

Class edu.ksu.cis.projects.bogor.ast.LongLiteral extends Literal implements Serializable

Serialized Fields

l

BigInteger l

Holds the long.

radix

Radix radix

Base used to encode the literal

Class edu.ksu.cis.projects.bogor.ast.LValueExp extends Exp implements Serializable

Class edu.ksu.cis.projects.bogor.ast.NewArrayExp extends Exp implements Serializable

Serialized Fields

type

ASTType type

Holds the type. Non-null.

lengths

Exp[] lengths

Holds the lengths. Non-null.

rank

int rank

Holds the rank. Greater than zero.

Class edu.ksu.cis.projects.bogor.ast.NewLockExp extends Exp implements Serializable

Class edu.ksu.cis.projects.bogor.ast.NewRecordExp extends Exp implements Serializable

Serialized Fields

type

ASTType type

Holds the type. Non-null.

Class edu.ksu.cis.projects.bogor.ast.NextState extends Node implements Serializable

Serialized Fields

parent

INextStateParent parent

Holds the parent of this object.

Class edu.ksu.cis.projects.bogor.ast.Node extends Object implements Serializable

Serialized Fields

locInfo

LocationInfo locInfo

Holds the location information of this object. Non-null.

properties

IntObjectTable<V> properties

Holds the properties of this node.

Class edu.ksu.cis.projects.bogor.ast.NullLiteral extends Literal implements Serializable

Class edu.ksu.cis.projects.bogor.ast.Param extends AbstractLocal implements Serializable

Class edu.ksu.cis.projects.bogor.ast.ParenExp extends Exp implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.PrintAction extends Action implements Serializable

Serialized Fields

printArgs

PrintArg[] printArgs

Holds the print arguments

Class edu.ksu.cis.projects.bogor.ast.PrintArg extends Node implements Serializable

Serialized Fields

parent

PrintAction parent

Holds the parent of this object.

Class edu.ksu.cis.projects.bogor.ast.RecordDefinition extends Definition implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

superIds

ArrayList<E> superIds

Holds the optional super-ids.

fields

Field[] fields

Holds the fields. Non-null. Each element is non-null.

throwable

boolean throwable

Holds the throwable

top

boolean top

Holds the top.

Class edu.ksu.cis.projects.bogor.ast.ReturnNextState extends NextState implements Serializable

Serialized Fields

id

String id

Holds the optional id.

index

int index

Holds the local index.

See Also:

FSMSymbolTable.getLocalIndexTable()

Class edu.ksu.cis.projects.bogor.ast.ReturnStatement extends Statement implements Serializable

Serialized Fields

exp

Exp exp

Holds the optional exp.

Class edu.ksu.cis.projects.bogor.ast.SkipStatement extends Statement implements Serializable

Class edu.ksu.cis.projects.bogor.ast.StartThreadExp extends Exp implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

args

Exp[] args

Holds the arguments. Non-null. Each element is non-null.

Class edu.ksu.cis.projects.bogor.ast.Statement extends Node implements Serializable

Serialized Fields

parent

IStatementParent parent

Holds the parent of this object.

Class edu.ksu.cis.projects.bogor.ast.StringConstant extends Constant implements Serializable

Serialized Fields

id

String id

Holds the id. Non-null.

string

String string

Holds the string, or null if the constant entry is bound to the null literal.

Class edu.ksu.cis.projects.bogor.ast.StringLiteral extends Literal implements Serializable

Serialized Fields

string

String string

Holds the string.

Class edu.ksu.cis.projects.bogor.ast.StringPrintArg extends PrintArg implements Serializable

Serialized Fields

string

String string

Holds the string. Non-null.

Class edu.ksu.cis.projects.bogor.ast.System extends Node implements Serializable

Serialized Fields

keyword

System.DeclarationKeyword keyword

Holds the keyword which was used to declare this function.

id

String id

Holds the system id. Non-null.

systemMembers

SystemMember[] systemMembers

Holds the system members. Non-null. Each element is non-null.

Class edu.ksu.cis.projects.bogor.ast.SystemMember extends Node implements Serializable

Serialized Fields

parent

System parent

Holds the parent of this object.

Class edu.ksu.cis.projects.bogor.ast.ThreadTestExp extends Exp implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.ast.ThrowAction extends Action implements Serializable

Serialized Fields

exp

Exp exp

Holds the exp. Non-null.

Class edu.ksu.cis.projects.bogor.