io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrame 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.ooaofooa.instance;


import io.ciera.runtime.summit.classes.IModelInstance;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.UniqueId;
import io.ciera.tool.Sql;
import io.ciera.tool.sql.ooaofooa.body.ACT_SMT;
import io.ciera.tool.sql.ooaofooa.body.Block;
import io.ciera.tool.sql.ooaofooa.instance.StackFrame;


public interface BlockInStackFrame extends IModelInstance {

    // attributes
    public void setBlock_ID( UniqueId ref_Block_ID ) throws XtumlException;
    public UniqueId getBlock_ID() throws XtumlException;
    public void setStack_Frame_ID( UniqueId ref_Stack_Frame_ID ) throws XtumlException;
    public UniqueId getStack_Frame_ID() throws XtumlException;
    public void setStatement_ID( UniqueId ref_Statement_ID ) throws XtumlException;
    public UniqueId getStatement_ID() throws XtumlException;
    public void setIsExecuting( boolean m_isExecuting ) throws XtumlException;
    public boolean getIsExecuting() throws XtumlException;


    // operations


    // selections
    default public void setR2923_is_executed_within_the_context_of_StackFrame( StackFrame inst ) {}
    public StackFrame R2923_is_executed_within_the_context_of_StackFrame() throws XtumlException;
    default public void setR2923_supplies_context_for_Block( Block inst ) {}
    public Block R2923_supplies_context_for_Block() throws XtumlException;
    default public void setR2941_is_currently_visiting_ACT_SMT( ACT_SMT inst ) {}
    public ACT_SMT R2941_is_currently_visiting_ACT_SMT() throws XtumlException;


}