io.ciera.tool.sql.ooaofooa.body.impl.ACT_SMTSetImpl Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of tool-sql Show documentation
There is a newer version: 2.7.3
package io.ciera.tool.sql.ooaofooa.body.impl;


import io.ciera.runtime.summit.classes.InstanceSet;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.UniqueId;
import io.ciera.tool.sql.ooaofooa.body.ACT_BRKSet;
import io.ciera.tool.sql.ooaofooa.body.ACT_CONSet;
import io.ciera.tool.sql.ooaofooa.body.ACT_SMT;
import io.ciera.tool.sql.ooaofooa.body.ACT_SMTSet;
import io.ciera.tool.sql.ooaofooa.body.BlockSet;
import io.ciera.tool.sql.ooaofooa.body.ControlSet;
import io.ciera.tool.sql.ooaofooa.body.ElseIfStmtSet;
import io.ciera.tool.sql.ooaofooa.body.ElseStmtSet;
import io.ciera.tool.sql.ooaofooa.body.ForStmtSet;
import io.ciera.tool.sql.ooaofooa.body.IfStmtSet;
import io.ciera.tool.sql.ooaofooa.body.WhileStmtSet;
import io.ciera.tool.sql.ooaofooa.body.impl.ACT_BRKSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ACT_CONSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ACT_SMTSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.BlockSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ControlSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ElseIfStmtSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ElseStmtSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.ForStmtSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.IfStmtSetImpl;
import io.ciera.tool.sql.ooaofooa.body.impl.WhileStmtSetImpl;
import io.ciera.tool.sql.ooaofooa.event.EventSpecificationStatementSet;
import io.ciera.tool.sql.ooaofooa.event.GeneratePreexistingEventSet;
import io.ciera.tool.sql.ooaofooa.event.impl.EventSpecificationStatementSetImpl;
import io.ciera.tool.sql.ooaofooa.event.impl.GeneratePreexistingEventSetImpl;
import io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrameSet;
import io.ciera.tool.sql.ooaofooa.instance.impl.BlockInStackFrameSetImpl;
import io.ciera.tool.sql.ooaofooa.instanceaccess.AssignToMemberSet;
import io.ciera.tool.sql.ooaofooa.instanceaccess.CreateNoVariableSet;
import io.ciera.tool.sql.ooaofooa.instanceaccess.CreateSet;
import io.ciera.tool.sql.ooaofooa.instanceaccess.DeleteSet;
import io.ciera.tool.sql.ooaofooa.instanceaccess.impl.AssignToMemberSetImpl;
import io.ciera.tool.sql.ooaofooa.instanceaccess.impl.CreateNoVariableSetImpl;
import io.ciera.tool.sql.ooaofooa.instanceaccess.impl.CreateSetImpl;
import io.ciera.tool.sql.ooaofooa.instanceaccess.impl.DeleteSetImpl;
import io.ciera.tool.sql.ooaofooa.invocation.BridgeInvocationSet;
import io.ciera.tool.sql.ooaofooa.invocation.FunctionInvocationSet;
import io.ciera.tool.sql.ooaofooa.invocation.InterfaceOperationInvocationSet;
import io.ciera.tool.sql.ooaofooa.invocation.OperationInvocationSet;
import io.ciera.tool.sql.ooaofooa.invocation.ReturnStmtSet;
import io.ciera.tool.sql.ooaofooa.invocation.SignalInvocationSet;
import io.ciera.tool.sql.ooaofooa.invocation.impl.BridgeInvocationSetImpl;
import io.ciera.tool.sql.ooaofooa.invocation.impl.FunctionInvocationSetImpl;
import io.ciera.tool.sql.ooaofooa.invocation.impl.InterfaceOperationInvocationSetImpl;
import io.ciera.tool.sql.ooaofooa.invocation.impl.OperationInvocationSetImpl;
import io.ciera.tool.sql.ooaofooa.invocation.impl.ReturnStmtSetImpl;
import io.ciera.tool.sql.ooaofooa.invocation.impl.SignalInvocationSetImpl;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.RelateSet;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.RelateUsingSet;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.UnrelateSet;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.UnrelateUsingSet;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.impl.RelateSetImpl;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.impl.RelateUsingSetImpl;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.impl.UnrelateSetImpl;
import io.ciera.tool.sql.ooaofooa.relateandunrelate.impl.UnrelateUsingSetImpl;
import io.ciera.tool.sql.ooaofooa.selection.ACT_FIOSet;
import io.ciera.tool.sql.ooaofooa.selection.ACT_SELSet;
import io.ciera.tool.sql.ooaofooa.selection.SelectFromInstancesWhereSet;
import io.ciera.tool.sql.ooaofooa.selection.impl.ACT_FIOSetImpl;
import io.ciera.tool.sql.ooaofooa.selection.impl.ACT_SELSetImpl;
import io.ciera.tool.sql.ooaofooa.selection.impl.SelectFromInstancesWhereSetImpl;

