io.ciera.tool.sql.architecture.classes.InstanceSelectorSet 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.classes;


import io.ciera.runtime.summit.classes.IInstanceSet;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.tool.sql.architecture.classes.ModelInstSet;
import io.ciera.tool.sql.architecture.classes.SelectorSet;
import io.ciera.tool.sql.architecture.classes.SetSelectorSet;

import types.Cond;


public interface InstanceSelectorSet extends IInstanceSet {

    // attributes
    public void setFormalizer( boolean m_formalizer ) throws XtumlException;
    public void setComp_package( String ref_comp_package ) throws XtumlException;
    public void setName( String ref_name ) throws XtumlException;
    public void setClass_name( String ref_class_name ) throws XtumlException;
    public void setRel_num( int m_rel_num ) throws XtumlException;
    public void setConditionality( Cond m_conditionality ) throws XtumlException;
    public void setComp_name( String ref_comp_name ) throws XtumlException;
    public void setClass_package( String ref_class_package ) throws XtumlException;


    // selections
    public ModelInstSet R442_navigates_from_ModelInst() throws XtumlException;
    public SelectorSet R445_is_a_Selector() throws XtumlException;
    public SetSelectorSet R4505_invoked_by_SetSelector() throws XtumlException;


}