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
getCatch(index: int): Catch
getCatchCount(): int
setCatches(newCatches: ArrayList)
getLocal(index: int): Local
getLocal(index: int): Local
getLocalCount(): int
getLocalCount(): int
setLocals(newLocals: ArrayList)
setLocals(newLocals: ArrayList)
getLocation(index: int): Location
getLocation(index: int): Location
getLocationCount(): int
getLocationCount(): int
setLocations(newLocations: ArrayList)
setLocations(newLocations: ArrayList)
getParam(index: int): TypedId
getParam(index: int): TypedId
getParamCount(): int
getParamCount(): int
setParams(newParams: ArrayList)
setParams(newParams: ArrayList)
dispose()
dispose()
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
parent: TypedIdParent
type: ASTType
TypedId(id, type)
clone(): Object
dispose()
toString(): String
TypedId
parent: FSM
typedId: TypedId
value: IASTValue
Local(typedId, value)
Local(typedId)
clone(): Object
dispose()
getOptionalValue(): IASTValue
toString(): String
Local
id: String
isLocComplement: boolean
nextState: NextState
parent: FSM
throwableId: String
Catch(isLocComplement, throwableId, id, locIds, nextState)
clone(): Object
dispose()
getLocationId(index): String
getLocationIdCount(): int
setLocationIds(newLocIds)
toString(): String
Catch
id: String
liveSet: LiveSet
parent: FSM
Location(id, liveSet, transformations)
Location(id, transformations)
clone(): Object
dispose()
getOptionalLiveSet(): LiveSet
getTransformation(index): Transformation
getTransformationCount(): int
setTransformations(newTransformations)
toString(): String
Location
exp: Exp
invisible: boolean
nextState: NextState
parent: Location
visible: boolean
dispose()
getOptionalExp(): Exp
Transformation
parent: Location
LiveSet(ids)
clone(): Object
dispose()
getId(index): String
getIdCount(): int
setIds(newIds)
toString(): String
LiveSet
parent: INextStateParent
dispose()
NextState
BlockTransformation(exp, invisible, visible, actions, nextState)
BlockTransformation(invisible, visible, actions, nextState)
clone(): Object
dispose()
getAction(index): Action
getActionCount(): int
setActions(newActions)
toString(): String
BlockTransformation
id: String
invokeExp: InvokeExp
localIndex: int
InvokeTransformation(id, invokeExp, invisible, visible, nextState)
InvokeTransformation(exp, id, invokeExp, invisible, visible, nextState)
InvokeTransformation(exp, invokeExp, invisible, visible, nextState)
InvokeTransformation(exp, invokeExp, invisible, visible, nextState)
InvokeTransformation(invokeExp, invisible, visible, nextState)
InvokeTransformation(id, invokeExp, invisible, visible, nextState)
InvokeTransformation(exp, id, invokeExp, invisible, visible, nextState)
clone(): Object
dispose()
getOptionalId(): String
toString(): String
InvokeTransformation
id: String
GotoNextState(id)
clone(): Object
dispose()
toString(): String
GotoNextState
id: String
ReturnNextState(id)
ReturnNextState()
clone(): Object
dispose()
getLocalIndex(): int
getOptionalId(): String
setLocalIndex(newLocalIndex)
toString(): String
ReturnNextState
«use»
«use»
«use»
«use»
«use»
«use»
«use»
«use»