import java.util.Arrays;
import java.util.Comparator;
import java.util.List;


public class ACT_SMTSetImpl extends InstanceSet implements ACT_SMTSet {

    public ACT_SMTSetImpl() {
    }

    public ACT_SMTSetImpl(Comparator comp) {
        super(comp);
    }

    // attributes
    @Override
    public void setStatement_ID( UniqueId m_Statement_ID ) throws XtumlException {
        for ( ACT_SMT act_smt : this ) act_smt.setStatement_ID( m_Statement_ID );
    }
    @Override
    public void setStartPosition( int m_StartPosition ) throws XtumlException {
        for ( ACT_SMT act_smt : this ) act_smt.setStartPosition( m_StartPosition );
    }
    @Override
    public void setPrevious_Statement_ID( UniqueId ref_Previous_Statement_ID ) throws XtumlException {
        for ( ACT_SMT act_smt : this ) act_smt.setPrevious_Statement_ID( ref_Previous_Statement_ID );
    }
    @Override
    public void setBlock_ID( UniqueId ref_Block_ID ) throws XtumlException {
        for ( ACT_SMT act_smt : this ) act_smt.setBlock_ID( ref_Block_ID );
    }
    @Override
    public void setLineNumber( int m_LineNumber ) throws XtumlException {
        for ( ACT_SMT act_smt : this ) act_smt.setLineNumber( m_LineNumber );
    }
    @Override
    public void setLabel( String m_Label ) throws XtumlException {
        for ( ACT_SMT act_smt : this ) act_smt.setLabel( m_Label );
    }


