io.ciera.tool.sql.ooaofooa.body.IfStmtSet 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.body.ElseIfStmtSet;
import io.ciera.tool.sql.ooaofooa.body.ElseStmtSet;
import io.ciera.tool.sql.ooaofooa.value.ValueSet;


public interface IfStmtSet extends IInstanceSet {

    // attributes
    public void setElif_Statement_ID( UniqueId ref_Elif_Statement_ID ) throws XtumlException;
    public void setBlock_ID( UniqueId ref_Block_ID ) throws XtumlException;
    public void setStatement_ID( UniqueId ref_Statement_ID ) throws XtumlException;
    public void setElse_Statement_ID( UniqueId ref_Else_Statement_ID ) throws XtumlException;
    public void setValue_ID( UniqueId ref_Value_ID ) throws XtumlException;


    // selections
    public ACT_SMTSet R603_is_a_ACT_SMT() throws XtumlException;
    public BlockSet R607_controls_Block() throws XtumlException;
    public ValueSet R625_test_result_Value() throws XtumlException;
    public ElseIfStmtSet R682_has_ElseIfStmt() throws XtumlException;
    public ElseStmtSet R683_has_ElseStmt() throws XtumlException;
    public ElseIfStmtSet R690_was_executing_when_halted_ElseIfStmt() throws XtumlException;
    public ElseStmtSet R692_was_executing_when_halted_ElseStmt() throws XtumlException;


}