io.ciera.tool.sql.ooaofooa.body.ForStmtSet Maven / Gradle / Ivy

Go to download
package io.ciera.tool.sql.ooaofooa.body;


import io.ciera.runtime.summit.classes.IInstanceSet;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.UniqueId;
import io.ciera.tool.sql.ooaofooa.body.ACT_SMTSet;
import io.ciera.tool.sql.ooaofooa.body.BlockSet;
import io.ciera.tool.sql.ooaofooa.subsystem.ModelClassSet;
import io.ciera.tool.sql.ooaofooa.value.V_VARSet;


public interface ForStmtSet extends IInstanceSet {

    // attributes
    public void setBlock_ID( UniqueId ref_Block_ID ) throws XtumlException;
    public void setIs_implicit( boolean m_is_implicit ) throws XtumlException;
    public void setStatement_ID( UniqueId ref_Statement_ID ) throws XtumlException;
    public void setSet_Var_ID( UniqueId ref_Set_Var_ID ) throws XtumlException;
    public void setObj_ID( UniqueId ref_Obj_ID ) throws XtumlException;
    public void setLoop_Var_ID( UniqueId ref_Loop_Var_ID ) throws XtumlException;


    // selections
    public ACT_SMTSet R603_is_a_ACT_SMT() throws XtumlException;
    public BlockSet R605_controls_Block() throws XtumlException;
    public V_VARSet R614_loop_V_VAR() throws XtumlException;
    public V_VARSet R652_set_V_VAR() throws XtumlException;
    public ModelClassSet R670_iterates_a_set_of_ModelClass() throws XtumlException;


}