io.ciera.tool.sql.ooaofooa.invocation.SignalInvocation 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.invocation;


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.component.signalprovisionsandrequirements.ProvidedSignal;
import io.ciera.tool.sql.ooaofooa.component.signalprovisionsandrequirements.RequiredSignal;
import io.ciera.tool.sql.ooaofooa.value.V_PAR;
import io.ciera.tool.sql.ooaofooa.value.V_PARSet;
import io.ciera.tool.sql.ooaofooa.value.Value;


public interface SignalInvocation extends IModelInstance {

    // attributes
    public UniqueId getStatement_ID() throws XtumlException;
    public void setStatement_ID( UniqueId ref_Statement_ID ) throws XtumlException;
    public void setSigNameLineNumber( int m_sigNameLineNumber ) throws XtumlException;
    public int getSigNameLineNumber() throws XtumlException;
    public void setSigNameColumn( int m_sigNameColumn ) throws XtumlException;
    public int getSigNameColumn() throws XtumlException;
    public void setOwnerNameLineNumber( int m_ownerNameLineNumber ) throws XtumlException;
    public int getOwnerNameLineNumber() throws XtumlException;
    public void setOwnerNameColumn( int m_ownerNameColumn ) throws XtumlException;
    public int getOwnerNameColumn() throws XtumlException;
    public UniqueId getProvidedSig_Id() throws XtumlException;
    public void setProvidedSig_Id( UniqueId ref_ProvidedSig_Id ) throws XtumlException;
    public UniqueId getRequiredSig_Id() throws XtumlException;
    public void setRequiredSig_Id( UniqueId ref_RequiredSig_Id ) throws XtumlException;
    public void setValue_ID( UniqueId ref_Value_ID ) throws XtumlException;
    public UniqueId getValue_ID() throws XtumlException;


    // operations


    // selections
    default public void setR603_is_a_ACT_SMT( ACT_SMT inst ) {}
    public ACT_SMT R603_is_a_ACT_SMT() throws XtumlException;
    default public void setR630_has_target_Value( Value inst ) {}
    public Value R630_has_target_Value() throws XtumlException;
    default public void setR660_is_invocation_of_RequiredSignal( RequiredSignal inst ) {}
    public RequiredSignal R660_is_invocation_of_RequiredSignal() throws XtumlException;
    default public void addR662_takes_V_PAR( V_PAR inst ) {}
    default public void removeR662_takes_V_PAR( V_PAR inst ) {}
    public V_PARSet R662_takes_V_PAR() throws XtumlException;
    default public void setR663_is_invocation_of_ProvidedSignal( ProvidedSignal inst ) {}
    public ProvidedSignal R663_is_invocation_of_ProvidedSignal() throws XtumlException;


}