public interface Term
extends org.eclipse.emf.ecore.EObject
The following features are supported:
TermsPackage.getTerm()
Modifier and Type | Method and Description |
---|---|
void |
fromPNML(org.apache.axiom.om.OMElement locRoot,
IdRefLinker idr) |
Condition |
getContainerCondition()
Returns the value of the 'Container Condition' container reference.
|
HLAnnotation |
getContainerHLAnnotation()
Returns the value of the 'Container HL Annotation' container reference.
|
HLMarking |
getContainerHLMarking()
Returns the value of the 'Container HL Marking' container reference.
|
NamedOperator |
getContainerNamedOperator()
Returns the value of the 'Container Named Operator' container reference.
|
Operator |
getContainerOperator()
Returns the value of the 'Container Operator' container reference.
|
PartitionElement |
getContainerPartitionElement()
Returns the value of the 'Container Partition Element' container reference.
|
Sort |
getSort()
Returns the value of the 'Sort' reference
|
void |
setContainerCondition(Condition value)
Sets the value of the '
Container Condition ' container reference |
void |
setContainerHLAnnotation(HLAnnotation value)
Sets the value of the '
Container HL Annotation ' container reference |
void |
setContainerHLMarking(HLMarking value)
Sets the value of the '
Container HL Marking ' container reference |
void |
setContainerNamedOperator(NamedOperator value)
Sets the value of the '
Container Named Operator ' container reference |
void |
setContainerOperator(Operator value)
Sets the value of the '
Container Operator ' container reference |
void |
setContainerPartitionElement(PartitionElement value)
Sets the value of the '
Container Partition Element ' container reference |
void |
setSort(Sort value)
Sets the value of the '
Sort ' reference |
String |
toPNML() |
void |
toPNML(FileChannel fc) |
boolean |
validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics) |
Sort getSort()
If the meaning of the 'Sort' reference isn't clear, there really should be more of a description here...
setSort(Sort)
,
TermsPackage.getTerm_Sort()
void setSort(Sort value)
Sort
' reference.
value
- the new value of the 'Sort' reference.getSort()
Operator getContainerOperator()
Subterm
'.
If the meaning of the 'Container Operator' container reference isn't clear, there really should be more of a description here...
setContainerOperator(Operator)
,
TermsPackage.getTerm_ContainerOperator()
,
Operator.getSubterm()
void setContainerOperator(Operator value)
Container Operator
' container reference.
value
- the new value of the 'Container Operator' container reference.getContainerOperator()
NamedOperator getContainerNamedOperator()
Def
'.
If the meaning of the 'Container Named Operator' container reference isn't clear, there really should be more of a description here...
setContainerNamedOperator(NamedOperator)
,
TermsPackage.getTerm_ContainerNamedOperator()
,
NamedOperator.getDef()
void setContainerNamedOperator(NamedOperator value)
Container Named Operator
' container reference.
value
- the new value of the 'Container Named Operator' container reference.getContainerNamedOperator()
HLMarking getContainerHLMarking()
Structure
'.
If the meaning of the 'Container HL Marking' container reference isn't clear, there really should be more of a description here...
setContainerHLMarking(HLMarking)
,
TermsPackage.getTerm_ContainerHLMarking()
,
HLMarking.getStructure()
void setContainerHLMarking(HLMarking value)
Container HL Marking
' container reference.
value
- the new value of the 'Container HL Marking' container reference.getContainerHLMarking()
Condition getContainerCondition()
Structure
'.
If the meaning of the 'Container Condition' container reference isn't clear, there really should be more of a description here...
setContainerCondition(Condition)
,
TermsPackage.getTerm_ContainerCondition()
,
Condition.getStructure()
void setContainerCondition(Condition value)
Container Condition
' container reference.
value
- the new value of the 'Container Condition' container reference.getContainerCondition()
HLAnnotation getContainerHLAnnotation()
Structure
'.
If the meaning of the 'Container HL Annotation' container reference isn't clear, there really should be more of a description here...
setContainerHLAnnotation(HLAnnotation)
,
TermsPackage.getTerm_ContainerHLAnnotation()
,
HLAnnotation.getStructure()
void setContainerHLAnnotation(HLAnnotation value)
Container HL Annotation
' container reference.
value
- the new value of the 'Container HL Annotation' container reference.getContainerHLAnnotation()
PartitionElement getContainerPartitionElement()
Partitionelementconstants
'.
If the meaning of the 'Container Partition Element' container reference isn't clear, there really should be more of a description here...
setContainerPartitionElement(PartitionElement)
,
TermsPackage.getTerm_ContainerPartitionElement()
,
PartitionElement.getPartitionelementconstants()
void setContainerPartitionElement(PartitionElement value)
Container Partition Element
' container reference.
value
- the new value of the 'Container Partition Element' container reference.getContainerPartitionElement()
String toPNML()
void fromPNML(org.apache.axiom.om.OMElement locRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
void toPNML(FileChannel fc)
boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.