io.ciera.tool.sql.ooaofooa.body.impl.ACT_SMTImpl Maven / Gradle / Ivy
package io.ciera.tool.sql.ooaofooa.body.impl;
import io.ciera.runtime.instanceloading.AttributeChangedDelta;
import io.ciera.runtime.instanceloading.InstanceCreatedDelta;
import io.ciera.runtime.summit.application.IRunContext;
import io.ciera.runtime.summit.classes.IInstanceIdentifier;
import io.ciera.runtime.summit.classes.InstanceIdentifier;
import io.ciera.runtime.summit.classes.ModelInstance;
import io.ciera.runtime.summit.exceptions.EmptyInstanceException;
import io.ciera.runtime.summit.exceptions.InstancePopulationException;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.IWhere;
import io.ciera.runtime.summit.types.IXtumlType;
import io.ciera.runtime.summit.types.StringUtil;
import io.ciera.runtime.summit.types.UniqueId;
import io.ciera.tool.Sql;
import io.ciera.tool.sql.ooaofooa.body.ACT_BRK;
import io.ciera.tool.sql.ooaofooa.body.ACT_CON;
import io.ciera.tool.sql.ooaofooa.body.ACT_SMT;
import io.ciera.tool.sql.ooaofooa.body.Block;
import io.ciera.tool.sql.ooaofooa.body.Control;
import io.ciera.tool.sql.ooaofooa.body.ElseIfStmt;
import io.ciera.tool.sql.ooaofooa.body.ElseStmt;
import io.ciera.tool.sql.ooaofooa.body.ForStmt;
import io.ciera.tool.sql.ooaofooa.body.IfStmt;
import io.ciera.tool.sql.ooaofooa.body.WhileStmt;
import io.ciera.tool.sql.ooaofooa.body.impl.ACT_BRKImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ACT_CONImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ACT_SMTImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.BlockImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ControlImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ElseIfStmtImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ElseStmtImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ForStmtImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.IfStmtImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.WhileStmtImpl;
import io.ciera.tool.sql.ooaofooa.event.EventSpecificationStatement;
import io.ciera.tool.sql.ooaofooa.event.GeneratePreexistingEvent;
import io.ciera.tool.sql.ooaofooa.event.impl.EventSpecificationStatementImpl;
import io.ciera.tool.sql.ooaofooa.event.impl.GeneratePreexistingEventImpl;
import io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrame;
import io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrameSet;
import io.ciera.tool.sql.ooaofooa.instance.impl.BlockInStackFrameSetImpl;
import io.ciera.tool.sql.ooaofooa.instanceaccess.AssignToMember;
import io.ciera.tool.sql.ooaofooa.instanceaccess.Create;
import io.ciera.tool.sql.ooaofooa.instanceaccess.CreateNoVariable;
import io.ciera.tool.sql.ooaofooa.instanceaccess.Delete;
import io.ciera.tool.sql.ooaofooa.instanceaccess.impl.AssignToMemberImpl;
import io.ciera.tool.sql.ooaofooa.instanceaccess.impl.CreateImpl;
import io.ciera.tool.sql.ooaofooa.instanceaccess.impl.CreateNoVariableImpl;
import io.ciera.tool.sql.ooaofooa.instanceaccess.impl.DeleteImpl;
import io.ciera.tool.sql.ooaofooa.invocation.BridgeInvocation;
import io.ciera.tool.sql.ooaofooa.invocation.FunctionInvocation;
import io.ciera.tool.sql.ooaofooa.invocation.InterfaceOperationInvocation;
import io.ciera.tool.sql.ooaofooa.invocation.OperationInvocation;
import io.ciera.tool.sql.ooaofooa.invocation.ReturnStmt;
import io.ciera.tool.sql.ooaofooa.invocation.SignalInvocation;
import io.ciera.tool.sql.ooaofooa.invocation.impl.BridgeInvocationImpl;
import io.ciera.tool.sql.ooaofooa.invocation.impl.FunctionInvocationImpl;
import io.ciera.tool.sql.ooaofooa.invocation.impl.InterfaceOperationInvocationImpl;
import io.ciera.tool.sql.ooaofooa.invocation.impl.OperationInvocationImpl;
import io.ciera.tool.sql.ooaofooa.invocation.impl.ReturnStmtImpl;
import io.ciera.tool.sql.ooaofooa.invocation.impl.SignalInvocationImpl;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.Relate;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.RelateUsing;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.Unrelate;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.UnrelateUsing;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.impl.RelateImpl;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.impl.RelateUsingImpl;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.impl.UnrelateImpl;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.impl.UnrelateUsingImpl;
import io.ciera.tool.sql.ooaofooa.selection.ACT_FIO;
import io.ciera.tool.sql.ooaofooa.selection.ACT_SEL;
import io.ciera.tool.sql.ooaofooa.selection.SelectFromInstancesWhere;
import io.ciera.tool.sql.ooaofooa.selection.impl.ACT_FIOImpl;
import io.ciera.tool.sql.ooaofooa.selection.impl.ACT_SELImpl;
import io.ciera.tool.sql.ooaofooa.selection.impl.SelectFromInstancesWhereImpl;
public class ACT_SMTImpl extends ModelInstance implements ACT_SMT {
public static final String KEY_LETTERS = "ACT_SMT";
public static final ACT_SMT EMPTY_ACT_SMT = new EmptyACT_SMT();
private Sql context;
// constructors
private ACT_SMTImpl( Sql context ) {
this.context = context;
m_Statement_ID = UniqueId.random();
ref_Block_ID = UniqueId.random();
ref_Previous_Statement_ID = UniqueId.random();
m_LineNumber = 0;
m_StartPosition = 0;
m_Label = "";
R2941_is_visited_within_scope_of_BlockInStackFrame_set = new BlockInStackFrameSetImpl();
R602_contains_Block_inst = BlockImpl.EMPTY_BLOCK;
R603_is_a_ACT_BRK_inst = ACT_BRKImpl.EMPTY_ACT_BRK;
R603_is_a_ACT_CON_inst = ACT_CONImpl.EMPTY_ACT_CON;
R603_is_a_ACT_FIO_inst = ACT_FIOImpl.EMPTY_ACT_FIO;
R603_is_a_ACT_SEL_inst = ACT_SELImpl.EMPTY_ACT_SEL;
R603_is_a_AssignToMember_inst = AssignToMemberImpl.EMPTY_ASSIGNTOMEMBER;
R603_is_a_BridgeInvocation_inst = BridgeInvocationImpl.EMPTY_BRIDGEINVOCATION;
R603_is_a_Control_inst = ControlImpl.EMPTY_CONTROL;
R603_is_a_Create_inst = CreateImpl.EMPTY_CREATE;
R603_is_a_CreateNoVariable_inst = CreateNoVariableImpl.EMPTY_CREATENOVARIABLE;
R603_is_a_Delete_inst = DeleteImpl.EMPTY_DELETE;
R603_is_a_ElseIfStmt_inst = ElseIfStmtImpl.EMPTY_ELSEIFSTMT;
R603_is_a_ElseStmt_inst = ElseStmtImpl.EMPTY_ELSESTMT;
R603_is_a_EventSpecificationStatement_inst = EventSpecificationStatementImpl.EMPTY_EVENTSPECIFICATIONSTATEMENT;
R603_is_a_ForStmt_inst = ForStmtImpl.EMPTY_FORSTMT;
R603_is_a_FunctionInvocation_inst = FunctionInvocationImpl.EMPTY_FUNCTIONINVOCATION;
R603_is_a_GeneratePreexistingEvent_inst = GeneratePreexistingEventImpl.EMPTY_GENERATEPREEXISTINGEVENT;
R603_is_a_IfStmt_inst = IfStmtImpl.EMPTY_IFSTMT;
R603_is_a_InterfaceOperationInvocation_inst = InterfaceOperationInvocationImpl.EMPTY_INTERFACEOPERATIONINVOCATION;
R603_is_a_OperationInvocation_inst = OperationInvocationImpl.EMPTY_OPERATIONINVOCATION;
R603_is_a_Relate_inst = RelateImpl.EMPTY_RELATE;
R603_is_a_RelateUsing_inst = RelateUsingImpl.EMPTY_RELATEUSING;
R603_is_a_ReturnStmt_inst = ReturnStmtImpl.EMPTY_RETURNSTMT;
R603_is_a_SelectFromInstancesWhere_inst = SelectFromInstancesWhereImpl.EMPTY_SELECTFROMINSTANCESWHERE;
R603_is_a_SignalInvocation_inst = SignalInvocationImpl.EMPTY_SIGNALINVOCATION;
R603_is_a_Unrelate_inst = UnrelateImpl.EMPTY_UNRELATE;
R603_is_a_UnrelateUsing_inst = UnrelateUsingImpl.EMPTY_UNRELATEUSING;
R603_is_a_WhileStmt_inst = WhileStmtImpl.EMPTY_WHILESTMT;
R661_precedes_ACT_SMT_inst = ACT_SMTImpl.EMPTY_ACT_SMT;
R661_succeeds_ACT_SMT_inst = ACT_SMTImpl.EMPTY_ACT_SMT;
}
private ACT_SMTImpl( Sql context, UniqueId instanceId, UniqueId m_Statement_ID, UniqueId ref_Block_ID, UniqueId ref_Previous_Statement_ID, int m_LineNumber, int m_StartPosition, String m_Label ) {
super(instanceId);
this.context = context;
this.m_Statement_ID = m_Statement_ID;
this.ref_Block_ID = ref_Block_ID;
this.ref_Previous_Statement_ID = ref_Previous_Statement_ID;
this.m_LineNumber = m_LineNumber;
this.m_StartPosition = m_StartPosition;
this.m_Label = m_Label;
R2941_is_visited_within_scope_of_BlockInStackFrame_set = new BlockInStackFrameSetImpl();
R602_contains_Block_inst = BlockImpl.EMPTY_BLOCK;
R603_is_a_ACT_BRK_inst = ACT_BRKImpl.EMPTY_ACT_BRK;
R603_is_a_ACT_CON_inst = ACT_CONImpl.EMPTY_ACT_CON;
R603_is_a_ACT_FIO_inst = ACT_FIOImpl.EMPTY_ACT_FIO;
R603_is_a_ACT_SEL_inst = ACT_SELImpl.EMPTY_ACT_SEL;
R603_is_a_AssignToMember_inst = AssignToMemberImpl.EMPTY_ASSIGNTOMEMBER;
R603_is_a_BridgeInvocation_inst = BridgeInvocationImpl.EMPTY_BRIDGEINVOCATION;
R603_is_a_Control_inst = ControlImpl.EMPTY_CONTROL;
R603_is_a_Create_inst = CreateImpl.EMPTY_CREATE;
R603_is_a_CreateNoVariable_inst = CreateNoVariableImpl.EMPTY_CREATENOVARIABLE;
R603_is_a_Delete_inst = DeleteImpl.EMPTY_DELETE;
R603_is_a_ElseIfStmt_inst = ElseIfStmtImpl.EMPTY_ELSEIFSTMT;
R603_is_a_ElseStmt_inst = ElseStmtImpl.EMPTY_ELSESTMT;
R603_is_a_EventSpecificationStatement_inst = EventSpecificationStatementImpl.EMPTY_EVENTSPECIFICATIONSTATEMENT;
R603_is_a_ForStmt_inst = ForStmtImpl.EMPTY_FORSTMT;
R603_is_a_FunctionInvocation_inst = FunctionInvocationImpl.EMPTY_FUNCTIONINVOCATION;
R603_is_a_GeneratePreexistingEvent_inst = GeneratePreexistingEventImpl.EMPTY_GENERATEPREEXISTINGEVENT;
R603_is_a_IfStmt_inst = IfStmtImpl.EMPTY_IFSTMT;
R603_is_a_InterfaceOperationInvocation_inst = InterfaceOperationInvocationImpl.EMPTY_INTERFACEOPERATIONINVOCATION;
R603_is_a_OperationInvocation_inst = OperationInvocationImpl.EMPTY_OPERATIONINVOCATION;
R603_is_a_Relate_inst = RelateImpl.EMPTY_RELATE;
R603_is_a_RelateUsing_inst = RelateUsingImpl.EMPTY_RELATEUSING;
R603_is_a_ReturnStmt_inst = ReturnStmtImpl.EMPTY_RETURNSTMT;
R603_is_a_SelectFromInstancesWhere_inst = SelectFromInstancesWhereImpl.EMPTY_SELECTFROMINSTANCESWHERE;
R603_is_a_SignalInvocation_inst = SignalInvocationImpl.EMPTY_SIGNALINVOCATION;
R603_is_a_Unrelate_inst = UnrelateImpl.EMPTY_UNRELATE;
R603_is_a_UnrelateUsing_inst = UnrelateUsingImpl.EMPTY_UNRELATEUSING;
R603_is_a_WhileStmt_inst = WhileStmtImpl.EMPTY_WHILESTMT;
R661_precedes_ACT_SMT_inst = ACT_SMTImpl.EMPTY_ACT_SMT;
R661_succeeds_ACT_SMT_inst = ACT_SMTImpl.EMPTY_ACT_SMT;
}
public static ACT_SMT create( Sql context ) throws XtumlException {
ACT_SMT newACT_SMT = new ACT_SMTImpl( context );
if ( context.addInstance( newACT_SMT ) ) {
newACT_SMT.getRunContext().addChange(new InstanceCreatedDelta(newACT_SMT, KEY_LETTERS));
return newACT_SMT;
}
else throw new InstancePopulationException( "Instance already exists within this population." );
}
public static ACT_SMT create( Sql context, UniqueId m_Statement_ID, UniqueId ref_Block_ID, UniqueId ref_Previous_Statement_ID, int m_LineNumber, int m_StartPosition, String m_Label ) throws XtumlException {
return create(context, UniqueId.random(), m_Statement_ID, ref_Block_ID, ref_Previous_Statement_ID, m_LineNumber, m_StartPosition, m_Label);
}
public static ACT_SMT create( Sql context, UniqueId instanceId, UniqueId m_Statement_ID, UniqueId ref_Block_ID, UniqueId ref_Previous_Statement_ID, int m_LineNumber, int m_StartPosition, String m_Label ) throws XtumlException {
ACT_SMT newACT_SMT = new ACT_SMTImpl( context, instanceId, m_Statement_ID, ref_Block_ID, ref_Previous_Statement_ID, m_LineNumber, m_StartPosition, m_Label );
if ( context.addInstance( newACT_SMT ) ) {
return newACT_SMT;
}
else throw new InstancePopulationException( "Instance already exists within this population." );
}
// attributes
private UniqueId m_Statement_ID;
@Override
public void setStatement_ID(UniqueId m_Statement_ID) throws XtumlException {
checkLiving();
if (m_Statement_ID.inequality( this.m_Statement_ID)) {
final UniqueId oldValue = this.m_Statement_ID;
this.m_Statement_ID = m_Statement_ID;
getRunContext().addChange(new AttributeChangedDelta(this, KEY_LETTERS, "m_Statement_ID", oldValue, this.m_Statement_ID));
if ( !R603_is_a_EventSpecificationStatement().isEmpty() ) R603_is_a_EventSpecificationStatement().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_ACT_FIO().isEmpty() ) R603_is_a_ACT_FIO().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_ElseIfStmt().isEmpty() ) R603_is_a_ElseIfStmt().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_RelateUsing().isEmpty() ) R603_is_a_RelateUsing().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_FunctionInvocation().isEmpty() ) R603_is_a_FunctionInvocation().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_BridgeInvocation().isEmpty() ) R603_is_a_BridgeInvocation().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_Create().isEmpty() ) R603_is_a_Create().setStatement_ID( m_Statement_ID );
if ( !R661_precedes_ACT_SMT().isEmpty() ) R661_precedes_ACT_SMT().setPrevious_Statement_ID( m_Statement_ID );
if ( !R603_is_a_AssignToMember().isEmpty() ) R603_is_a_AssignToMember().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_ACT_CON().isEmpty() ) R603_is_a_ACT_CON().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_Relate().isEmpty() ) R603_is_a_Relate().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_Delete().isEmpty() ) R603_is_a_Delete().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_IfStmt().isEmpty() ) R603_is_a_IfStmt().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_SignalInvocation().isEmpty() ) R603_is_a_SignalInvocation().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_SelectFromInstancesWhere().isEmpty() ) R603_is_a_SelectFromInstancesWhere().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_Control().isEmpty() ) R603_is_a_Control().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_ACT_SEL().isEmpty() ) R603_is_a_ACT_SEL().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_ElseStmt().isEmpty() ) R603_is_a_ElseStmt().setStatement_ID( m_Statement_ID );
if ( !R2941_is_visited_within_scope_of_BlockInStackFrame().isEmpty() ) R2941_is_visited_within_scope_of_BlockInStackFrame().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_InterfaceOperationInvocation().isEmpty() ) R603_is_a_InterfaceOperationInvocation().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_GeneratePreexistingEvent().isEmpty() ) R603_is_a_GeneratePreexistingEvent().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_WhileStmt().isEmpty() ) R603_is_a_WhileStmt().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_ForStmt().isEmpty() ) R603_is_a_ForStmt().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_Unrelate().isEmpty() ) R603_is_a_Unrelate().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_UnrelateUsing().isEmpty() ) R603_is_a_UnrelateUsing().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_ACT_BRK().isEmpty() ) R603_is_a_ACT_BRK().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_ReturnStmt().isEmpty() ) R603_is_a_ReturnStmt().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_CreateNoVariable().isEmpty() ) R603_is_a_CreateNoVariable().setStatement_ID( m_Statement_ID );
if ( !R603_is_a_OperationInvocation().isEmpty() ) R603_is_a_OperationInvocation().setStatement_ID( m_Statement_ID );
}
}
@Override
public UniqueId getStatement_ID() throws XtumlException {
checkLiving();
return m_Statement_ID;
}
private UniqueId ref_Block_ID;
@Override
public UniqueId getBlock_ID() throws XtumlException {
checkLiving();
return ref_Block_ID;
}
@Override
public void setBlock_ID(UniqueId ref_Block_ID) throws XtumlException {
checkLiving();
if (ref_Block_ID.inequality( this.ref_Block_ID)) {
final UniqueId oldValue = this.ref_Block_ID;
this.ref_Block_ID = ref_Block_ID;
getRunContext().addChange(new AttributeChangedDelta(this, KEY_LETTERS, "ref_Block_ID", oldValue, this.ref_Block_ID));
if ( !R661_precedes_ACT_SMT().isEmpty() ) R661_precedes_ACT_SMT().setBlock_ID( ref_Block_ID );
}
}
private UniqueId ref_Previous_Statement_ID;
@Override
public void setPrevious_Statement_ID(UniqueId ref_Previous_Statement_ID) throws XtumlException {
checkLiving();
if (ref_Previous_Statement_ID.inequality( this.ref_Previous_Statement_ID)) {
final UniqueId oldValue = this.ref_Previous_Statement_ID;
this.ref_Previous_Statement_ID = ref_Previous_Statement_ID;
getRunContext().addChange(new AttributeChangedDelta(this, KEY_LETTERS, "ref_Previous_Statement_ID", oldValue, this.ref_Previous_Statement_ID));
}
}
@Override
public UniqueId getPrevious_Statement_ID() throws XtumlException {
checkLiving();
return ref_Previous_Statement_ID;
}
private int m_LineNumber;
@Override
public int getLineNumber() throws XtumlException {
checkLiving();
return m_LineNumber;
}
@Override
public void setLineNumber(int m_LineNumber) throws XtumlException {
checkLiving();
if (m_LineNumber != this.m_LineNumber) {
final int oldValue = this.m_LineNumber;
this.m_LineNumber = m_LineNumber;
getRunContext().addChange(new AttributeChangedDelta(this, KEY_LETTERS, "m_LineNumber", oldValue, this.m_LineNumber));
}
}
private int m_StartPosition;
@Override
public int getStartPosition() throws XtumlException {
checkLiving();
return m_StartPosition;
}
@Override
public void setStartPosition(int m_StartPosition) throws XtumlException {
checkLiving();
if (m_StartPosition != this.m_StartPosition) {
final int oldValue = this.m_StartPosition;
this.m_StartPosition = m_StartPosition;
getRunContext().addChange(new AttributeChangedDelta(this, KEY_LETTERS, "m_StartPosition", oldValue, this.m_StartPosition));
}
}
private String m_Label;
@Override
public String getLabel() throws XtumlException {
checkLiving();
return m_Label;
}
@Override
public void setLabel(String m_Label) throws XtumlException {
checkLiving();
if (StringUtil.inequality(m_Label, this.m_Label)) {
final String oldValue = this.m_Label;
this.m_Label = m_Label;
getRunContext().addChange(new AttributeChangedDelta(this, KEY_LETTERS, "m_Label", oldValue, this.m_Label));
}
}
// instance identifiers
@Override
public IInstanceIdentifier getId1() {
try {
return new InstanceIdentifier(getStatement_ID());
}
catch ( XtumlException e ) {
getRunContext().getLog().error(e);
System.exit(1);
return null;
}
}
@Override
public IInstanceIdentifier getId2() {
try {
return new InstanceIdentifier(getStatement_ID(), getBlock_ID());
}
catch ( XtumlException e ) {
getRunContext().getLog().error(e);
System.exit(1);
return null;
}
}
// operations
// static operations
// events
// selections
private BlockInStackFrameSet R2941_is_visited_within_scope_of_BlockInStackFrame_set;
@Override
public void addR2941_is_visited_within_scope_of_BlockInStackFrame( BlockInStackFrame inst ) {
R2941_is_visited_within_scope_of_BlockInStackFrame_set.add(inst);
}
@Override
public void removeR2941_is_visited_within_scope_of_BlockInStackFrame( BlockInStackFrame inst ) {
R2941_is_visited_within_scope_of_BlockInStackFrame_set.remove(inst);
}
@Override
public BlockInStackFrameSet R2941_is_visited_within_scope_of_BlockInStackFrame() throws XtumlException {
return R2941_is_visited_within_scope_of_BlockInStackFrame_set;
}
private Block R602_contains_Block_inst;
@Override
public void setR602_contains_Block( Block inst ) {
R602_contains_Block_inst = inst;
}
@Override
public Block R602_contains_Block() throws XtumlException {
return R602_contains_Block_inst;
}
private ACT_BRK R603_is_a_ACT_BRK_inst;
@Override
public void setR603_is_a_ACT_BRK( ACT_BRK inst ) {
R603_is_a_ACT_BRK_inst = inst;
}
@Override
public ACT_BRK R603_is_a_ACT_BRK() throws XtumlException {
return R603_is_a_ACT_BRK_inst;
}
private ACT_CON R603_is_a_ACT_CON_inst;
@Override
public void setR603_is_a_ACT_CON( ACT_CON inst ) {
R603_is_a_ACT_CON_inst = inst;
}
@Override
public ACT_CON R603_is_a_ACT_CON() throws XtumlException {
return R603_is_a_ACT_CON_inst;
}
private ACT_FIO R603_is_a_ACT_FIO_inst;
@Override
public void setR603_is_a_ACT_FIO( ACT_FIO inst ) {
R603_is_a_ACT_FIO_inst = inst;
}
@Override
public ACT_FIO R603_is_a_ACT_FIO() throws XtumlException {
return R603_is_a_ACT_FIO_inst;
}
private ACT_SEL R603_is_a_ACT_SEL_inst;
@Override
public void setR603_is_a_ACT_SEL( ACT_SEL inst ) {
R603_is_a_ACT_SEL_inst = inst;
}
@Override
public ACT_SEL R603_is_a_ACT_SEL() throws XtumlException {
return R603_is_a_ACT_SEL_inst;
}
private AssignToMember R603_is_a_AssignToMember_inst;
@Override
public void setR603_is_a_AssignToMember( AssignToMember inst ) {
R603_is_a_AssignToMember_inst = inst;
}
@Override
public AssignToMember R603_is_a_AssignToMember() throws XtumlException {
return R603_is_a_AssignToMember_inst;
}
private BridgeInvocation R603_is_a_BridgeInvocation_inst;
@Override
public void setR603_is_a_BridgeInvocation( BridgeInvocation inst ) {
R603_is_a_BridgeInvocation_inst = inst;
}
@Override
public BridgeInvocation R603_is_a_BridgeInvocation() throws XtumlException {
return R603_is_a_BridgeInvocation_inst;
}
private Control R603_is_a_Control_inst;
@Override
public void setR603_is_a_Control( Control inst ) {
R603_is_a_Control_inst = inst;
}
@Override
public Control R603_is_a_Control() throws XtumlException {
return R603_is_a_Control_inst;
}
private Create R603_is_a_Create_inst;
@Override
public void setR603_is_a_Create( Create inst ) {
R603_is_a_Create_inst = inst;
}
@Override
public Create R603_is_a_Create() throws XtumlException {
return R603_is_a_Create_inst;
}
private CreateNoVariable R603_is_a_CreateNoVariable_inst;
@Override
public void setR603_is_a_CreateNoVariable( CreateNoVariable inst ) {
R603_is_a_CreateNoVariable_inst = inst;
}
@Override
public CreateNoVariable R603_is_a_CreateNoVariable() throws XtumlException {
return R603_is_a_CreateNoVariable_inst;
}
private Delete R603_is_a_Delete_inst;
@Override
public void setR603_is_a_Delete( Delete inst ) {
R603_is_a_Delete_inst = inst;
}
@Override
public Delete R603_is_a_Delete() throws XtumlException {
return R603_is_a_Delete_inst;
}
private ElseIfStmt R603_is_a_ElseIfStmt_inst;
@Override
public void setR603_is_a_ElseIfStmt( ElseIfStmt inst ) {
R603_is_a_ElseIfStmt_inst = inst;
}
@Override
public ElseIfStmt R603_is_a_ElseIfStmt() throws XtumlException {
return R603_is_a_ElseIfStmt_inst;
}
private ElseStmt R603_is_a_ElseStmt_inst;
@Override
public void setR603_is_a_ElseStmt( ElseStmt inst ) {
R603_is_a_ElseStmt_inst = inst;
}
@Override
public ElseStmt R603_is_a_ElseStmt() throws XtumlException {
return R603_is_a_ElseStmt_inst;
}
private EventSpecificationStatement R603_is_a_EventSpecificationStatement_inst;
@Override
public void setR603_is_a_EventSpecificationStatement( EventSpecificationStatement inst ) {
R603_is_a_EventSpecificationStatement_inst = inst;
}
@Override
public EventSpecificationStatement R603_is_a_EventSpecificationStatement() throws XtumlException {
return R603_is_a_EventSpecificationStatement_inst;
}
private ForStmt R603_is_a_ForStmt_inst;
@Override
public void setR603_is_a_ForStmt( ForStmt inst ) {
R603_is_a_ForStmt_inst = inst;
}
@Override
public ForStmt R603_is_a_ForStmt() throws XtumlException {
return R603_is_a_ForStmt_inst;
}
private FunctionInvocation R603_is_a_FunctionInvocation_inst;
@Override
public void setR603_is_a_FunctionInvocation( FunctionInvocation inst ) {
R603_is_a_FunctionInvocation_inst = inst;
}
@Override
public FunctionInvocation R603_is_a_FunctionInvocation() throws XtumlException {
return R603_is_a_FunctionInvocation_inst;
}
private GeneratePreexistingEvent R603_is_a_GeneratePreexistingEvent_inst;
@Override
public void setR603_is_a_GeneratePreexistingEvent( GeneratePreexistingEvent inst ) {
R603_is_a_GeneratePreexistingEvent_inst = inst;
}
@Override
public GeneratePreexistingEvent R603_is_a_GeneratePreexistingEvent() throws XtumlException {
return R603_is_a_GeneratePreexistingEvent_inst;
}
private IfStmt R603_is_a_IfStmt_inst;
@Override
public void setR603_is_a_IfStmt( IfStmt inst ) {
R603_is_a_IfStmt_inst = inst;
}
@Override
public IfStmt R603_is_a_IfStmt() throws XtumlException {
return R603_is_a_IfStmt_inst;
}
private InterfaceOperationInvocation R603_is_a_InterfaceOperationInvocation_inst;
@Override
public void setR603_is_a_InterfaceOperationInvocation( InterfaceOperationInvocation inst ) {
R603_is_a_InterfaceOperationInvocation_inst = inst;
}
@Override
public InterfaceOperationInvocation R603_is_a_InterfaceOperationInvocation() throws XtumlException {
return R603_is_a_InterfaceOperationInvocation_inst;
}
private OperationInvocation R603_is_a_OperationInvocation_inst;
@Override
public void setR603_is_a_OperationInvocation( OperationInvocation inst ) {
R603_is_a_OperationInvocation_inst = inst;
}
@Override
public OperationInvocation R603_is_a_OperationInvocation() throws XtumlException {
return R603_is_a_OperationInvocation_inst;
}
private Relate R603_is_a_Relate_inst;
@Override
public void setR603_is_a_Relate( Relate inst ) {
R603_is_a_Relate_inst = inst;
}
@Override
public Relate R603_is_a_Relate() throws XtumlException {
return R603_is_a_Relate_inst;
}
private RelateUsing R603_is_a_RelateUsing_inst;
@Override
public void setR603_is_a_RelateUsing( RelateUsing inst ) {
R603_is_a_RelateUsing_inst = inst;
}
@Override
public RelateUsing R603_is_a_RelateUsing() throws XtumlException {
return R603_is_a_RelateUsing_inst;
}
private ReturnStmt R603_is_a_ReturnStmt_inst;
@Override
public void setR603_is_a_ReturnStmt( ReturnStmt inst ) {
R603_is_a_ReturnStmt_inst = inst;
}
@Override
public ReturnStmt R603_is_a_ReturnStmt() throws XtumlException {
return R603_is_a_ReturnStmt_inst;
}
private SelectFromInstancesWhere R603_is_a_SelectFromInstancesWhere_inst;
@Override
public void setR603_is_a_SelectFromInstancesWhere( SelectFromInstancesWhere inst ) {
R603_is_a_SelectFromInstancesWhere_inst = inst;
}
@Override
public SelectFromInstancesWhere R603_is_a_SelectFromInstancesWhere() throws XtumlException {
return R603_is_a_SelectFromInstancesWhere_inst;
}
private SignalInvocation R603_is_a_SignalInvocation_inst;
@Override
public void setR603_is_a_SignalInvocation( SignalInvocation inst ) {
R603_is_a_SignalInvocation_inst = inst;
}
@Override
public SignalInvocation R603_is_a_SignalInvocation() throws XtumlException {
return R603_is_a_SignalInvocation_inst;
}
private Unrelate R603_is_a_Unrelate_inst;
@Override
public void setR603_is_a_Unrelate( Unrelate inst ) {
R603_is_a_Unrelate_inst = inst;
}
@Override
public Unrelate R603_is_a_Unrelate() throws XtumlException {
return R603_is_a_Unrelate_inst;
}
private UnrelateUsing R603_is_a_UnrelateUsing_inst;
@Override
public void setR603_is_a_UnrelateUsing( UnrelateUsing inst ) {
R603_is_a_UnrelateUsing_inst = inst;
}
@Override
public UnrelateUsing R603_is_a_UnrelateUsing() throws XtumlException {
return R603_is_a_UnrelateUsing_inst;
}
private WhileStmt R603_is_a_WhileStmt_inst;
@Override
public void setR603_is_a_WhileStmt( WhileStmt inst ) {
R603_is_a_WhileStmt_inst = inst;
}
@Override
public WhileStmt R603_is_a_WhileStmt() throws XtumlException {
return R603_is_a_WhileStmt_inst;
}
private ACT_SMT R661_precedes_ACT_SMT_inst;
@Override
public void setR661_precedes_ACT_SMT( ACT_SMT inst ) {
R661_precedes_ACT_SMT_inst = inst;
}
@Override
public ACT_SMT R661_precedes_ACT_SMT() throws XtumlException {
return R661_precedes_ACT_SMT_inst;
}
private ACT_SMT R661_succeeds_ACT_SMT_inst;
@Override
public void setR661_succeeds_ACT_SMT( ACT_SMT inst ) {
R661_succeeds_ACT_SMT_inst = inst;
}
@Override
public ACT_SMT R661_succeeds_ACT_SMT() throws XtumlException {
return R661_succeeds_ACT_SMT_inst;
}
@Override
public IRunContext getRunContext() {
return context().getRunContext();
}
@Override
public Sql context() {
return context;
}
@Override
public String getKeyLetters() {
return KEY_LETTERS;
}
@Override
public ACT_SMT self() {
return this;
}
@Override
public ACT_SMT oneWhere(IWhere condition) throws XtumlException {
if (null == condition) throw new XtumlException("Null condition passed to selection.");
if (condition.evaluate(this)) return this;
else return EMPTY_ACT_SMT;
}
}
class EmptyACT_SMT extends ModelInstance implements ACT_SMT {
// attributes
public void setStatement_ID( UniqueId m_Statement_ID ) throws XtumlException {
throw new EmptyInstanceException( "Cannot set attribute of empty instance." );
}
public UniqueId getStatement_ID() throws XtumlException {
throw new EmptyInstanceException( "Cannot get attribute of empty instance." );
}
public UniqueId getBlock_ID() throws XtumlException {
throw new EmptyInstanceException( "Cannot get attribute of empty instance." );
}
public void setBlock_ID( UniqueId ref_Block_ID ) throws XtumlException {
throw new EmptyInstanceException( "Cannot set attribute of empty instance." );
}
public void setPrevious_Statement_ID( UniqueId ref_Previous_Statement_ID ) throws XtumlException {
throw new EmptyInstanceException( "Cannot set attribute of empty instance." );
}
public UniqueId getPrevious_Statement_ID() throws XtumlException {
throw new EmptyInstanceException( "Cannot get attribute of empty instance." );
}
public int getLineNumber() throws XtumlException {
throw new EmptyInstanceException( "Cannot get attribute of empty instance." );
}
public void setLineNumber( int m_LineNumber ) throws XtumlException {
throw new EmptyInstanceException( "Cannot set attribute of empty instance." );
}
public int getStartPosition() throws XtumlException {
throw new EmptyInstanceException( "Cannot get attribute of empty instance." );
}
public void setStartPosition( int m_StartPosition ) throws XtumlException {
throw new EmptyInstanceException( "Cannot set attribute of empty instance." );
}
public String getLabel() throws XtumlException {
throw new EmptyInstanceException( "Cannot get attribute of empty instance." );
}
public void setLabel( String m_Label ) throws XtumlException {
throw new EmptyInstanceException( "Cannot set attribute of empty instance." );
}
// operations
// selections
@Override
public BlockInStackFrameSet R2941_is_visited_within_scope_of_BlockInStackFrame() {
return (new BlockInStackFrameSetImpl());
}
@Override
public Block R602_contains_Block() {
return BlockImpl.EMPTY_BLOCK;
}
@Override
public ACT_BRK R603_is_a_ACT_BRK() {
return ACT_BRKImpl.EMPTY_ACT_BRK;
}
@Override
public ACT_CON R603_is_a_ACT_CON() {
return ACT_CONImpl.EMPTY_ACT_CON;
}
@Override
public ACT_FIO R603_is_a_ACT_FIO() {
return ACT_FIOImpl.EMPTY_ACT_FIO;
}
@Override
public ACT_SEL R603_is_a_ACT_SEL() {
return ACT_SELImpl.EMPTY_ACT_SEL;
}
@Override
public AssignToMember R603_is_a_AssignToMember() {
return AssignToMemberImpl.EMPTY_ASSIGNTOMEMBER;
}
@Override
public BridgeInvocation R603_is_a_BridgeInvocation() {
return BridgeInvocationImpl.EMPTY_BRIDGEINVOCATION;
}
@Override
public Control R603_is_a_Control() {
return ControlImpl.EMPTY_CONTROL;
}
@Override
public Create R603_is_a_Create() {
return CreateImpl.EMPTY_CREATE;
}
@Override
public CreateNoVariable R603_is_a_CreateNoVariable() {
return CreateNoVariableImpl.EMPTY_CREATENOVARIABLE;
}
@Override
public Delete R603_is_a_Delete() {
return DeleteImpl.EMPTY_DELETE;
}
@Override
public ElseIfStmt R603_is_a_ElseIfStmt() {
return ElseIfStmtImpl.EMPTY_ELSEIFSTMT;
}
@Override
public ElseStmt R603_is_a_ElseStmt() {
return ElseStmtImpl.EMPTY_ELSESTMT;
}
@Override
public EventSpecificationStatement R603_is_a_EventSpecificationStatement() {
return EventSpecificationStatementImpl.EMPTY_EVENTSPECIFICATIONSTATEMENT;
}
@Override
public ForStmt R603_is_a_ForStmt() {
return ForStmtImpl.EMPTY_FORSTMT;
}
@Override
public FunctionInvocation R603_is_a_FunctionInvocation() {
return FunctionInvocationImpl.EMPTY_FUNCTIONINVOCATION;
}
@Override
public GeneratePreexistingEvent R603_is_a_GeneratePreexistingEvent() {
return GeneratePreexistingEventImpl.EMPTY_GENERATEPREEXISTINGEVENT;
}
@Override
public IfStmt R603_is_a_IfStmt() {
return IfStmtImpl.EMPTY_IFSTMT;
}
@Override
public InterfaceOperationInvocation R603_is_a_InterfaceOperationInvocation() {
return InterfaceOperationInvocationImpl.EMPTY_INTERFACEOPERATIONINVOCATION;
}
@Override
public OperationInvocation R603_is_a_OperationInvocation() {
return OperationInvocationImpl.EMPTY_OPERATIONINVOCATION;
}
@Override
public Relate R603_is_a_Relate() {
return RelateImpl.EMPTY_RELATE;
}
@Override
public RelateUsing R603_is_a_RelateUsing() {
return RelateUsingImpl.EMPTY_RELATEUSING;
}
@Override
public ReturnStmt R603_is_a_ReturnStmt() {
return ReturnStmtImpl.EMPTY_RETURNSTMT;
}
@Override
public SelectFromInstancesWhere R603_is_a_SelectFromInstancesWhere() {
return SelectFromInstancesWhereImpl.EMPTY_SELECTFROMINSTANCESWHERE;
}
@Override
public SignalInvocation R603_is_a_SignalInvocation() {
return SignalInvocationImpl.EMPTY_SIGNALINVOCATION;
}
@Override
public Unrelate R603_is_a_Unrelate() {
return UnrelateImpl.EMPTY_UNRELATE;
}
@Override
public UnrelateUsing R603_is_a_UnrelateUsing() {
return UnrelateUsingImpl.EMPTY_UNRELATEUSING;
}
@Override
public WhileStmt R603_is_a_WhileStmt() {
return WhileStmtImpl.EMPTY_WHILESTMT;
}
@Override
public ACT_SMT R661_precedes_ACT_SMT() {
return ACT_SMTImpl.EMPTY_ACT_SMT;
}
@Override
public ACT_SMT R661_succeeds_ACT_SMT() {
return ACT_SMTImpl.EMPTY_ACT_SMT;
}
@Override
public String getKeyLetters() {
return ACT_SMTImpl.KEY_LETTERS;
}
@Override
public ACT_SMT self() {
return this;
}
@Override
public boolean isEmpty() {
return true;
}
@Override
public ACT_SMT oneWhere(IWhere condition) throws XtumlException {
if (null == condition) throw new XtumlException("Null condition passed to selection.");
return ACT_SMTImpl.EMPTY_ACT_SMT;
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy