public class BoolHLAPI extends Object implements HLAPIClass, SortHLAPI
Constructor and Description |
---|
BoolHLAPI()
this constructor allows you to set all 'settable' values
excepted container.
|
BoolHLAPI(AllHLAPI containerAll)
this constructor allows you to set all 'settable' values, including container if any.
|
BoolHLAPI(Bool lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
BoolHLAPI(EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
BoolHLAPI(MultisetSortHLAPI multi)
this constructor allows you to set all 'settable' values, including container if any.
|
BoolHLAPI(NamedSortHLAPI containerNamedSort)
this constructor allows you to set all 'settable' values, including container if any.
|
BoolHLAPI(PartitionHLAPI containerPartition)
this constructor allows you to set all 'settable' values, including container if any.
|
BoolHLAPI(ProductSortHLAPI containerProductSort)
this constructor allows you to set all 'settable' values, including container if any.
|
BoolHLAPI(TypeHLAPI containerType)
this constructor allows you to set all 'settable' values, including container if any.
|
BoolHLAPI(VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(BoolHLAPI item) |
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
creates an object from the xml nodes.
|
Bool |
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 |
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 BoolHLAPI()
public BoolHLAPI(MultisetSortHLAPI multi)
public BoolHLAPI(NamedSortHLAPI containerNamedSort)
public BoolHLAPI(VariableDeclHLAPI containerVariableDecl)
public BoolHLAPI(ProductSortHLAPI containerProductSort)
public BoolHLAPI(TypeHLAPI containerType)
public BoolHLAPI(AllHLAPI containerAll)
public BoolHLAPI(EmptyHLAPI containerEmpty)
public BoolHLAPI(PartitionHLAPI containerPartition)
public BoolHLAPI(Bool lowLevelAPI)
public Bool 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 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 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(BoolHLAPI 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.