public interface IStateInvariant extends IOccurrenceSpecification
Modifier and Type | Field and Description |
---|---|
static String |
MetaclassName |
Modifier and Type | Method and Description |
---|---|
String |
getBody()
Getter for the Body meta class attribute.
|
int |
getEndLineNumber()
Getter for the EndLineNumber meta class attribute.
|
void |
setBody(String value)
Setter for the 'Body' meta class attribute
|
void |
setEndLineNumber(int value)
Setter for the 'EndLineNumber' meta class attribute
|
addToAfter, addToBefore, cardToAfter, cardToAfter, cardToBefore, cardToBefore, getToAfter, getToAfter, getToBefore, getToBefore, removeToAfter, removeToBefore
addCovered, cardCovered, cardCovered, getCovered, getCovered, getEnclosingInteraction, getEnclosingOperand, getLineNumber, removeCovered, setEnclosingInteraction, setEnclosingOperand, setLineNumber
addBpmnLaneRefs, addConstraintDefinition, addDefaultParametering, addDependsOnDependency, addDescriptor, addDocument, addExtension, addImpactedDependency, addLocalDescriptor, addLocalTag, addManifesting, addproduct, addReceivedInfo, addRepresentingConnector, addRepresentingEnd, addRepresentingInstance, addRepresentingPartition, addRepresents, addSentInfo, addStereotype, addTag, addTemplateSubstitution, addTypingParameter, cardBpmnLaneRefs, cardBpmnLaneRefs, cardConstraintDefinition, cardConstraintDefinition, cardDefaultParametering, cardDefaultParametering, cardDependsOnDependency, cardDependsOnDependency, cardDescriptor, cardDescriptor, cardDocument, cardDocument, cardExtension, cardExtension, cardImpactedDependency, cardImpactedDependency, cardLocalDescriptor, cardLocalDescriptor, cardLocalTag, cardLocalTag, cardManifesting, cardManifesting, cardproduct, cardproduct, cardReceivedInfo, cardReceivedInfo, cardRepresentingConnector, cardRepresentingConnector, cardRepresentingEnd, cardRepresentingEnd, cardRepresentingInstance, cardRepresentingInstance, cardRepresentingPartition, cardRepresentingPartition, cardRepresents, cardRepresents, cardSentInfo, cardSentInfo, cardTag, cardTag, cardTemplateSubstitution, cardTemplateSubstitution, cardTypingParameter, cardTypingParameter, getBpmnLaneRefs, getBpmnLaneRefs, getConstraintDefinition, getConstraintDefinition, getDefaultParametering, getDefaultParametering, getDependsOnDependency, getDependsOnDependency, getDescriptor, getDescriptor, getDocument, getDocument, getExtension, getExtension, getImpactedDependency, getImpactedDependency, getLocalDescriptor, getLocalDescriptor, getLocalTag, getLocalTag, getManifesting, getManifesting, getNote, getNoteContent, getOwnerTemplateParameter, getproduct, getproduct, getReceivedInfo, getReceivedInfo, getRepresentingConnector, getRepresentingConnector, getRepresentingEnd, getRepresentingEnd, getRepresentingInstance, getRepresentingInstance, getRepresentingPartition, getRepresentingPartition, getRepresents, getRepresents, getSentInfo, getSentInfo, getTag, getTag, getTagValues, getTemplateSubstitution, getTemplateSubstitution, getTypingParameter, getTypingParameter, isStereotyped, isTagged, putNoteContent, putTagValue, putTagValues, removeBpmnLaneRefs, removeConstraintDefinition, removeDefaultParametering, removeDependsOnDependency, removeDescriptor, removeDocument, removeExtension, removeImpactedDependency, removeLocalDescriptor, removeLocalTag, removeManifesting, removeNote, removeproduct, removeReceivedInfo, removeRepresentingConnector, removeRepresentingEnd, removeRepresentingInstance, removeRepresentingPartition, removeRepresents, removeSentInfo, removeStereotype, removeTag, removeTag, removeTemplateSubstitution, removeTypingParameter, setName, setOwnerTemplateParameter, toString
accept, addcausing, cardcausing, cardcausing, compareTo, delete, equals, getcausing, getcausing, getCompositionOwner, getElementStatus, getHid, getIdentifier, getLid, getMetaclassId, getMetaclassName, getmodifDate, getName, getSessionId, hashCode, isValid, removecausing, setmodifDate
static final String MetaclassName
String getBody()
void setBody(String value)
value
- the new 'Body' value.int getEndLineNumber()
void setEndLineNumber(int value)
value
- the new 'EndLineNumber' value.