    // selections
    @Override
    public BlockInStackFrameSet R2941_is_visited_within_scope_of_BlockInStackFrame() throws XtumlException {
        BlockInStackFrameSet blockinstackframeset = new BlockInStackFrameSetImpl();
        for ( ACT_SMT act_smt : this ) blockinstackframeset.addAll( act_smt.R2941_is_visited_within_scope_of_BlockInStackFrame() );
        return blockinstackframeset;
    }
    @Override
    public BlockSet R602_contains_Block() throws XtumlException {
        BlockSet blockset = new BlockSetImpl();
        for ( ACT_SMT act_smt : this ) blockset.add( act_smt.R602_contains_Block() );
        return blockset;
    }
    @Override
    public ACT_BRKSet R603_is_a_ACT_BRK() throws XtumlException {
        ACT_BRKSet act_brkset = new ACT_BRKSetImpl();
        for ( ACT_SMT act_smt : this ) act_brkset.add( act_smt.R603_is_a_ACT_BRK() );
        return act_brkset;
    }
    @Override
    public ACT_CONSet R603_is_a_ACT_CON() throws XtumlException {
        ACT_CONSet act_conset = new ACT_CONSetImpl();
        for ( ACT_SMT act_smt : this ) act_conset.add( act_smt.R603_is_a_ACT_CON() );
        return act_conset;
    }
    @Override
    public ACT_FIOSet R603_is_a_ACT_FIO() throws XtumlException {
        ACT_FIOSet act_fioset = new ACT_FIOSetImpl();
        for ( ACT_SMT act_smt : this ) act_fioset.add( act_smt.R603_is_a_ACT_FIO() );
        return act_fioset;
    }
    @Override
    public ACT_SELSet R603_is_a_ACT_SEL() throws XtumlException {
        ACT_SELSet act_selset = new ACT_SELSetImpl();
        for ( ACT_SMT act_smt : this ) act_selset.add( act_smt.R603_is_a_ACT_SEL() );
        return act_selset;
    }
    @Override
    public AssignToMemberSet R603_is_a_AssignToMember() throws XtumlException {
        AssignToMemberSet assigntomemberset = new AssignToMemberSetImpl();
        for ( ACT_SMT act_smt : this ) assigntomemberset.add( act_smt.R603_is_a_AssignToMember() );
        return assigntomemberset;
    }
    @Override
    public BridgeInvocationSet R603_is_a_BridgeInvocation() throws XtumlException {
        BridgeInvocationSet bridgeinvocationset = new BridgeInvocationSetImpl();
        for ( ACT_SMT act_smt : this ) bridgeinvocationset.add( act_smt.R603_is_a_BridgeInvocation() );
        return bridgeinvocationset;
    }
    @Override
    public ControlSet R603_is_a_Control() throws XtumlException {
        ControlSet controlset = new ControlSetImpl();
        for ( ACT_SMT act_smt : this ) controlset.add( act_smt.R603_is_a_Control() );
        return controlset;
    }
    @Override
    public CreateSet R603_is_a_Create() throws XtumlException {
        CreateSet createset = new CreateSetImpl();
        for ( ACT_SMT act_smt : this ) createset.add( act_smt.R603_is_a_Create() );
        return createset;
    }
    @Override
    public CreateNoVariableSet R603_is_a_CreateNoVariable() throws XtumlException {
        CreateNoVariableSet createnovariableset = new CreateNoVariableSetImpl();
        for ( ACT_SMT act_smt : this ) createnovariableset.add( act_smt.R603_is_a_CreateNoVariable() );
        return createnovariableset;
    }
    @Override
    public DeleteSet R603_is_a_Delete() throws XtumlException {
        DeleteSet deleteset = new DeleteSetImpl();
        for ( ACT_SMT act_smt : this ) deleteset.add( act_smt.R603_is_a_Delete() );
        return deleteset;
    }
    @Override
    public ElseIfStmtSet R603_is_a_ElseIfStmt() throws XtumlException {
        ElseIfStmtSet elseifstmtset = new ElseIfStmtSetImpl();
        for ( ACT_SMT act_smt : this ) elseifstmtset.add( act_smt.R603_is_a_ElseIfStmt() );
        return elseifstmtset;
    }
    @Override
    public ElseStmtSet R603_is_a_ElseStmt() throws XtumlException {
        ElseStmtSet elsestmtset = new ElseStmtSetImpl();
        for ( ACT_SMT act_smt : this ) elsestmtset.add( act_smt.R603_is_a_ElseStmt() );
        return elsestmtset;
    }
    @Override
    public EventSpecificationStatementSet R603_is_a_EventSpecificationStatement() throws XtumlException {
        EventSpecificationStatementSet eventspecificationstatementset = new EventSpecificationStatementSetImpl();
        for ( ACT_SMT act_smt : this ) eventspecificationstatementset.add( act_smt.R603_is_a_EventSpecificationStatement() );
        return eventspecificationstatementset;
    }
    @Override
    public ForStmtSet R603_is_a_ForStmt() throws XtumlException {
        ForStmtSet forstmtset = new ForStmtSetImpl();
        for ( ACT_SMT act_smt : this ) forstmtset.add( act_smt.R603_is_a_ForStmt() );
        return forstmtset;
    }
    @Override
    public FunctionInvocationSet R603_is_a_FunctionInvocation() throws XtumlException {
        FunctionInvocationSet functioninvocationset = new FunctionInvocationSetImpl();
        for ( ACT_SMT act_smt : this ) functioninvocationset.add( act_smt.R603_is_a_FunctionInvocation() );
        return functioninvocationset;
    }
    @Override
    public GeneratePreexistingEventSet R603_is_a_GeneratePreexistingEvent() throws XtumlException {
        GeneratePreexistingEventSet generatepreexistingeventset = new GeneratePreexistingEventSetImpl();
        for ( ACT_SMT act_smt : this ) generatepreexistingeventset.add( act_smt.R603_is_a_GeneratePreexistingEvent() );
        return generatepreexistingeventset;
    }
    @Override
    public IfStmtSet R603_is_a_IfStmt() throws XtumlException {
        IfStmtSet ifstmtset = new IfStmtSetImpl();
        for ( ACT_SMT act_smt : this ) ifstmtset.add( act_smt.R603_is_a_IfStmt() );
        return ifstmtset;
    }
    @Override
    public InterfaceOperationInvocationSet R603_is_a_InterfaceOperationInvocation() throws XtumlException {
        InterfaceOperationInvocationSet interfaceoperationinvocationset = new InterfaceOperationInvocationSetImpl();
        for ( ACT_SMT act_smt : this ) interfaceoperationinvocationset.add( act_smt.R603_is_a_InterfaceOperationInvocation() );
        return interfaceoperationinvocationset;
    }
    @Override
    public OperationInvocationSet R603_is_a_OperationInvocation() throws XtumlException {
        OperationInvocationSet operationinvocationset = new OperationInvocationSetImpl();
        for ( ACT_SMT act_smt : this ) operationinvocationset.add( act_smt.R603_is_a_OperationInvocation() );
        return operationinvocationset;
    }
    @Override
    public RelateSet R603_is_a_Relate() throws XtumlException {
        RelateSet relateset = new RelateSetImpl();
        for ( ACT_SMT act_smt : this ) relateset.add( act_smt.R603_is_a_Relate() );
        return relateset;
    }
    @Override
    public RelateUsingSet R603_is_a_RelateUsing() throws XtumlException {
        RelateUsingSet relateusingset = new RelateUsingSetImpl();
        for ( ACT_SMT act_smt : this ) relateusingset.add( act_smt.R603_is_a_RelateUsing() );
        return relateusingset;
    }
    @Override
    public ReturnStmtSet R603_is_a_ReturnStmt() throws XtumlException {
        ReturnStmtSet returnstmtset = new ReturnStmtSetImpl();
        for ( ACT_SMT act_smt : this ) returnstmtset.add( act_smt.R603_is_a_ReturnStmt() );
        return returnstmtset;
    }
    @Override
    public SelectFromInstancesWhereSet R603_is_a_SelectFromInstancesWhere() throws XtumlException {
        SelectFromInstancesWhereSet selectfrominstanceswhereset = new SelectFromInstancesWhereSetImpl();
        for ( ACT_SMT act_smt : this ) selectfrominstanceswhereset.add( act_smt.R603_is_a_SelectFromInstancesWhere() );
        return selectfrominstanceswhereset;
    }
    @Override
    public SignalInvocationSet R603_is_a_SignalInvocation() throws XtumlException {
        SignalInvocationSet signalinvocationset = new SignalInvocationSetImpl();
        for ( ACT_SMT act_smt : this ) signalinvocationset.add( act_smt.R603_is_a_SignalInvocation() );
        return signalinvocationset;
    }
    @Override
    public UnrelateSet R603_is_a_Unrelate() throws XtumlException {
        UnrelateSet unrelateset = new UnrelateSetImpl();
        for ( ACT_SMT act_smt : this ) unrelateset.add( act_smt.R603_is_a_Unrelate() );
        return unrelateset;
    }
    @Override
    public UnrelateUsingSet R603_is_a_UnrelateUsing() throws XtumlException {
        UnrelateUsingSet unrelateusingset = new UnrelateUsingSetImpl();
        for ( ACT_SMT act_smt : this ) unrelateusingset.add( act_smt.R603_is_a_UnrelateUsing() );
        return unrelateusingset;
    }
    @Override
    public WhileStmtSet R603_is_a_WhileStmt() throws XtumlException {
        WhileStmtSet whilestmtset = new WhileStmtSetImpl();
        for ( ACT_SMT act_smt : this ) whilestmtset.add( act_smt.R603_is_a_WhileStmt() );
        return whilestmtset;
    }
    @Override
    public ACT_SMTSet R661_precedes_ACT_SMT() throws XtumlException {
        ACT_SMTSet act_smtset = new ACT_SMTSetImpl();
        for ( ACT_SMT act_smt : this ) act_smtset.add( act_smt.R661_precedes_ACT_SMT() );
        return act_smtset;
    }
    @Override
    public ACT_SMTSet R661_succeeds_ACT_SMT() throws XtumlException {
        ACT_SMTSet act_smtset = new ACT_SMTSetImpl();
        for ( ACT_SMT act_smt : this ) act_smtset.add( act_smt.R661_succeeds_ACT_SMT() );
        return act_smtset;
    }


    @Override
    public ACT_SMT nullElement() {
        return ACT_SMTImpl.EMPTY_ACT_SMT;
    }

    @Override
    public ACT_SMTSet emptySet() {
      return new ACT_SMTSetImpl();
    }

    @Override
    public ACT_SMTSet emptySet(Comparator comp) {
      return new ACT_SMTSetImpl(comp);
    }

    @Override
    public List elements() {
        return Arrays.asList(toArray(new ACT_SMT[0]));
    }

}