public class ProductSortHLAPI extends Object implements HLAPIClass, SortHLAPI
Constructor and Description |
---|
ProductSortHLAPI()
this constructor allows you to set all 'settable' values
excepted container.
|
ProductSortHLAPI(AllHLAPI containerAll)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(HLPNListHLAPI containerList)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(MultisetSortHLAPI multi)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(NamedSortHLAPI containerNamedSort)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(PartitionHLAPI containerPartition)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(ProductSort lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
ProductSortHLAPI(TypeHLAPI containerType)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
void |
addElementSortHLAPI(SortHLAPI unit) |
boolean |
equals(ProductSortHLAPI item) |
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
creates an object from the xml nodes.
|
ProductSort |
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.
|
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.
|
List<AnySortHLAPI> |
getElementSort_arbitrarydeclarations_AnySortHLAPI()
This accessor return a list of encapsulated subelement, only of AnySortHLAPI kind.
|
List<BoolHLAPI> |
getElementSort_booleans_BoolHLAPI()
This accessor return a list of encapsulated subelement, only of BoolHLAPI kind.
|
List<CyclicEnumerationHLAPI> |
getElementSort_cyclicEnumerations_CyclicEnumerationHLAPI()
This accessor return a list of encapsulated subelement, only of CyclicEnumerationHLAPI kind.
|
List<DotHLAPI> |
getElementSort_dots_DotHLAPI()
This accessor return a list of encapsulated subelement, only of DotHLAPI kind.
|
List<FiniteEnumerationHLAPI> |
getElementSort_finiteEnumerations_FiniteEnumerationHLAPI()
This accessor return a list of encapsulated subelement, only of FiniteEnumerationHLAPI kind.
|
List<FiniteIntRangeHLAPI> |
getElementSort_finiteIntRanges_FiniteIntRangeHLAPI()
This accessor return a list of encapsulated subelement, only of FiniteIntRangeHLAPI kind.
|
List<HLIntegerHLAPI> |
getElementSort_integers_HLIntegerHLAPI()
This accessor return a list of encapsulated subelement, only of HLIntegerHLAPI kind.
|
List<NaturalHLAPI> |
getElementSort_integers_NaturalHLAPI()
This accessor return a list of encapsulated subelement, only of NaturalHLAPI kind.
|
List<PositiveHLAPI> |
getElementSort_integers_PositiveHLAPI()
This accessor return a list of encapsulated subelement, only of PositiveHLAPI kind.
|
List<HLPNListHLAPI> |
getElementSort_lists_HLPNListHLAPI()
This accessor return a list of encapsulated subelement, only of HLPNListHLAPI kind.
|
List<HLPNStringHLAPI> |
getElementSort_strings_HLPNStringHLAPI()
This accessor return a list of encapsulated subelement, only of HLPNStringHLAPI kind.
|
List<MultisetSortHLAPI> |
getElementSort_terms_MultisetSortHLAPI()
This accessor return a list of encapsulated subelement, only of MultisetSortHLAPI kind.
|
List<ProductSortHLAPI> |
getElementSort_terms_ProductSortHLAPI()
This accessor return a list of encapsulated subelement, only of ProductSortHLAPI kind.
|
List<UserSortHLAPI> |
getElementSort_terms_UserSortHLAPI()
This accessor return a list of encapsulated subelement, only of UserSortHLAPI kind.
|
List<Sort> |
getElementSort()
Return the encapsulate Low Level API object.
|
List<SortHLAPI> |
getElementSortHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
MultisetSort |
getMulti()
Return the encapsulate Low Level API object.
|
MultisetSortHLAPI |
getMultiHLAPI()
This accessor automatically encapsulate an element of the current object.
|
void |
removeElementSortHLAPI(SortHLAPI unit) |
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 |
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 ProductSortHLAPI()
public ProductSortHLAPI(MultisetSortHLAPI multi)
public ProductSortHLAPI(NamedSortHLAPI containerNamedSort)
public ProductSortHLAPI(VariableDeclHLAPI containerVariableDecl)
public ProductSortHLAPI(TypeHLAPI containerType)
public ProductSortHLAPI(AllHLAPI containerAll)
public ProductSortHLAPI(EmptyHLAPI containerEmpty)
public ProductSortHLAPI(PartitionHLAPI containerPartition)
public ProductSortHLAPI(HLPNListHLAPI containerList)
public ProductSortHLAPI(EmptyListHLAPI containerEmptyList)
public ProductSortHLAPI(MakeListHLAPI containerMakeList)
public ProductSortHLAPI(ProductSort lowLevelAPI)
public ProductSort 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 HLPNList getContainerList()
getContainerList
in interface SortHLAPI
public EmptyList getContainerEmptyList()
getContainerEmptyList
in interface SortHLAPI
public MakeList getContainerMakeList()
getContainerMakeList
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 HLPNListHLAPI getContainerListHLAPI()
getContainerListHLAPI
in interface SortHLAPI
public EmptyListHLAPI getContainerEmptyListHLAPI()
getContainerEmptyListHLAPI
in interface SortHLAPI
public MakeListHLAPI getContainerMakeListHLAPI()
getContainerMakeListHLAPI
in interface SortHLAPI
public List<SortHLAPI> getElementSortHLAPI()
public List<MultisetSortHLAPI> getElementSort_terms_MultisetSortHLAPI()
public List<ProductSortHLAPI> getElementSort_terms_ProductSortHLAPI()
public List<UserSortHLAPI> getElementSort_terms_UserSortHLAPI()
public List<AnySortHLAPI> getElementSort_arbitrarydeclarations_AnySortHLAPI()
public List<BoolHLAPI> getElementSort_booleans_BoolHLAPI()
public List<CyclicEnumerationHLAPI> getElementSort_cyclicEnumerations_CyclicEnumerationHLAPI()
public List<DotHLAPI> getElementSort_dots_DotHLAPI()
public List<FiniteEnumerationHLAPI> getElementSort_finiteEnumerations_FiniteEnumerationHLAPI()
public List<FiniteIntRangeHLAPI> getElementSort_finiteIntRanges_FiniteIntRangeHLAPI()
public List<NaturalHLAPI> getElementSort_integers_NaturalHLAPI()
public List<PositiveHLAPI> getElementSort_integers_PositiveHLAPI()
public List<HLIntegerHLAPI> getElementSort_integers_HLIntegerHLAPI()
public List<HLPNListHLAPI> getElementSort_lists_HLPNListHLAPI()
public List<HLPNStringHLAPI> getElementSort_strings_HLPNStringHLAPI()
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 void setContainerListHLAPI(HLPNListHLAPI elem)
setContainerListHLAPI
in interface SortHLAPI
public void setContainerEmptyListHLAPI(EmptyListHLAPI elem)
setContainerEmptyListHLAPI
in interface SortHLAPI
public void setContainerMakeListHLAPI(MakeListHLAPI elem)
setContainerMakeListHLAPI
in interface SortHLAPI
public void addElementSortHLAPI(SortHLAPI unit)
public void removeElementSortHLAPI(SortHLAPI unit)
public boolean equals(ProductSortHLAPI 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.