public interface StateInvariant extends OccurrenceSpecification
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
MNAME
The metaclass simple name.
|
static java.lang.String |
MQNAME
The metaclass qualified name.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getBody()
Getter for attribute 'StateInvariant.Body'
Metamodel description:
A Constraint that should hold at runtime for this StateInvariant.
|
int |
getEndLineNumber()
Getter for attribute 'StateInvariant.EndLineNumber'
Metamodel description:
null
|
void |
setBody(java.lang.String value)
Setter for attribute 'StateInvariant.Body'
Metamodel description:
A Constraint that should hold at runtime for this StateInvariant.
|
void |
setEndLineNumber(int value)
Setter for attribute 'StateInvariant.EndLineNumber'
Metamodel description:
null
|
getToAfter, getToAfter, getToBefore, getToBefore
getCovered, getCovered, getEnclosingInteraction, getEnclosingOperand, getLineNumber, setEnclosingInteraction, setEnclosingOperand, setLineNumber
getConstraintDefinition, getConstraintDefinition, getDefaultParametering, getDefaultParametering, getManifesting, getManifesting, getOwnerTemplateParameter, getReceivedInfo, getReceivedInfo, getRepresentingConnector, getRepresentingConnector, getRepresentingEnd, getRepresentingEnd, getRepresentingInstance, getRepresentingInstance, getRepresentingPartition, getRepresentingPartition, getRepresents, getRepresents, getSentInfo, getSentInfo, getTemplateSubstitution, getTemplateSubstitution, getTypingParameter, getTypingParameter, setOwnerTemplateParameter
addStereotype, getAttached, getAttached, getDependsOnDependency, getDependsOnDependency, getDescriptor, getDescriptor, getExtension, getExtension, getImpactDependsOn, getImpactDependsOn, getImpactedDependency, getImpactedDependency, getImpactImpacted, getImpactImpacted, getLocalProperties, getLocalProperty, getMatrix, getMatrix, getName, getNote, getNote, getNote, getNoteContent, getNoteContent, getNoteContent, getProduct, getProduct, getProperties, getProperties, getProperties, getProperties, getProperties, getProperty, getProperty, getProperty, getProperty, getStereotype, getTag, getTag, getTag, getTag, getTag, getTagValue, getTagValue, getTagValue, getTagValues, getTagValues, getTagValues, isStereotyped, isStereotyped, isTagged, isTagged, isTagged, putNoteContent, putNoteContent, putNoteContent, putTagValue, putTagValue, putTagValue, putTagValues, putTagValues, putTagValues, removeNotes, removeNotes, removeNotes, removeStereotypes, removeTags, removeTags, removeTags, setLocalProperties, setLocalProperty, setName, setProperty, setProperty, setProperty, setProperty
getAddedToQuery, getAddedToQuery, getCausedImpact, getCausedImpact, getDiagramElement, getDiagramElement
accept, delete, getCompositionChildren, getCompositionOwner, getMClass, getStatus, getUuid, isDeleted, isModifiable, isShell, isValid, mGet, mGet, mSet
static final java.lang.String MNAME
static final java.lang.String MQNAME
java.lang.String getBody()
void setBody(java.lang.String value)
int getEndLineNumber()
void setEndLineNumber(int value)