public class PositiveHLAPI extends Object implements HLAPIClass, SortHLAPI, HLPNNumberHLAPI
Constructor and Description |
---|
PositiveHLAPI()
this constructor allows you to set all 'settable' values
excepted container.
|
PositiveHLAPI(AllHLAPI containerAll)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(HLPNListHLAPI containerList)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(MultisetSortHLAPI multi)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(NamedSortHLAPI containerNamedSort)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(NumberConstantHLAPI containerNumberConstant)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(PartitionHLAPI containerPartition)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(Positive lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
PositiveHLAPI(ProductSortHLAPI containerProductSort)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(TypeHLAPI containerType)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(PositiveHLAPI item) |
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
creates an object from the xml nodes.
|
Positive |
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.
|
EmptyList |
getContainerEmptyList()
Return the encapsulate Low Level API object.
|
EmptyListHLAPI |
getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
HLPNList |
getContainerList()
Return the encapsulate Low Level API object.
|
HLPNListHLAPI |
getContainerListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
MakeList |
getContainerMakeList()
Return the encapsulate Low Level API object.
|
MakeListHLAPI |
getContainerMakeListHLAPI()
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.
|
NumberConstant |
getContainerNumberConstant()
Return the encapsulate Low Level API object.
|
NumberConstantHLAPI |
getContainerNumberConstantHLAPI()
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 |
setContainerAllHLAPI(AllHLAPI elem)
set ContainerAll
|
void |
setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
void |
setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
void |
setContainerListHLAPI(HLPNListHLAPI elem)
set ContainerList
|
void |
setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
void |
setContainerNamedSortHLAPI(NamedSortHLAPI elem)
set ContainerNamedSort
|
void |
setContainerNumberConstantHLAPI(NumberConstantHLAPI elem)
set ContainerNumberConstant
|
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) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
equals
public PositiveHLAPI()
public PositiveHLAPI(MultisetSortHLAPI multi)
public PositiveHLAPI(NamedSortHLAPI containerNamedSort)
public PositiveHLAPI(VariableDeclHLAPI containerVariableDecl)
public PositiveHLAPI(ProductSortHLAPI containerProductSort)
public PositiveHLAPI(TypeHLAPI containerType)
public PositiveHLAPI(AllHLAPI containerAll)
public PositiveHLAPI(EmptyHLAPI containerEmpty)
public PositiveHLAPI(PartitionHLAPI containerPartition)
public PositiveHLAPI(HLPNListHLAPI containerList)
public PositiveHLAPI(EmptyListHLAPI containerEmptyList)
public PositiveHLAPI(MakeListHLAPI containerMakeList)
public PositiveHLAPI(NumberConstantHLAPI containerNumberConstant)
public PositiveHLAPI(Positive lowLevelAPI)
public Positive getContainedItem()
getContainedItem
in interface HLAPIClass
public MultisetSort getMulti()
getMulti
in interface HLPNNumberHLAPI
getMulti
in interface SortHLAPI
public NamedSort getContainerNamedSort()
getContainerNamedSort
in interface HLPNNumberHLAPI
getContainerNamedSort
in interface SortHLAPI
public VariableDecl getContainerVariableDecl()
getContainerVariableDecl
in interface HLPNNumberHLAPI
getContainerVariableDecl
in interface SortHLAPI
public ProductSort getContainerProductSort()
getContainerProductSort
in interface HLPNNumberHLAPI
getContainerProductSort
in interface SortHLAPI
public Type getContainerType()
getContainerType
in interface HLPNNumberHLAPI
getContainerType
in interface SortHLAPI
public All getContainerAll()
getContainerAll
in interface HLPNNumberHLAPI
getContainerAll
in interface SortHLAPI
public Empty getContainerEmpty()
getContainerEmpty
in interface HLPNNumberHLAPI
getContainerEmpty
in interface SortHLAPI
public Partition getContainerPartition()
getContainerPartition
in interface HLPNNumberHLAPI
getContainerPartition
in interface SortHLAPI
public HLPNList getContainerList()
getContainerList
in interface HLPNNumberHLAPI
getContainerList
in interface SortHLAPI
public EmptyList getContainerEmptyList()
getContainerEmptyList
in interface HLPNNumberHLAPI
getContainerEmptyList
in interface SortHLAPI
public MakeList getContainerMakeList()
getContainerMakeList
in interface HLPNNumberHLAPI
getContainerMakeList
in interface SortHLAPI
public NumberConstant getContainerNumberConstant()
getContainerNumberConstant
in interface HLPNNumberHLAPI
public MultisetSortHLAPI getMultiHLAPI()
getMultiHLAPI
in interface HLPNNumberHLAPI
getMultiHLAPI
in interface SortHLAPI
public NamedSortHLAPI getContainerNamedSortHLAPI()
getContainerNamedSortHLAPI
in interface HLPNNumberHLAPI
getContainerNamedSortHLAPI
in interface SortHLAPI
public VariableDeclHLAPI getContainerVariableDeclHLAPI()
getContainerVariableDeclHLAPI
in interface HLPNNumberHLAPI
getContainerVariableDeclHLAPI
in interface SortHLAPI
public ProductSortHLAPI getContainerProductSortHLAPI()
getContainerProductSortHLAPI
in interface HLPNNumberHLAPI
getContainerProductSortHLAPI
in interface SortHLAPI
public TypeHLAPI getContainerTypeHLAPI()
getContainerTypeHLAPI
in interface HLPNNumberHLAPI
getContainerTypeHLAPI
in interface SortHLAPI
public AllHLAPI getContainerAllHLAPI()
getContainerAllHLAPI
in interface HLPNNumberHLAPI
getContainerAllHLAPI
in interface SortHLAPI
public EmptyHLAPI getContainerEmptyHLAPI()
getContainerEmptyHLAPI
in interface HLPNNumberHLAPI
getContainerEmptyHLAPI
in interface SortHLAPI
public PartitionHLAPI getContainerPartitionHLAPI()
getContainerPartitionHLAPI
in interface HLPNNumberHLAPI
getContainerPartitionHLAPI
in interface SortHLAPI
public HLPNListHLAPI getContainerListHLAPI()
getContainerListHLAPI
in interface HLPNNumberHLAPI
getContainerListHLAPI
in interface SortHLAPI
public EmptyListHLAPI getContainerEmptyListHLAPI()
getContainerEmptyListHLAPI
in interface HLPNNumberHLAPI
getContainerEmptyListHLAPI
in interface SortHLAPI
public MakeListHLAPI getContainerMakeListHLAPI()
getContainerMakeListHLAPI
in interface HLPNNumberHLAPI
getContainerMakeListHLAPI
in interface SortHLAPI
public NumberConstantHLAPI getContainerNumberConstantHLAPI()
getContainerNumberConstantHLAPI
in interface HLPNNumberHLAPI
public void setMultiHLAPI(MultisetSortHLAPI elem)
setMultiHLAPI
in interface HLPNNumberHLAPI
setMultiHLAPI
in interface SortHLAPI
public void setContainerNamedSortHLAPI(NamedSortHLAPI elem)
setContainerNamedSortHLAPI
in interface HLPNNumberHLAPI
setContainerNamedSortHLAPI
in interface SortHLAPI
public void setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
setContainerVariableDeclHLAPI
in interface HLPNNumberHLAPI
setContainerVariableDeclHLAPI
in interface SortHLAPI
public void setContainerProductSortHLAPI(ProductSortHLAPI elem)
setContainerProductSortHLAPI
in interface HLPNNumberHLAPI
setContainerProductSortHLAPI
in interface SortHLAPI
public void setContainerTypeHLAPI(TypeHLAPI elem)
setContainerTypeHLAPI
in interface HLPNNumberHLAPI
setContainerTypeHLAPI
in interface SortHLAPI
public void setContainerAllHLAPI(AllHLAPI elem)
setContainerAllHLAPI
in interface HLPNNumberHLAPI
setContainerAllHLAPI
in interface SortHLAPI
public void setContainerEmptyHLAPI(EmptyHLAPI elem)
setContainerEmptyHLAPI
in interface HLPNNumberHLAPI
setContainerEmptyHLAPI
in interface SortHLAPI
public void setContainerPartitionHLAPI(PartitionHLAPI elem)
setContainerPartitionHLAPI
in interface HLPNNumberHLAPI
setContainerPartitionHLAPI
in interface SortHLAPI
public void setContainerListHLAPI(HLPNListHLAPI elem)
setContainerListHLAPI
in interface HLPNNumberHLAPI
setContainerListHLAPI
in interface SortHLAPI
public void setContainerEmptyListHLAPI(EmptyListHLAPI elem)
setContainerEmptyListHLAPI
in interface HLPNNumberHLAPI
setContainerEmptyListHLAPI
in interface SortHLAPI
public void setContainerMakeListHLAPI(MakeListHLAPI elem)
setContainerMakeListHLAPI
in interface HLPNNumberHLAPI
setContainerMakeListHLAPI
in interface SortHLAPI
public void setContainerNumberConstantHLAPI(NumberConstantHLAPI elem)
setContainerNumberConstantHLAPI
in interface HLPNNumberHLAPI
public boolean equals(PositiveHLAPI 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.