public interface StateInvariant extends OccurrenceSpecification
| Modifier and Type | Method and Description |
|---|---|
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(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, getToBeforegetCovered, getCovered, getEnclosingInteraction, getEnclosingOperand, getLineNumber, setEnclosingInteraction, setEnclosingOperand, setLineNumberaddStereotype, getBpmnLaneRefs, getBpmnLaneRefs, getConstraintDefinition, getConstraintDefinition, getDefaultParametering, getDefaultParametering, getDependsOnDependency, getDependsOnDependency, getDescriptor, getDescriptor, getDocument, getDocument, getExtension, getExtension, getImpactedDependency, getImpactedDependency, getLocalProperties, getLocalProperty, getManifesting, getManifesting, getMatrix, getMatrix, getName, getNote, getNoteContent, getOwnerTemplateParameter, getProduct, getProduct, getProperties, getProperties, getProperties, getProperty, getProperty, getReceivedInfo, getReceivedInfo, getRepresentingConnector, getRepresentingConnector, getRepresentingEnd, getRepresentingEnd, getRepresentingInstance, getRepresentingInstance, getRepresentingPartition, getRepresentingPartition, getRepresents, getRepresents, getSentInfo, getSentInfo, getStereotype, getTag, getTag, getTag, getTagValue, getTagValues, getTemplateSubstitution, getTemplateSubstitution, getTypingParameter, getTypingParameter, isStereotyped, isTagged, putNoteContent, putTagValue, putTagValues, removeNotes, removeStereotypes, removeTags, setLocalProperties, setLocalProperty, setName, setOwnerTemplateParameter, setProperty, setPropertygetAddedToQuery, getAddedToQuery, getCausing, getCausing, getDiagramElement, getDiagramElementeAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnseteAdapters, eDeliver, eNotify, eSetDeliveraccept, delete, getCompositionChildren, getCompositionOwner, getMClass, getStatus, getUuid, isDeleted, isModifiable, isShell, isValid, mGet, mGet, mSetcompareTostatic final String MNAME
String getBody()
void setBody(String value)
int getEndLineNumber()
void setEndLineNumber(int value)