public interface ACT_SMT extends io.ciera.runtime.summit.classes.IModelInstance<ACT_SMT,Sql>
checkLiving, compareTo, delete, getId1, getId2, getId3, getInstanceId, getKeyLetters, isEmptycontext, getRunContext, warnvoid setStatement_ID(io.ciera.runtime.summit.types.UniqueId m_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionio.ciera.runtime.summit.types.UniqueId getStatement_ID()
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionio.ciera.runtime.summit.types.UniqueId getBlock_ID()
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionio.ciera.runtime.summit.types.UniqueId getPrevious_Statement_ID()
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setPrevious_Statement_ID(io.ciera.runtime.summit.types.UniqueId ref_Previous_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setLineNumber(int m_LineNumber)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionint getLineNumber()
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionint getStartPosition()
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setStartPosition(int m_StartPosition)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setLabel(String m_Label) throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionString getLabel() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void addR2941_is_visited_within_scope_of_BlockInStackFrame(BlockInStackFrame inst)
default void removeR2941_is_visited_within_scope_of_BlockInStackFrame(BlockInStackFrame inst)
BlockInStackFrameSet R2941_is_visited_within_scope_of_BlockInStackFrame() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR602_contains_Block(Block inst)
Block R602_contains_Block() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_ACT_BRK(ACT_BRK inst)
ACT_BRK R603_is_a_ACT_BRK() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_ACT_CON(ACT_CON inst)
ACT_CON R603_is_a_ACT_CON() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_ACT_FIO(ACT_FIO inst)
ACT_FIO R603_is_a_ACT_FIO() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_ACT_SEL(ACT_SEL inst)
ACT_SEL R603_is_a_ACT_SEL() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_AssignToMember(AssignToMember inst)
AssignToMember R603_is_a_AssignToMember() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_BridgeInvocation(BridgeInvocation inst)
BridgeInvocation R603_is_a_BridgeInvocation() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_Control(Control inst)
Control R603_is_a_Control() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_Create(Create inst)
Create R603_is_a_Create() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_CreateNoVariable(CreateNoVariable inst)
CreateNoVariable R603_is_a_CreateNoVariable() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_Delete(Delete inst)
Delete R603_is_a_Delete() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_ElseIfStmt(ElseIfStmt inst)
ElseIfStmt R603_is_a_ElseIfStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_ElseStmt(ElseStmt inst)
ElseStmt R603_is_a_ElseStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_EventSpecificationStatement(EventSpecificationStatement inst)
EventSpecificationStatement R603_is_a_EventSpecificationStatement() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_ForStmt(ForStmt inst)
ForStmt R603_is_a_ForStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_FunctionInvocation(FunctionInvocation inst)
FunctionInvocation R603_is_a_FunctionInvocation() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_GeneratePreexistingEvent(GeneratePreexistingEvent inst)
GeneratePreexistingEvent R603_is_a_GeneratePreexistingEvent() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_IfStmt(IfStmt inst)
IfStmt R603_is_a_IfStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_InterfaceOperationInvocation(InterfaceOperationInvocation inst)
InterfaceOperationInvocation R603_is_a_InterfaceOperationInvocation() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_OperationInvocation(OperationInvocation inst)
OperationInvocation R603_is_a_OperationInvocation() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_Relate(Relate inst)
Relate R603_is_a_Relate() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_RelateUsing(RelateUsing inst)
RelateUsing R603_is_a_RelateUsing() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_ReturnStmt(ReturnStmt inst)
ReturnStmt R603_is_a_ReturnStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_SelectFromInstancesWhere(SelectFromInstancesWhere inst)
SelectFromInstancesWhere R603_is_a_SelectFromInstancesWhere() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_SignalInvocation(SignalInvocation inst)
SignalInvocation R603_is_a_SignalInvocation() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_Unrelate(Unrelate inst)
Unrelate R603_is_a_Unrelate() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_UnrelateUsing(UnrelateUsing inst)
UnrelateUsing R603_is_a_UnrelateUsing() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR603_is_a_WhileStmt(WhileStmt inst)
WhileStmt R603_is_a_WhileStmt() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR661_precedes_ACT_SMT(ACT_SMT inst)
ACT_SMT R661_precedes_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptiondefault void setR661_succeeds_ACT_SMT(ACT_SMT inst)
ACT_SMT R661_succeeds_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionCopyright © 2019. All rights reserved.