Serialized Form
|
Package edu.ksu.cis.projects.bogor.ast |
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.
parent
IActionParent parent
- Holds the parent of this object.
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.
action
Action action
- Holds the action. Must be non-null.
id
String id
- Holds the id. Non-null.
args
Exp[] args
- Holds the arguments. Non-null. Each element is non-null.
exp
Exp exp
- Holds the exp. Non-null.
index
Exp index
- Holds the index exp. Non-null.
exp
Exp exp
- Holds the exp. Non-null.
exp
Exp exp
- Holds the exp. Non-null.
lhs
LValueExp lhs
- Holds the lhs. Non-null.
exp
Exp exp
- Holds the exp. Non-null.
type
ASTType type
- Holds the type. Non-null. Not instanceof ASTArrayType.
rank
int rank
- Holds the rank. Greater than zero.
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.
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.
highLimit
IntLiteral highLimit
- Holds the high limit. Non-null.
lowLimit
IntLiteral lowLimit
- Holds the low limit. Non-null.
wrap
boolean wrap
- Holds the wrap.
highLimit
LongLiteral highLimit
- Holds the high limit. Non-null.
lowLimit
LongLiteral lowLimit
- Holds the low limit. Non-null.
wrap
boolean wrap
- Holds the wrap.
parent
ITypeParent parent
- Holds the parent of this object.
action
Action action
- Holds the action. Must be non-null.
exp
Exp exp
- Holds the exp. Non-null.
stmt
Statement stmt
- Holds the statement. Must be non-null.
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.
stmts
ArrayList<E> stmts
- Holds the statements. Must be non-null.
actions
Action[] actions
- Holds the actions. Non-null. Each element is non-null.
id
String id
- Holds the id. Non-null.
bool
boolean bool
- Holds the boolean.
bool
boolean bool
- Holds the bool.
type
ASTType type
- Holds the type. Non-null.
exp
Exp exp
- Holds the exp. Non-null.
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.
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.
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.
parent
ConstantDefinition parent
- Holds the parent of this object.
optionalCoercedType
ASTType optionalCoercedType
- Holds the optional casted type of the constant.
id
String id
- Holds the id. Non-null.
constants
Constant[] constants
- Holds the constants. Non-null. Each element is non-null.
id
String id
- Holds the id. Non-null.
d
double d
- Holds the double.
d
double d
- Holds the double.
id
String id
- Holds the id. Non-null.
enumConstants
String[] enumConstants
- Holds the enum constants. Non-null. Each element is non-null.
parent
IExpParent parent
- Holds the parent of this object.
exp
Exp exp
- Holds the exp. Non-null.
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.
parent
ExtensionDefinition parent
- Holds the parent of this object.
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.
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.
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.
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.
id
String id
- Holds the id. Non-null.
f
float f
- Holds the float.
f
float f
- Holds the float.
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.
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.
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.
id
String id
- Holds the id. Non-null.
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.
id
String id
- Holds the id. Non-null.
id
String id
- Holds the id. Non-null.
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.
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
type
ASTType type
- Holds the type. Non-null.
exp
Exp exp
- Holds the exp. Non-null.
id
String id
- Holds the id. Non-null.
integer
BigInteger integer
- Holds the integer.
radix
Radix radix
- The base used to encode the constant.
integer
BigInteger integer
- Holds the integer.
radix
Radix radix
- Base used to encode the literal
exp
ApplyExp exp
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.
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()
type
ASTType type
- Holds the type. Non-null.
exp
Exp exp
- Holds the exp. Non-null.
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.
parent
ILiteralParent parent
- Holds the parent of this object. Non-null.
literal
Literal literal
- Holds the literal. Non-null.
parent
Location parent
- Holds the parent of this object.
ids
String[] ids
- Holds the ids. Non-null. Each element is non-null.
value
InitialValue value
- Holds the optional value.
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.
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.
exp
Exp exp
- Holds the exp. Non-null.
lockOp
LockOp lockOp
- Holds the lock operator. Valid.
exp
Exp exp
- Holds the exp. Non-null.
lockTestOp
LockTestOp lockTestOp
- Holds the lock test operator. Valid.
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
l
BigInteger l
- Holds the long.
radix
Radix radix
- Base used to encode the literal
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.
type
ASTType type
- Holds the type. Non-null.
parent
INextStateParent parent
- Holds the parent of this object.
locInfo
LocationInfo locInfo
- Holds the location information of this object. Non-null.
properties
IntObjectTable<V> properties
- Holds the properties of this node.
exp
Exp exp
- Holds the exp. Non-null.
printArgs
PrintArg[] printArgs
- Holds the print arguments
parent
PrintAction parent
- Holds the parent of this object.
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.
id
String id
- Holds the optional id.
index
int index
- Holds the local index.
- See Also:
FSMSymbolTable.getLocalIndexTable()
exp
Exp exp
- Holds the optional exp.
id
String id
- Holds the id. Non-null.
args
Exp[] args
- Holds the arguments. Non-null. Each element is non-null.
parent
IStatementParent parent
- Holds the parent of this object.
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.
string
String string
- Holds the string.
string
String string
- Holds the string. Non-null.
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.
parent
System parent
- Holds the parent of this object.
exp
Exp exp
- Holds the exp. Non-null.
exp
Exp exp
- Holds the exp. Non-null.
parent
Location parent
- Holds the parent of this object.
exp
Exp exp
- Holds the optional exp.
invisible
boolean invisible
- Holds the invisible.
visible
boolean visible
- Holds the visible.
nextState
NextState nextState
- Holds the nextstate. Non-null.
stmt
Statement stmt
- Holds the statement. Must be non-null.
records
ArrayList<E> records
- Holds the catch record ids. Must be non-null.
locals
ArrayList<E> locals
- Holds the catch local ids. Must be non-null.
stmts
ArrayList<E> stmts
- Holds the choose statements. Must be non-null.
type
ASTType type
- Holds the type. Non-null.
id
String id
- Holds the id. Non-null.
type
ASTType type
- Holds the type. Non-null.
id
String id
- Holds the id. Non-null.
parent
ITypedIdParent parent
- Holds the parent of this object.
primitive
boolean primitive
id
String id
- Holds this type extension id. Non-null.
typeVarIds
String[] typeVarIds
- Holds the fixed variable type ids. Non-null. Each element is non-null.
Each element is distinct.
exp
Exp exp
- Holds the exp. Non-null.
unaryOp
UnaryOp unaryOp
- Holds the unary operator. Valid.
id
String id
- Holds the virtual table id. Non-null.
enumId
String enumId
- Holds the optional enum id. Non-null.
data
String[] data
- Holds the data. Non-null. The number of element is equal to the number of
elements of keys. Each element is non-null.
keys
String[] keys
- Holds the keys. Non-null. The number of element is greater than zero.
Each element is non-null.
exp
Exp exp
- Holds the condition. Must be non-null.
stmt
Statement stmt
- Holds the statement. Must be non-null.
|
Package edu.ksu.cis.projects.bogor.module |
initialized
boolean initialized
id
String id
ti
int ti
choices
int[] choices
chosen
int[] chosen
|
Package edu.ksu.cis.projects.bogor.module.state |
threadLockCountMap
IntIntTable threadLockCountMap
- Holds the mapping of thread id (int) to its lock count (int) when
waiting. Non-null.
threadLocationStackMap
IntObjectTable<V> threadLocationStackMap
- Holds the mapping of thread id (int) to its location stack
(TIntArrayList). Non-null.
threadTransformationIndexStackMap
IntObjectTable<V> threadTransformationIndexStackMap
- Holds the mapping of thread id (int) to its transformation index stack
(TIntArrayList). Non-null.
threadStoreMap
IntObjectTable<V> threadStoreMap
- Holds the mapping of thread id (int) to thread store
(DefaultThreadStore). Non-null.
globalValues
IValueArray globalValues
- Holds the global values. Non-null.
valueStack
ArrayList<E> valueStack
- Holds the stack of local values of this thread store
ArrayList<IValueArray>. Non-null.
localValues
IValueArray localValues
- Holds the local values of this thread store. Non-null.
|
Package edu.ksu.cis.projects.bogor.module.throwable |
node
Node node
isDefined
boolean isDefined
- Indicates whether the exception thrown is defined.
throwableName
String throwableName
- Holds the throwable record id. Non-null.
throwableValue
IRecordValue throwableValue
- Holds the throwable record value.
|
Package edu.ksu.cis.projects.bogor.module.value |
fieldValues
IValueArray fieldValues
- Holds the field values of this array value. Non-null.
elementValues
IValueArray elementValues
- Holds the element values of this array value. Non-null.
lockValue
ILockValue lockValue
- Holds the lock value of this array value. Non-null.
type
ArrayType type
- The array type of this array value. Non-null.
referenceId
int referenceId
- Holds the reference id of this array. Must be greater than 0.
d
double d
- Holds the double of this double value.
type
DoubleType type
- Holds the type of this double value.
exp
Exp exp
- Holds the exp AST of this exp AST value.
f
float f
- Holds the float of this float value.
type
FloatType type
- Holds the type of this float value.
integer
int integer
- Holds the integer of this integer value.
type
Type type
- Holds the type of this integer value.
notification
IntSet notification
- Holds the notification set of this lock value. Non-null.
waiting
IntSet waiting
- Holds the wait set of this lock value. Non-null.
lockCounter
int lockCounter
- Holds the lock counter of this lock value's owner.
owner
int owner
- Holds the owner id of this lock value.
IStateFactory.EPSILON_THREAD, if free.
type
LockType type
- Holds the lock type of this lock value. Non-null.
referenceId
int referenceId
- Holds the reference id of this lock. Must be greater than 0.
l
long l
- Holds the long of this long value.
type
LongType type
- Holds the type of this long value.
type
NullType type
- Holds the null type of this null value.
type
RecordType type
- The record type of this record value. Non-null.
fieldValues
IValueArray fieldValues
- Holds the field values of this record. Non-null.
lockValue
ILockValue lockValue
- Holds the lock value of this record value. Non-null.
referenceId
int referenceId
- Holds the reference id of this record. Must be greater than 0.
s
String s
- Holds the string of this string value.
type
StringType type
- Holds the type of this string value.
referenceId
int referenceId
- Holds the reference id of this string value. Must be greater than 0.
intElementValues
int[] intElementValues
- Holds the values of this array value's int value elements. Non-null if
there is at least one int value element.
longElementValues
long[] longElementValues
- Holds the values of this array value's long value elements. Non-null if
there is at least one long value element.
floatElementValues
float[] floatElementValues
- Holds the values of this array value's float value elements. Non-null if
there is at least one float value element.
doubleElementValues
double[] doubleElementValues
- Holds the values of this array value's double value elements. Non-null if
there is at least one double value element.
primitiveExtElementValues
IPrimitiveExtValue[] primitiveExtElementValues
- Holds the values of this array value's primitive ext value elements.
Non-null if there is at least one primitive ext value element. Each
element is non-null.
nonPrimitiveElementValues
INonPrimitiveValue[] nonPrimitiveElementValues
- Holds the values of this array value's non-primitive value elements.
Non-null if there is at least one non-primitive value element. Each
element is non-null.
baseType
Type baseType
elementType
byte elementType
size
int size
elementIndexIndex
int[] elementIndexIndex
- Holds the mapping from element index to its typed index (
intElementValues,longElementValues,
floatElementValues,doubleElementValues,
or nonPrimitiveElementValues). Non-null if there is at
least one element.
elementIndexType
byte[] elementIndexType
- Holds the mapping from field index to its type (
INT_TYPE,
LONG_TYPE,FLOAT_TYPE,
DOUBLE_TYPE, or NON_PRIMITIVE_TYPE).
Non-null if there is at least one element.
intElementValues
int[] intElementValues
- Holds the values of this array value's int value elements. Non-null if
there is at least one int value element.
longElementValues
long[] longElementValues
- Holds the values of this array value's long value elements. Non-null if
there is at least one long value element.
floatElementValues
float[] floatElementValues
- Holds the values of this array value's float value elements. Non-null if
there is at least one float value element.
doubleElementValues
double[] doubleElementValues
- Holds the values of this array value's double value elements. Non-null if
there is at least one double value element.
primitiveExtElementValues
IPrimitiveExtValue[] primitiveExtElementValues
- Holds the values of this array value's primitive ext value elements.
Non-null if there is at least one primitive ext value element. Each
element is non-null.
nonPrimitiveElementValues
INonPrimitiveValue[] nonPrimitiveElementValues
- Holds the values of this array value's non-primitive value elements.
Non-null if there is at least one non-primitive value element. Each
element is non-null.
intElementTypes
Type[] intElementTypes
- Holds the type of this array value's int value elements. Non-null if
there is at least one int value element. Each element is instance of
BooleanType,IntType,
IntRangeType, or EnumType.
longElementTypes
LongType[] longElementTypes
- Holds the type of this array value's long value elements. Non-null if
there is at least one long value element. Each element is instance of
LongType, or LongRangeType.
|
Package edu.ksu.cis.projects.bogor.symboltable |
isAction
boolean isAction
- Indicates whether this symbol table is used for an action extension (or
an expression extension).
extDesc
int extDesc
- Holds the extension descriptor.
className
String className
- The fully qualified Java class name of the module that implements this
extension. Non-null.
extId
String extId
- The extension id of this extension. Non-null.
id
String id
- The id of this extension. Non-null.
expType
Type expType
- The expression type of this extension. Null if isAction is true.
Non-null otherwise.
paramTypes
Type[] paramTypes
- The parameter types of this extension. Non-null.
Each element is non-null.
typeVarIds
String[] typeVarIds
- The type variable ids of this extension. Non-null.
Each element is non-null.
variableParamLength
boolean variableParamLength
- Indicates whether this extension has a variable length parameter.
m
Method m
- Holds the Java method that implements this extension.
localTypes
ArrayList<E> localTypes
- Holds the FSM's local types ordered by declaration. Non-null (stage >=
2).
parameterTypes
ArrayList<E> parameterTypes
- Holds the FSM's parameter types. Non-null (stage >= 2).
errors
List<E> errors
- Holds the util.FileMessage error messages. Non-null (stage >= 0).
warnings
List<E> warnings
- Holds the util.FileMessage warning messages. Non-null (stage >= 0).
fsm
FSM fsm
- Holds the FSM's AST. Non-null.
localDefTable
Map<K,V> localDefTable
- Holds the local identifier (String) to its definition (Local or Param)
mapping. Non-null (stage >= 1).
localTable
Map<K,V> localTable
- Holds the local identifier (String) to its type (Type) mapping. Non-null
(stage >= 1).
locationDefTable
Map<K,V> locationDefTable
- Holds the location identifier (String) to its definition (Location)
mapping. Non-null (stage >= 3).
initialLocation
String initialLocation
- Holds the initial location for this FSM. Non-null (stage >= 4).
symbolTable
SymbolTable symbolTable
- Holds the symbol table for the system. Non-null.
catchTable
IntObjectTable<V> catchTable
- Holds the location (int) to the throwables that it can catch
(ArrayList<RecordType::String::NextState>) mapping. Non-null (stage
>= 3).
liveSetTable
IntObjectTable<V> liveSetTable
- Holds the location desc (int) to its live set (BitSet) mapping. Non-null
(stage >= 3).
transientFlags
BitSet transientFlags
- Holds the boolean flags recording whether each stack variable (either
parameter or local is transient). Non-null (stage > 1).
localIndexTable
ObjectIntTable<K> localIndexTable
- Holds the local identifier (String) to its index (int). Non-null (stage
>= 1).
locationDescTable
ObjectIntTable<K> locationDescTable
- Holds the location identifier (String) to its descriptor (int) mapping.
Non-null (stage >= 3).
returnType
Type returnType
- Holds the FSM's return type (if any).
stage
int stage
- Holds the current stage of the FSM symbol table.
globalTypes
ArrayList<E> globalTypes
- Holds the global types (ArrayList<Type>). Non-null (stage >= 3).
allErrors
Collection<E> allErrors
- Holds all the util.FileMessage error messages (including FSM errors).
Non-null (stage >= 0).
errors
List<E> errors
- Holds the util.FileMessage error messages (excluding FSM errors).
Non-null (stage >= 0).
warnings
List<E> warnings
- Holds the util.FileMessage warning messages. Non-null (stage >= 0).
typeTypeTable
Map<K,V> typeTypeTable
- Holds ast.ASTType to type.Type mapping. Non-null (stage >= 8).
constantTable
Map<K,V> constantTable
- Holds constant identifier (String) to its constant mapping
(Map<String, Integer/Boolean/Long/Float/Double/String>). Non-null
(stage >= 1).
constantTypeTable
Map<K,V> constantTypeTable
- Holds the mapping of the deduced (or explicitly coerced) type of each
bound identifier in constant definitions.
enumTable
Map<K,V> enumTable
- Holds enum identifier (String) to its type (EnumType). Non-null (stage
>= 1).
typealiasTable
Map<K,V> typealiasTable
- Holds typealias identifier (String) to its type (Type). Non-null (stage
>= 1).
expActionExtDefTable
Map<K,V> expActionExtDefTable
- Holds the exp or action extension qualified identifier (String) to its
declaration (ExpExtension/ActionExtension). Non-null (stage >= 1).
expActionExtTable
Map<K,V> expActionExtTable
- Holds the exp or action extension qualified identifier (String) to its
symbol table (ExtSymbolTable). Non-null (stage >= 1).
extensionDefTable
Map<K,V> extensionDefTable
- Holds the extension id (String) to its declaration (ExtensionDefinition)
mapping. Non-null (stage >= 1).
fieldDefTable
Map<K,V> fieldDefTable
- Holds field qualified name (String) to its definition (TypedId) mapping.
Non-null (stage >= 1).
forwardRecordTable
Map<K,V> forwardRecordTable
- Holds record name (String) to its forward references
(ArrayList<Node>) mapping.
functionDefTable
Map<K,V> functionDefTable
- Holds function identifier (String) to its definition (FSM) mapping.
Non-null (stage >= 5).
functionTable
Map<K,V> functionTable
- Holds function identifier (String) to its symbol table (FSMSymbolTable)
mapping. Non-null (stage >= 5).
globalFunTable
Map<K,V> globalFunTable
- Holds global/fun identifier (String) to its type (Type) mapping. Non-null
(stage >= 3).
identifierDefTable
Map<K,V> identifierDefTable
- Holds the constant/enum/typealias/global/fun identifier (String) to its
declaration
(ConstantDefinition/EnumDefinition/TypeAliasDefinition/Global/Fun)
mapping. Non-null (stage >= 1).
recordDefTable
Map<K,V> recordDefTable
- Holds record identifier (String) to its definition (RecordDefinition)
mapping. Non-null (stage >= 1).
recordTable
Map<K,V> recordTable
- Holds record identifier (String) to its type (RecordType) mapping.
Non-null (stage >= 1).
subRecordClosureTable
Map<K,V> subRecordClosureTable
- Holds record (String) to sub-records (Set<String>) mapping.
Non-null (stage >= 2).
subRecordTable
Map<K,V> subRecordTable
- Holds record (String) to sub-record (Set<String>) mapping. Non-null
(stage >= 2).
superRecordClosureTable
Map<K,V> superRecordClosureTable
- Holds record (String) to super-records (Set<String>) mapping.
Non-null (stage >= 2).
superRecordTable
Map<K,V> superRecordTable
- Holds record (String) to super-record (Set<String>) mapping.
Non-null (stage >= 1).
typeExtensionDefTable
Map<K,V> typeExtensionDefTable
- Holds the type extension qualified id (String) to its declaration
(TypeExtension) mapping. Non-null (stage >= 1).
typeExtensionTable
Map<K,V> typeExtensionTable
- Holds the type extension qualified id (String) to its type
(TypeExtensionType or PrimitiveTypeExtensionType) mapping. Non-null
(stage >= 1).
virtualDefTable
Map<K,V> virtualDefTable
- Holds virtual table identifier (String) to its definition
(VirtualTableDefinition). Non-null (stage >= 1).
virtualParamTable
Map<K,V> virtualParamTable
- Holds virtual table identifier (String) to its parameter types
(ArrayList<Type>), excluding the receiver type. Non-null (stage
>= 6).
virtualReturnTable
Map<K,V> virtualReturnTable
- Holds virtual table identifier (String) to its return type (ASTType).
Non-null (stage >= 6).
virtualTable
Map<K,V> virtualTable
- Holds virtual table identifier (String) to function mapping. Non-null
(stage >= 1).
nonEnumVirtualTable
Map<K,V> nonEnumVirtualTable
- Holds temporary virtual table identifier (String) to function mapping for
non-enum virtual tables. Used only temporarily before type checking
completes. Non-null (stage >= 1).
filename
String filename
- Holds the filename of the system.
mainThreadName
String mainThreadName
- Holds the main thread name. Non-null (stage >= 6).
topRecordName
String topRecordName
- Holds the name of the top record.
system
System system
- Holds the AST of the system. Non-null.
typeIdTypeTable
IntObjectTable<V> typeIdTypeTable
- Holds type id (int) to its type (Type) mapping. Non-null (stage >= 8).
typeIdCreatedTypeIdTable
IntIntTable typeIdCreatedTypeIdTable
- Holds type id (int) to its created type id (int) mapping. Non-null (stage
>= 7).
unusableTypes
Set<E> unusableTypes
- Holds the set of unusable types (Type). Non-null (stage >= 8).
arrayFieldIndexTable
ObjectIntTable<K> arrayFieldIndexTable
- Holds the array field name (String) to index (int) mapping. Non-null.
Non-null (stage >= 1).
arrayIndexFieldTable
IntObjectTable<V> arrayIndexFieldTable
- Holds the array index (int) to field name (String) mapping. Non-null.
Non-null (stage >= 1).
globalIndexTable
ObjectIntTable<K> globalIndexTable
- Holds global identifier (String) to its index (int) mapping. Non-null
(stage >= 3).
globalTransientFlags
BitSet globalTransientFlags
- Holds flags for each global variable declared, indicating whether it
should contribute to the state vector. Non-null (stage >= 3).
arrayFieldTable
TreeMap<K,V> arrayFieldTable
- Holds the array field name (String) to type (Type) mapping. Non-null.
Non-null (stage >= 1).
typeFactory
TypeFactory typeFactory
- Holds the type factory. Non-null (stage >= 1).
locDescFSMIdTable
String[] locDescFSMIdTable
- Holds location desc (int) to its FSM id (String) mapping. Non-null (stage
>= 8).
locDescLocIdTable
String[] locDescLocIdTable
- Holds location desc (int) to its loc id (String) mapping. Non-null (state
>= 8).
qLocIdLocDescTable
ObjectIntTable<K> qLocIdLocDescTable
- Holds qualified loc id (String) to its location desc (int) mapping.
Non-null (state >= 8).
error
boolean error
- Holds the error flag.
nextLocationDesc
int nextLocationDesc
- Holds the next location descriptor.
stage
int stage
- Holds the current stage of the symbol table.
|
Package edu.ksu.cis.projects.bogor.type |
baseType
Type baseType
- Holds the base type of this array. Non-null.
Not instance of ArrayType, VoidType, or UnknownType.
rank
int rank
- Holds the rank. Greater than zero.
id
String id
- Holds the id of the enum type.
enumConstants
ArrayList<E> enumConstants
- Holds the enum constants. Non-null.
types
Type[] types
- Holds the parameter types of this functional type. Non-null. Each element
is non-null.
returnType
Type returnType
- Holds the return type of this functional type. Non-null.
wrap
boolean wrap
- Indicates whether wrap around is allowed for this int range type.
highLimit
int highLimit
- Holds the high limit. At least equal to the low limit.
lowLimit
int lowLimit
- Holds the low limit.
wrap
boolean wrap
- Indicates whether wrap around is allowed for this long range type.
highLimit
long highLimit
- Holds the high limit. At least equal to the low limit.
lowLimit
long lowLimit
- Holds the low limit.
id
String id
- Holds the fully qualified name of this non-primitive type extension type.
Non-null.
types
Type[] types
- Holds the type arguments of this non-primitive type extension type.
Non-null. Each element is non-null.
id
String id
- Holds the fully qualified name of this primitive type extension type.
Non-null.
types
Type[] types
- Holds the type arguments of this primitive type extension type. Non-null.
Each element is non-null.
id
String id
- Holds this primitive type extension id. Non-null.
typeVarIds
String[] typeVarIds
- Holds the fixed variable type ids. Non-null. Each element is non-null.
Each element is distinct.
id
String id
- Holds the id of the record type. Non-null.
fieldIdTable
ObjectIntTable<K> fieldIdTable
- Holds the field name (String) to id (int) mapping. Non-null.
idFieldTable
IntObjectTable<V> idFieldTable
- Holds the field name (String) to id (int) mapping. Non-null.
fieldTable
TreeMap<K,V> fieldTable
- Holds the field name (String) to type (Type) mapping. Non-null.
throwable
boolean throwable
- Holds the throwable.
transientFlags
BitSet transientFlags
- A set of flags indicating whether each field (indexed by their order
of appearance in the value array which would instantiate a record of
this type) is elided from the state vector. Non-null.
hashCode
int hashCode
- Holds the hash code of this object. The hash code is based on the string
representation of this object.
typeId
int typeId
- Holds the type id of this type.
id
String id
- Holds this type extension id. Non-null.
typeVarIds
String[] typeVarIds
- Holds the fixed variable type ids. Non-null. Each element is non-null.
Each element is distinct.
booleanType
BooleanType booleanType
- Holds the unique ASTBooleanType instance.
doubleType
DoubleType doubleType
- Holds the unique ASTLongType instance.
floatType
FloatType floatType
- Holds the unique ASTLongType instance.
intType
IntType intType
- Holds the unique ASTIntType instance.
lockType
LockType lockType
- Holds the unique ASTLockType instance.
longType
LongType longType
- Holds the unique ASTLongType instance.
stringType
StringType stringType
- Holds the unique ASTStringType instance.
nullType
NullType nullType
- Holds the unique NullType instance.
threadIdType
ThreadIdType threadIdType
- Holds the unique ThreadIdType instance.
unknownType
UnknownType unknownType
- Holds the unique UnknownType instance.
voidType
VoidType voidType
- Holds the unique VoidType instance.
cache
Map<K,V> cache
- Holds the types cache (Map<Type, Type>). Non-null.
allowNew
boolean allowNew
- Allows flagging a request to create a new (previously unrequested)
type as an error.
nextTypeId
int nextTypeId
- Holds the next type id.
id
String id
- Holds the type var id. Non-null.
|
Package edu.ksu.cis.projects.bogor.util.javacc |
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.
errorCode
int errorCode
- Indicates the reason why the exception is thrown. It will have
one of the above 4 values.
|
Package edu.ksu.cis.projects.trove.custom |
initialCapacity
int initialCapacity
elements
long[] elements
size
int size