• Home
• io.ciera
• tool-sql
• 2.6.1
• source code
• BlockInStackFrameSet.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrameSet Maven / Gradle / Ivy

package io.ciera.tool.sql.ooaofooa.instance;


import io.ciera.runtime.summit.classes.IInstanceSet;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.UniqueId;
import io.ciera.tool.sql.ooaofooa.body.ACT_SMTSet;
import io.ciera.tool.sql.ooaofooa.body.BlockSet;
import io.ciera.tool.sql.ooaofooa.instance.StackFrameSet;


public interface BlockInStackFrameSet extends IInstanceSet {

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


    // selections
    public StackFrameSet R2923_is_executed_within_the_context_of_StackFrame() throws XtumlException;
    public BlockSet R2923_supplies_context_for_Block() throws XtumlException;
    public ACT_SMTSet R2941_is_currently_visiting_ACT_SMT() throws XtumlException;


}