Package io.ciera.tool.sql.ooaofooa.invocation.impl

Class SignalInvocationImpl

java.lang.Object

io.ciera.runtime.summit.classes.ModelInstance<SignalInvocation,Sql>

io.ciera.tool.sql.ooaofooa.invocation.impl.SignalInvocationImpl

All Implemented Interfaces:

io.ciera.runtime.summit.application.IActionHome<Sql>, io.ciera.runtime.summit.application.IInstanceActionHome<SignalInvocation,Sql>, io.ciera.runtime.summit.classes.IModelInstance<SignalInvocation,Sql>, io.ciera.runtime.summit.statemachine.IEventTarget, io.ciera.runtime.summit.types.IXtumlType, SignalInvocation, Comparable<SignalInvocation>

public class SignalInvocationImpl
extends io.ciera.runtime.summit.classes.ModelInstance<SignalInvocation,Sql>
implements SignalInvocation

Field Summary

Fields

Modifier and Type	Field	Description
static final SignalInvocation	EMPTY_SIGNALINVOCATION
static final String	KEY_LETTERS

Method Summary

Modifier and Type	Method	Description
void	addR662_takes_V_PAR(V_PAR inst)
Sql	context()
static SignalInvocation	create(Sql context)
static SignalInvocation	create(Sql context, io.ciera.runtime.summit.types.UniqueId ref_Statement_ID, int m_sigNameLineNumber, int m_sigNameColumn, int m_ownerNameLineNumber, int m_ownerNameColumn, io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id, io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id, io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
static SignalInvocation	create(Sql context, io.ciera.runtime.summit.types.UniqueId instanceId, io.ciera.runtime.summit.types.UniqueId ref_Statement_ID, int m_sigNameLineNumber, int m_sigNameColumn, int m_ownerNameLineNumber, int m_ownerNameColumn, io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id, io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id, io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
io.ciera.runtime.summit.classes.IInstanceIdentifier	getId1()
String	getKeyLetters()
int	getOwnerNameColumn()
int	getOwnerNameLineNumber()
io.ciera.runtime.summit.types.UniqueId	getProvidedSig_Id()
io.ciera.runtime.summit.types.UniqueId	getRequiredSig_Id()
io.ciera.runtime.summit.application.IRunContext	getRunContext()
int	getSigNameColumn()
int	getSigNameLineNumber()
io.ciera.runtime.summit.types.UniqueId	getStatement_ID()
io.ciera.runtime.summit.types.UniqueId	getValue_ID()
SignalInvocation	oneWhere(io.ciera.runtime.summit.types.IWhere<io.ciera.runtime.summit.types.IXtumlType> condition)
ACT_SMT	R603_is_a_ACT_SMT()
Value	R630_has_target_Value()
RequiredSignal	R660_is_invocation_of_RequiredSignal()
V_PARSet	R662_takes_V_PAR()
ProvidedSignal	R663_is_invocation_of_ProvidedSignal()
void	removeR662_takes_V_PAR(V_PAR inst)
SignalInvocation	self()
void	setOwnerNameColumn(int m_ownerNameColumn)
void	setOwnerNameLineNumber(int m_ownerNameLineNumber)
void	setProvidedSig_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id)
void	setR603_is_a_ACT_SMT(ACT_SMT inst)
void	setR630_has_target_Value(Value inst)
void	setR660_is_invocation_of_RequiredSignal(RequiredSignal inst)
void	setR663_is_invocation_of_ProvidedSignal(ProvidedSignal inst)
void	setRequiredSig_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id)
void	setSigNameColumn(int m_sigNameColumn)
void	setSigNameLineNumber(int m_sigNameLineNumber)
void	setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
void	setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)

Methods inherited from class io.ciera.runtime.summit.classes.ModelInstance

accept, checkLiving, compareTo, delete, equals, getCurrentState, getId2, getId3, getInstanceId, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface io.ciera.runtime.summit.application.IActionHome

warn

Methods inherited from interface io.ciera.runtime.summit.statemachine.IEventTarget

accept, getCurrentState

Methods inherited from interface io.ciera.runtime.summit.classes.IModelInstance

checkLiving, compareTo, delete, getId2, getId3, getInstanceId, isEmpty

Methods inherited from interface io.ciera.runtime.summit.types.IXtumlType

equality, inequality, serialize

Field Details

KEY_LETTERS

public static final String KEY_LETTERS

See Also:

• Constant Field Values

EMPTY_SIGNALINVOCATION

public static final SignalInvocation EMPTY_SIGNALINVOCATION

Method Details

create

public static SignalInvocation create(Sql context)
                               throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

create

