public interface Sort
extends org.eclipse.emf.ecore.EObject
The following features are supported:
TermsPackage.getSort()
Modifier and Type | Method and Description |
---|---|
boolean |
equalSorts(Sort sort)
Returns true if this sort and argument sort are actually semantically the
same sort, even in two different objects.
|
void |
fromPNML(org.apache.axiom.om.OMElement locRoot,
IdRefLinker idr) |
All |
getContainerAll()
Returns the value of the 'Container All' container reference.
|
Empty |
getContainerEmpty()
Returns the value of the 'Container Empty' container reference.
|
EmptyList |
getContainerEmptyList()
Returns the value of the 'Container Empty List' container reference.
|
HLPNList |
getContainerList()
Returns the value of the 'Container List' container reference.
|
MakeList |
getContainerMakeList()
Returns the value of the 'Container Make List' container reference.
|
NamedSort |
getContainerNamedSort()
Returns the value of the 'Container Named Sort' container reference.
|
Partition |
getContainerPartition()
Returns the value of the 'Container Partition' container reference.
|
ProductSort |
getContainerProductSort()
Returns the value of the 'Container Product Sort' container reference.
|
Type |
getContainerType()
Returns the value of the 'Container Type' container reference.
|
VariableDecl |
getContainerVariableDecl()
Returns the value of the 'Container Variable Decl' container reference.
|
MultisetSort |
getMulti()
Returns the value of the 'Multi' container reference.
|
void |
setContainerAll(All value)
Sets the value of the '
Container All ' container reference |
void |
setContainerEmpty(Empty value)
Sets the value of the '
Container Empty ' container reference |
void |
setContainerEmptyList(EmptyList value)
Sets the value of the '
Container Empty List ' container reference |
void |
setContainerList(HLPNList value)
Sets the value of the '
Container List ' container reference |
void |
setContainerMakeList(MakeList value)
Sets the value of the '
Container Make List ' container reference |
void |
setContainerNamedSort(NamedSort value)
Sets the value of the '
Container Named Sort ' container reference |
void |
setContainerPartition(Partition value)
Sets the value of the '
Container Partition ' container reference |
void |
setContainerProductSort(ProductSort value)
Sets the value of the '
Container Product Sort ' container reference |
void |
setContainerType(Type value)
Sets the value of the '
Container Type ' container reference |
void |
setContainerVariableDecl(VariableDecl value)
Sets the value of the '
Container Variable Decl ' container reference |
void |
setMulti(MultisetSort value)
Sets the value of the '
Multi ' container reference |
String |
toPNML() |
void |
toPNML(FileChannel fc) |
boolean |
validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics) |
MultisetSort getMulti()
Basis
'.
If the meaning of the 'Multi' container reference isn't clear, there really should be more of a description here...
setMulti(MultisetSort)
,
TermsPackage.getSort_Multi()
,
MultisetSort.getBasis()
void setMulti(MultisetSort value)
Multi
' container reference.
value
- the new value of the 'Multi' container reference.getMulti()
NamedSort getContainerNamedSort()
Sortdef
'.
If the meaning of the 'Container Named Sort' container reference isn't clear, there really should be more of a description here...
setContainerNamedSort(NamedSort)
,
TermsPackage.getSort_ContainerNamedSort()
,
NamedSort.getSortdef()
void setContainerNamedSort(NamedSort value)
Container Named Sort
' container reference.
value
- the new value of the 'Container Named Sort' container reference.getContainerNamedSort()
VariableDecl getContainerVariableDecl()
Sort
'.
If the meaning of the 'Container Variable Decl' container reference isn't clear, there really should be more of a description here...
setContainerVariableDecl(VariableDecl)
,
TermsPackage.getSort_ContainerVariableDecl()
,
VariableDecl.getSort()
void setContainerVariableDecl(VariableDecl value)
Container Variable Decl
' container reference.
value
- the new value of the 'Container Variable Decl' container reference.getContainerVariableDecl()
ProductSort getContainerProductSort()
Element Sort
'.
If the meaning of the 'Container Product Sort' container reference isn't clear, there really should be more of a description here...
setContainerProductSort(ProductSort)
,
TermsPackage.getSort_ContainerProductSort()
,
ProductSort.getElementSort()
void setContainerProductSort(ProductSort value)
Container Product Sort
' container reference.
value
- the new value of the 'Container Product Sort' container reference.getContainerProductSort()
Type getContainerType()
Structure
'.
If the meaning of the 'Container Type' container reference isn't clear, there really should be more of a description here...
setContainerType(Type)
,
TermsPackage.getSort_ContainerType()
,
Type.getStructure()
void setContainerType(Type value)
Container Type
' container reference.
value
- the new value of the 'Container Type' container reference.getContainerType()
All getContainerAll()
Refsort
'.
If the meaning of the 'Container All' container reference isn't clear, there really should be more of a description here...
setContainerAll(All)
,
TermsPackage.getSort_ContainerAll()
,
All.getRefsort()
void setContainerAll(All value)
Container All
' container reference.
value
- the new value of the 'Container All' container reference.getContainerAll()
Empty getContainerEmpty()
Refsort
'.
If the meaning of the 'Container Empty' container reference isn't clear, there really should be more of a description here...
setContainerEmpty(Empty)
,
TermsPackage.getSort_ContainerEmpty()
,
Empty.getRefsort()
void setContainerEmpty(Empty value)
Container Empty
' container reference.
value
- the new value of the 'Container Empty' container reference.getContainerEmpty()
Partition getContainerPartition()
Def
'.
If the meaning of the 'Container Partition' container reference isn't clear, there really should be more of a description here...
setContainerPartition(Partition)
,
TermsPackage.getSort_ContainerPartition()
,
Partition.getDef()
void setContainerPartition(Partition value)
Container Partition
' container reference.
value
- the new value of the 'Container Partition' container reference.getContainerPartition()
HLPNList getContainerList()
Basis
'.
If the meaning of the 'Container List' container reference isn't clear, there really should be more of a description here...
setContainerList(HLPNList)
,
TermsPackage.getSort_ContainerList()
,
HLPNList.getBasis()
void setContainerList(HLPNList value)
Container List
' container reference.
value
- the new value of the 'Container List' container reference.getContainerList()
EmptyList getContainerEmptyList()
Refsort
'.
If the meaning of the 'Container Empty List' container reference isn't clear, there really should be more of a description here...
setContainerEmptyList(EmptyList)
,
TermsPackage.getSort_ContainerEmptyList()
,
EmptyList.getRefsort()
void setContainerEmptyList(EmptyList value)
Container Empty List
' container reference.
value
- the new value of the 'Container Empty List' container reference.getContainerEmptyList()
MakeList getContainerMakeList()
Refsort
'.
If the meaning of the 'Container Make List' container reference isn't clear, there really should be more of a description here...
setContainerMakeList(MakeList)
,
TermsPackage.getSort_ContainerMakeList()
,
MakeList.getRefsort()
void setContainerMakeList(MakeList value)
Container Make List
' container reference.
value
- the new value of the 'Container Make List' container reference.getContainerMakeList()
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)
boolean equalSorts(Sort sort)
Ex: two FiniteEnumerations F1 = {1,4,6} and F2 = {1,4,6} or two Integers I1 and I2.
Note : the implementation available for MultisetSort is not complete. In particular, we just test equality of the references or of the enclosing NamedSorts (if any). You should consider overriding it in that case.
sort
- the sort to which we compare this one.Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.