io.ciera.tool.sql.architecture.statemachine.StateMachine Maven / Gradle / Ivy

Go to download
package io.ciera.tool.sql.architecture.statemachine;


import io.ciera.runtime.summit.classes.IModelInstance;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.tool.Sql;
import io.ciera.tool.sql.architecture.classes.ModelInst;
import io.ciera.tool.sql.architecture.file.File;
import io.ciera.tool.sql.architecture.statemachine.Event;
import io.ciera.tool.sql.architecture.statemachine.EventSet;
import io.ciera.tool.sql.architecture.statemachine.State;
import io.ciera.tool.sql.architecture.statemachine.StateSet;
import io.ciera.tool.sql.architecture.statemachine.TransitionTableRow;
import io.ciera.tool.sql.architecture.statemachine.TransitionTableRowSet;


public interface StateMachine extends IModelInstance {

    // attributes
    public String getName() throws XtumlException;
    public void setName( String ref_name ) throws XtumlException;
    public void setPackage( String ref_package ) throws XtumlException;
    public String getPackage() throws XtumlException;
    public String getClass_name() throws XtumlException;
    public void setClass_name( String ref_class_name ) throws XtumlException;
    public void setComp_name( String ref_comp_name ) throws XtumlException;
    public String getComp_name() throws XtumlException;
    public String getComp_package() throws XtumlException;
    public void setComp_package( String ref_comp_package ) throws XtumlException;


    // operations
    public void render() throws XtumlException;
    public void render_decl() throws XtumlException;


    // selections
    default public void setR401_is_a_File( File inst ) {}
    public File R401_is_a_File() throws XtumlException;
    default public void setR4750_models_behavior_of_ModelInst( ModelInst inst ) {}
    public ModelInst R4750_models_behavior_of_ModelInst() throws XtumlException;
    default public void addR4751_declares_State( State inst ) {}
    default public void removeR4751_declares_State( State inst ) {}
    public StateSet R4751_declares_State() throws XtumlException;
    default public void addR4752_declares_Event( Event inst ) {}
    default public void removeR4752_declares_Event( Event inst ) {}
    public EventSet R4752_declares_Event() throws XtumlException;
    default public void addR4753_transitions_defined_by_TransitionTableRow( TransitionTableRow inst ) {}
    default public void removeR4753_transitions_defined_by_TransitionTableRow( TransitionTableRow inst ) {}
    public TransitionTableRowSet R4753_transitions_defined_by_TransitionTableRow() throws XtumlException;


}