io.ciera.tool.sql.architecture.statement.RelateSmtSet Maven / Gradle / Ivy

Go to download
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.classes.ClassRelationshipSet;
import io.ciera.tool.sql.architecture.expression.ExpressionSet;
import io.ciera.tool.sql.architecture.statement.StatementSet;


public interface RelateSmtSet extends IInstanceSet {

    // attributes
    public void setParent_package( String ref_parent_package ) throws XtumlException;
    public void setRel_name( String ref_rel_name ) throws XtumlException;
    public void setComp_name( String ref_comp_name ) throws XtumlException;
    public void setParent_name( String ref_parent_name ) throws XtumlException;
    public void setComp_package( String ref_comp_package ) throws XtumlException;
    public void setPart_expression_number( String ref_part_expression_number ) throws XtumlException;
    public void setBody_name( String ref_body_name ) throws XtumlException;
    public void setForm_expression_number( String ref_form_expression_number ) throws XtumlException;
    public void setStatement_number( String ref_statement_number ) throws XtumlException;
    public void setBlock_number( String ref_block_number ) throws XtumlException;


    // selections
    public StatementSet R451_is_a_Statement() throws XtumlException;
    public ExpressionSet R479_relates_formalizing_Expression() throws XtumlException;
    public ExpressionSet R480_relates_participating_Expression() throws XtumlException;
    public ClassRelationshipSet R481_creates_instances_of_ClassRelationship() throws XtumlException;


}