id: String
getSystemMember(index: int): SystemMember
getSystemMemberCount(): int
setSystemMembers(newSystemMembers: ArrayList)
clone(): Object
dispose()
toString(): String
System
parent: System
dispose()
SystemMember
returnType: ASTType
FunctionFSM(id, params, returnType, locals, locations, catches)
FunctionFSM(id, params, locals, locations, catches)
clone(): Object
dispose()
getOptionalReturnType(): ASTType
toString(): String
FunctionFSM
id: String
type: ASTType
TypeAliasDefinition(id, type)
clone(): Object
dispose()
toString(): String
TypeAliasDefinition
id: String
ConstantDefinition(id, constants)
clone(): Object
dispose()
getConstant(index): Constant
getConstantCount(): int
setConstants(newConstants)
toString(): String
ConstantDefinition
id: String
superId: String
throwable: boolean
top: boolean
RecordDefinition(top, throwable, id, superId, typedIds)
RecordDefinition(top, throwable, id, typedIds)
clone(): Object
dispose()
getOptionalSuperId(): String
getTypedId(index): TypedId
getTypedIdCount(): int
setTypedIds(newTypedIds)
toString(): String
RecordDefinition
id: String
dispose()
getCatch(index): Catch
getCatchCount(): int
getLocal(index): Local
getLocalCount(): int
getLocation(index): Location
getLocationCount(): int
getParam(index): TypedId
getParamCount(): int
setCatches(newCatches)
setLocals(newLocals)
setLocations(newLocations)
setParams(newParams)
FSM
activeThreadMultiplicity: int
isActive: boolean
isMain: boolean
optionalActiveThreadMultiplicityExp: Exp
ThreadFSM(active, main, id, params, locals, locations, catches)
ThreadFSM(active, numActiveExp, main, id, params, locals, locations, catches)
clone(): Object
getActive(): boolean
getMain(): boolean
toString(): String
ThreadFSM
id: String
name: String
ExtensionDefinition(id, name, extensions)
clone(): Object
dispose()
getExtension(index): Extension
getExtensionCount(): int
setExtensions(newExtensions)
toString(): String
ExtensionDefinition
Definition
typedId: TypedId
value: IASTValue
Global(typedId)
Global(typedId, value)
clone(): Object
dispose()
getOptionalValue(): IASTValue
toString(): String
Global
enumId: String
id: String
VirtualTableDefinition(id, keys, data)
clone(): Object
dispose()
getDatum(index): String
getKey(index): String
getMappingCount(): int
isOnEnum(): boolean
setMapping(newKeys, newData)
toString(): String
VirtualTableDefinition
exp: Exp
id: String
returnType: ASTType
Fun(id, params, returnType, exp)
clone(): Object
dispose()
getParam(index): TypedId
getParamCount(): int
setParams(newParams)
toString(): String
Fun
id: String
EnumDefinition(id, enumConstants)
clone(): Object
dispose()
getEnumConstant(index): String
getEnumConstantCount(): int
setEnumConstants(newEnumConstants)
toString(): String
EnumDefinition
«use»