public static SignalInvocation create(Sql context,
 io.ciera.runtime.summit.types.UniqueId ref_Statement_ID,
 int m_sigNameLineNumber,
 int m_sigNameColumn,
 int m_ownerNameLineNumber,
 int m_ownerNameColumn,
 io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id,
 io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id,
 io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
                               throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

create

public static SignalInvocation create(Sql context,
 io.ciera.runtime.summit.types.UniqueId instanceId,
 io.ciera.runtime.summit.types.UniqueId ref_Statement_ID,
 int m_sigNameLineNumber,
 int m_sigNameColumn,
 int m_ownerNameLineNumber,
 int m_ownerNameColumn,
 io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id,
 io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id,
 io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
                               throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setStatement_ID

public void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setStatement_ID in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getStatement_ID

public io.ciera.runtime.summit.types.UniqueId getStatement_ID()
                                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

getStatement_ID in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setSigNameLineNumber

public void setSigNameLineNumber(int m_sigNameLineNumber)
                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setSigNameLineNumber in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getSigNameLineNumber

public int getSigNameLineNumber()
                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

getSigNameLineNumber in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getSigNameColumn

public int getSigNameColumn()
                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

getSigNameColumn in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setSigNameColumn

public void setSigNameColumn(int m_sigNameColumn)
                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setSigNameColumn in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setOwnerNameLineNumber

public void setOwnerNameLineNumber(int m_ownerNameLineNumber)
                            throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setOwnerNameLineNumber in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getOwnerNameLineNumber

public int getOwnerNameLineNumber()
                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

getOwnerNameLineNumber in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setOwnerNameColumn

public void setOwnerNameColumn(int m_ownerNameColumn)
                        throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setOwnerNameColumn in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getOwnerNameColumn

public int getOwnerNameColumn()
                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

getOwnerNameColumn in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setProvidedSig_Id

public void setProvidedSig_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id)
                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setProvidedSig_Id in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getProvidedSig_Id

public io.ciera.runtime.summit.types.UniqueId getProvidedSig_Id()
                                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

getProvidedSig_Id in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setRequiredSig_Id

public void setRequiredSig_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id)
                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setRequiredSig_Id in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getRequiredSig_Id

public io.ciera.runtime.summit.types.UniqueId getRequiredSig_Id()
                                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

getRequiredSig_Id in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setValue_ID

public void setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setValue_ID in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getValue_ID

public io.ciera.runtime.summit.types.UniqueId getValue_ID()
                                                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

getValue_ID in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getId1

public io.ciera.runtime.summit.classes.IInstanceIdentifier getId1()

Specified by:

getId1 in interface io.ciera.runtime.summit.classes.IModelInstance<SignalInvocation,Sql>

Overrides:

getId1 in class io.ciera.runtime.summit.classes.ModelInstance<SignalInvocation,Sql>

setR603_is_a_ACT_SMT

public void setR603_is_a_ACT_SMT(ACT_SMT inst)

Specified by:

setR603_is_a_ACT_SMT in interface SignalInvocation

R603_is_a_ACT_SMT

public ACT_SMT R603_is_a_ACT_SMT()
                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_ACT_SMT in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setR630_has_target_Value

public void setR630_has_target_Value(Value inst)

Specified by:

setR630_has_target_Value in interface SignalInvocation

R630_has_target_Value

public Value R630_has_target_Value()
                            throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R630_has_target_Value in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setR660_is_invocation_of_RequiredSignal

public void setR660_is_invocation_of_RequiredSignal(RequiredSignal inst)

Specified by:

setR660_is_invocation_of_RequiredSignal in interface SignalInvocation

R660_is_invocation_of_RequiredSignal

public RequiredSignal R660_is_invocation_of_RequiredSignal()
                                                    throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R660_is_invocation_of_RequiredSignal in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

addR662_takes_V_PAR

public void addR662_takes_V_PAR(V_PAR inst)

Specified by:

addR662_takes_V_PAR in interface SignalInvocation

removeR662_takes_V_PAR

public void removeR662_takes_V_PAR(V_PAR inst)

Specified by:

removeR662_takes_V_PAR in interface SignalInvocation

R662_takes_V_PAR

public V_PARSet R662_takes_V_PAR()
                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R662_takes_V_PAR in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setR663_is_invocation_of_ProvidedSignal

public void setR663_is_invocation_of_ProvidedSignal(ProvidedSignal inst)

Specified by:

setR663_is_invocation_of_ProvidedSignal in interface SignalInvocation

R663_is_invocation_of_ProvidedSignal

public ProvidedSignal R663_is_invocation_of_ProvidedSignal()
                                                    throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R663_is_invocation_of_ProvidedSignal in interface SignalInvocation

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getRunContext

public io.ciera.runtime.summit.application.IRunContext getRunContext()

Specified by:

getRunContext in interface io.ciera.runtime.summit.application.IActionHome<Sql>

Overrides:

getRunContext in class io.ciera.runtime.summit.classes.ModelInstance<SignalInvocation,Sql>

context

public Sql context()

Specified by:

context in interface io.ciera.runtime.summit.application.IActionHome<Sql>

Overrides:

context in class io.ciera.runtime.summit.classes.ModelInstance<SignalInvocation,Sql>

getKeyLetters

public String getKeyLetters()

Specified by:

getKeyLetters in interface io.ciera.runtime.summit.statemachine.IEventTarget

Specified by:

getKeyLetters in interface io.ciera.runtime.summit.classes.IModelInstance<SignalInvocation,Sql>

self

public SignalInvocation self()

Specified by:

self in interface io.ciera.runtime.summit.application.IInstanceActionHome<SignalInvocation,Sql>

oneWhere

public SignalInvocation oneWhere(io.ciera.runtime.summit.types.IWhere<io.ciera.runtime.summit.types.IXtumlType> condition)
                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

oneWhere in interface io.ciera.runtime.summit.types.IXtumlType

Throws:

io.ciera.runtime.summit.exceptions.XtumlException