public class MultisetSortHLAPI extends Object implements HLAPIClass, SortHLAPI
Constructor and Description |
---|
MultisetSortHLAPI(MultisetSort lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
MultisetSortHLAPI(SortHLAPI basis)
this constructor allows you to set all 'settable' values
excepted container.
|
MultisetSortHLAPI(SortHLAPI basis,
AllHLAPI containerAll)
this constructor allows you to set all 'settable' values, including container if any.
|
MultisetSortHLAPI(SortHLAPI basis,
EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
MultisetSortHLAPI(SortHLAPI basis,
MultisetSortHLAPI multi)
this constructor allows you to set all 'settable' values, including container if any.
|
MultisetSortHLAPI(SortHLAPI basis,
NamedSortHLAPI containerNamedSort)
this constructor allows you to set all 'settable' values, including container if any.
|
MultisetSortHLAPI(SortHLAPI basis,
PartitionHLAPI containerPartition)
this constructor allows you to set all 'settable' values, including container if any.
|
MultisetSortHLAPI(SortHLAPI basis,
ProductSortHLAPI containerProductSort)
this constructor allows you to set all 'settable' values, including container if any.
|
MultisetSortHLAPI(SortHLAPI basis,
TypeHLAPI containerType)
this constructor allows you to set all 'settable' values, including container if any.
|
MultisetSortHLAPI(SortHLAPI basis,
VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(MultisetSortHLAPI item) |
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
creates an object from the xml nodes.
|
Sort |
getBasis()
Return the encapsulate Low Level API object.
|
SortHLAPI |
getBasisHLAPI()
This accessor automatically encapsulate an element of the current object.
|
MultisetSort |
getContainedItem()
Return encapsulated object
|
All |
getContainerAll()
Return the encapsulate Low Level API object.
|
AllHLAPI |
getContainerAllHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Empty |
getContainerEmpty()
Return the encapsulate Low Level API object.
|
EmptyHLAPI |
getContainerEmptyHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NamedSort |
getContainerNamedSort()
Return the encapsulate Low Level API object.
|
NamedSortHLAPI |
getContainerNamedSortHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Partition |
getContainerPartition()
Return the encapsulate Low Level API object.
|
PartitionHLAPI |
getContainerPartitionHLAPI()
This accessor automatically encapsulate an element of the current object.
|
ProductSort |
getContainerProductSort()
Return the encapsulate Low Level API object.
|
ProductSortHLAPI |
getContainerProductSortHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Type |
getContainerType()
Return the encapsulate Low Level API object.
|
TypeHLAPI |
getContainerTypeHLAPI()
This accessor automatically encapsulate an element of the current object.
|
VariableDecl |
getContainerVariableDecl()
Return the encapsulate Low Level API object.
|
VariableDeclHLAPI |
getContainerVariableDeclHLAPI()
This accessor automatically encapsulate an element of the current object.
|
MultisetSort |
getMulti()
Return the encapsulate Low Level API object.
|
MultisetSortHLAPI |
getMultiHLAPI()
This accessor automatically encapsulate an element of the current object.
|
void |
setBasisHLAPI(SortHLAPI elem)
set Basis
|
void |
setContainerAllHLAPI(AllHLAPI elem)
set ContainerAll
|
void |
setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
void |
setContainerNamedSortHLAPI(NamedSortHLAPI elem)
set ContainerNamedSort
|
void |
setContainerPartitionHLAPI(PartitionHLAPI elem)
set ContainerPartition
|
void |
setContainerProductSortHLAPI(ProductSortHLAPI elem)
set ContainerProductSort
|
void |
setContainerTypeHLAPI(TypeHLAPI elem)
set ContainerType
|
void |
setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
set ContainerVariableDecl
|
void |
setMultiHLAPI(MultisetSortHLAPI elem)
set Multi
|
String |
toPNML()
Returns the PNML xml tree for this object.
|
void |
toPNML(FileChannel fc)
Writes the PNML XML tree of this object into file channel.
|
boolean |
validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics) |
public MultisetSortHLAPI(SortHLAPI basis)
public MultisetSortHLAPI(SortHLAPI basis, MultisetSortHLAPI multi)
public MultisetSortHLAPI(SortHLAPI basis, NamedSortHLAPI containerNamedSort)
public MultisetSortHLAPI(SortHLAPI basis, VariableDeclHLAPI containerVariableDecl)
public MultisetSortHLAPI(SortHLAPI basis, ProductSortHLAPI containerProductSort)
public MultisetSortHLAPI(SortHLAPI basis, TypeHLAPI containerType)
public MultisetSortHLAPI(SortHLAPI basis, AllHLAPI containerAll)
public MultisetSortHLAPI(SortHLAPI basis, EmptyHLAPI containerEmpty)
public MultisetSortHLAPI(SortHLAPI basis, PartitionHLAPI containerPartition)
public MultisetSortHLAPI(MultisetSort lowLevelAPI)
public MultisetSort getContainedItem()
getContainedItem
in interface HLAPIClass
public MultisetSort getMulti()
public NamedSort getContainerNamedSort()
getContainerNamedSort
in interface SortHLAPI
public VariableDecl getContainerVariableDecl()
getContainerVariableDecl
in interface SortHLAPI
public ProductSort getContainerProductSort()
getContainerProductSort
in interface SortHLAPI
public Type getContainerType()
getContainerType
in interface SortHLAPI
public All getContainerAll()
getContainerAll
in interface SortHLAPI
public Empty getContainerEmpty()
getContainerEmpty
in interface SortHLAPI
public Partition getContainerPartition()
getContainerPartition
in interface SortHLAPI
public Sort getBasis()
public MultisetSortHLAPI getMultiHLAPI()
getMultiHLAPI
in interface SortHLAPI
public NamedSortHLAPI getContainerNamedSortHLAPI()
getContainerNamedSortHLAPI
in interface SortHLAPI
public VariableDeclHLAPI getContainerVariableDeclHLAPI()
getContainerVariableDeclHLAPI
in interface SortHLAPI
public ProductSortHLAPI getContainerProductSortHLAPI()
getContainerProductSortHLAPI
in interface SortHLAPI
public TypeHLAPI getContainerTypeHLAPI()
getContainerTypeHLAPI
in interface SortHLAPI
public AllHLAPI getContainerAllHLAPI()
getContainerAllHLAPI
in interface SortHLAPI
public EmptyHLAPI getContainerEmptyHLAPI()
getContainerEmptyHLAPI
in interface SortHLAPI
public PartitionHLAPI getContainerPartitionHLAPI()
getContainerPartitionHLAPI
in interface SortHLAPI
public SortHLAPI getBasisHLAPI()
public void setBasisHLAPI(SortHLAPI elem)
public void setMultiHLAPI(MultisetSortHLAPI elem)
setMultiHLAPI
in interface SortHLAPI
public void setContainerNamedSortHLAPI(NamedSortHLAPI elem)
setContainerNamedSortHLAPI
in interface SortHLAPI
public void setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
setContainerVariableDeclHLAPI
in interface SortHLAPI
public void setContainerProductSortHLAPI(ProductSortHLAPI elem)
setContainerProductSortHLAPI
in interface SortHLAPI
public void setContainerTypeHLAPI(TypeHLAPI elem)
setContainerTypeHLAPI
in interface SortHLAPI
public void setContainerAllHLAPI(AllHLAPI elem)
setContainerAllHLAPI
in interface SortHLAPI
public void setContainerEmptyHLAPI(EmptyHLAPI elem)
setContainerEmptyHLAPI
in interface SortHLAPI
public void setContainerPartitionHLAPI(PartitionHLAPI elem)
setContainerPartitionHLAPI
in interface SortHLAPI
public boolean equals(MultisetSortHLAPI item)
public String toPNML()
toPNML
in interface HLAPIClass
HLAPIClass.toPNML(FileChannel)
public void toPNML(FileChannel fc)
toPNML
in interface HLAPIClass
fc
- the file channel into which to write the contentspublic void fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
fromPNML
in interface HLAPIClass
subRoot
- the sub-tree to import.idr
- an idreflinker to solve idref.InnerBuildException
- .InvalidIDException
- .VoidRepositoryException
- .public boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
validateOCL
in interface HLAPIClass
diagnostics
- for diagnostic informations.Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.