io.ciera.tool.sql.architecture.statement.WhileSmtSet 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.architecture.statement;


import io.ciera.runtime.summit.classes.IInstanceSet;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.tool.sql.architecture.expression.ExpressionSet;
import io.ciera.tool.sql.architecture.invocable.CodeBlockSet;
import io.ciera.tool.sql.architecture.statement.StatementSet;


public interface WhileSmtSet extends IInstanceSet {

    // attributes
    public void setParent_name( String ref_parent_name ) throws XtumlException;
    public void setControl_block_number( String ref_control_block_number ) throws XtumlException;
    public void setBody_name( String ref_body_name ) throws XtumlException;
    public void setStatement_number( String ref_statement_number ) throws XtumlException;
    public void setParent_package( String ref_parent_package ) throws XtumlException;
    public void setBlock_number( String ref_block_number ) throws XtumlException;
    public void setCond_expression_number( String ref_cond_expression_number ) throws XtumlException;


    // selections
    public StatementSet R451_is_a_Statement() throws XtumlException;
    public CodeBlockSet R456_has_control_CodeBlock() throws XtumlException;
    public ExpressionSet R472_executes_block_while_true_Expression() throws XtumlException;


}