io.ciera.tool.sql.ooaofooa.invocation.SignalInvocationSet 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.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.component.signalprovisionsandrequirements.ProvidedSignalSet;
import io.ciera.tool.sql.ooaofooa.component.signalprovisionsandrequirements.RequiredSignalSet;
import io.ciera.tool.sql.ooaofooa.value.V_PARSet;
import io.ciera.tool.sql.ooaofooa.value.ValueSet;


public interface SignalInvocationSet extends IInstanceSet {

    // attributes
    public void setOwnerNameColumn( int m_ownerNameColumn ) throws XtumlException;
    public void setValue_ID( UniqueId ref_Value_ID ) throws XtumlException;
    public void setProvidedSig_Id( UniqueId ref_ProvidedSig_Id ) throws XtumlException;
    public void setSigNameLineNumber( int m_sigNameLineNumber ) throws XtumlException;
    public void setSigNameColumn( int m_sigNameColumn ) throws XtumlException;
    public void setOwnerNameLineNumber( int m_ownerNameLineNumber ) throws XtumlException;
    public void setStatement_ID( UniqueId ref_Statement_ID ) throws XtumlException;
    public void setRequiredSig_Id( UniqueId ref_RequiredSig_Id ) throws XtumlException;


    // selections
    public ACT_SMTSet R603_is_a_ACT_SMT() throws XtumlException;
    public ValueSet R630_has_target_Value() throws XtumlException;
    public RequiredSignalSet R660_is_invocation_of_RequiredSignal() throws XtumlException;
    public V_PARSet R662_takes_V_PAR() throws XtumlException;
    public ProvidedSignalSet R663_is_invocation_of_ProvidedSignal() throws XtumlException;


}