fr.lip6.move.pnml.symmetricnet.integers.hlapi

Class HLIntegerHLAPI

java.lang.Object

fr.lip6.move.pnml.symmetricnet.integers.hlapi.HLIntegerHLAPI

All Implemented Interfaces:

HLAPIClass, HLPNNumberHLAPI, SortHLAPI

public class HLIntegerHLAPI
extends Object
implements HLAPIClass, SortHLAPI, HLPNNumberHLAPI

Constructor Summary

Constructors

Constructor and Description
HLIntegerHLAPI() this constructor allows you to set all 'settable' values excepted container.
HLIntegerHLAPI(AllHLAPI containerAll) this constructor allows you to set all 'settable' values, including container if any.
HLIntegerHLAPI(EmptyHLAPI containerEmpty) this constructor allows you to set all 'settable' values, including container if any.
HLIntegerHLAPI(HLInteger lowLevelAPI) This constructor encapsulate a low level API object in HLAPI.
HLIntegerHLAPI(MultisetSortHLAPI multi) this constructor allows you to set all 'settable' values, including container if any.
HLIntegerHLAPI(NamedSortHLAPI containerNamedSort) this constructor allows you to set all 'settable' values, including container if any.
HLIntegerHLAPI(NumberConstantHLAPI containerNumberConstant) this constructor allows you to set all 'settable' values, including container if any.
HLIntegerHLAPI(PartitionHLAPI containerPartition) this constructor allows you to set all 'settable' values, including container if any.
HLIntegerHLAPI(ProductSortHLAPI containerProductSort) this constructor allows you to set all 'settable' values, including container if any.
HLIntegerHLAPI(TypeHLAPI containerType) this constructor allows you to set all 'settable' values, including container if any.
HLIntegerHLAPI(VariableDeclHLAPI containerVariableDecl) this constructor allows you to set all 'settable' values, including container if any.

Method Summary

Modifier and Type	Method and Description
boolean	equals(HLIntegerHLAPI item)
void	fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) creates an object from the xml nodes.
HLInteger	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.
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	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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface fr.lip6.move.pnml.symmetricnet.integers.hlapi.HLPNNumberHLAPI

equals

Constructor Detail

HLIntegerHLAPI

public HLIntegerHLAPI()

this constructor allows you to set all 'settable' values excepted container.

HLIntegerHLAPI

public HLIntegerHLAPI(MultisetSortHLAPI multi)

this constructor allows you to set all 'settable' values, including container if any.

HLIntegerHLAPI

public HLIntegerHLAPI(NamedSortHLAPI containerNamedSort)

this constructor allows you to set all 'settable' values, including container if any.

HLIntegerHLAPI

public HLIntegerHLAPI(VariableDeclHLAPI containerVariableDecl)

this constructor allows you to set all 'settable' values, including container if any.

HLIntegerHLAPI

public HLIntegerHLAPI(ProductSortHLAPI containerProductSort)

this constructor allows you to set all 'settable' values, including container if any.

HLIntegerHLAPI

public HLIntegerHLAPI(TypeHLAPI containerType)

this constructor allows you to set all 'settable' values, including container if any.

HLIntegerHLAPI

public HLIntegerHLAPI(AllHLAPI containerAll)

this constructor allows you to set all 'settable' values, including container if any.

HLIntegerHLAPI

public HLIntegerHLAPI(EmptyHLAPI containerEmpty)

this constructor allows you to set all 'settable' values, including container if any.

HLIntegerHLAPI

public HLIntegerHLAPI(PartitionHLAPI containerPartition)

this constructor allows you to set all 'settable' values, including container if any.

HLIntegerHLAPI

public HLIntegerHLAPI(NumberConstantHLAPI containerNumberConstant)

this constructor allows you to set all 'settable' values, including container if any.

HLIntegerHLAPI

public HLIntegerHLAPI(HLInteger lowLevelAPI)

This constructor encapsulate a low level API object in HLAPI.

Method Detail

getContainedItem

public HLInteger getContainedItem()

Return encapsulated object

Specified by:

getContainedItem in interface HLAPIClass

Returns:

the encapsulated object.

getMulti

public MultisetSort getMulti()

Return the encapsulate Low Level API object.

Specified by:

getMulti in interface HLPNNumberHLAPI

Specified by:

getMulti in interface SortHLAPI

getContainerNamedSort

public NamedSort getContainerNamedSort()

Return the encapsulate Low Level API object.

Specified by:

getContainerNamedSort in interface HLPNNumberHLAPI

Specified by:

getContainerNamedSort in interface SortHLAPI

getContainerVariableDecl

public VariableDecl getContainerVariableDecl()

Return the encapsulate Low Level API object.

Specified by:

getContainerVariableDecl in interface HLPNNumberHLAPI

Specified by:

getContainerVariableDecl in interface SortHLAPI

getContainerProductSort

public ProductSort getContainerProductSort()

Return the encapsulate Low Level API object.

Specified by:

getContainerProductSort in interface HLPNNumberHLAPI

Specified by:

getContainerProductSort in interface SortHLAPI

getContainerType

public Type getContainerType()

Return the encapsulate Low Level API object.

Specified by:

getContainerType in interface HLPNNumberHLAPI

Specified by:

getContainerType in interface SortHLAPI

getContainerAll

public All getContainerAll()

Return the encapsulate Low Level API object.

Specified by:

getContainerAll in interface HLPNNumberHLAPI

Specified by:

getContainerAll in interface SortHLAPI

getContainerEmpty

public Empty getContainerEmpty()

Return the encapsulate Low Level API object.

Specified by:

getContainerEmpty in interface HLPNNumberHLAPI

Specified by:

getContainerEmpty in interface SortHLAPI

getContainerPartition

public Partition getContainerPartition()

Return the encapsulate Low Level API object.

Specified by:

getContainerPartition in interface HLPNNumberHLAPI

Specified by:

getContainerPartition in interface SortHLAPI

getContainerNumberConstant

public NumberConstant getContainerNumberConstant()

Return the encapsulate Low Level API object.

Specified by:

getContainerNumberConstant in interface HLPNNumberHLAPI

getMultiHLAPI

public MultisetSortHLAPI getMultiHLAPI()

This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.

Specified by:

getMultiHLAPI in interface HLPNNumberHLAPI

Specified by:

getMultiHLAPI in interface SortHLAPI

Returns:

: null if the element is null

getContainerNamedSortHLAPI

public NamedSortHLAPI getContainerNamedSortHLAPI()

This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.

Specified by:

getContainerNamedSortHLAPI in interface HLPNNumberHLAPI

Specified by:

getContainerNamedSortHLAPI in interface SortHLAPI

Returns:

: null if the element is null

getContainerVariableDeclHLAPI

public VariableDeclHLAPI getContainerVariableDeclHLAPI()

This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.

Specified by:

getContainerVariableDeclHLAPI in interface HLPNNumberHLAPI

Specified by:

getContainerVariableDeclHLAPI in interface SortHLAPI

Returns:

: null if the element is null

getContainerProductSortHLAPI

public ProductSortHLAPI getContainerProductSortHLAPI()

This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.

Specified by:

getContainerProductSortHLAPI in interface HLPNNumberHLAPI

Specified by:

getContainerProductSortHLAPI in interface SortHLAPI

Returns:

: null if the element is null

getContainerTypeHLAPI

public TypeHLAPI getContainerTypeHLAPI()

This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.

Specified by:

getContainerTypeHLAPI in interface HLPNNumberHLAPI

Specified by:

getContainerTypeHLAPI in interface SortHLAPI

Returns:

: null if the element is null

getContainerAllHLAPI

public AllHLAPI getContainerAllHLAPI()

This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.

Specified by:

getContainerAllHLAPI in interface HLPNNumberHLAPI

Specified by:

getContainerAllHLAPI in interface SortHLAPI

Returns:

: null if the element is null

getContainerEmptyHLAPI

public EmptyHLAPI getContainerEmptyHLAPI()

This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.

Specified by:

getContainerEmptyHLAPI in interface HLPNNumberHLAPI

Specified by:

getContainerEmptyHLAPI in interface SortHLAPI

Returns:

: null if the element is null

getContainerPartitionHLAPI

public PartitionHLAPI getContainerPartitionHLAPI()

This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.

Specified by:

getContainerPartitionHLAPI in interface HLPNNumberHLAPI

Specified by:

getContainerPartitionHLAPI in interface SortHLAPI

Returns:

: null if the element is null

getContainerNumberConstantHLAPI

public NumberConstantHLAPI getContainerNumberConstantHLAPI()

This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.

Specified by:

getContainerNumberConstantHLAPI in interface HLPNNumberHLAPI

Returns:

: null if the element is null

setMultiHLAPI

public void setMultiHLAPI(MultisetSortHLAPI elem)

set Multi

Specified by:

setMultiHLAPI in interface HLPNNumberHLAPI

Specified by:

setMultiHLAPI in interface SortHLAPI

setContainerNamedSortHLAPI

public void setContainerNamedSortHLAPI(NamedSortHLAPI elem)

set ContainerNamedSort

Specified by:

setContainerNamedSortHLAPI in interface HLPNNumberHLAPI

Specified by:

setContainerNamedSortHLAPI in interface SortHLAPI

setContainerVariableDeclHLAPI

public void setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)

set ContainerVariableDecl

Specified by:

setContainerVariableDeclHLAPI in interface HLPNNumberHLAPI

Specified by:

setContainerVariableDeclHLAPI in interface SortHLAPI

setContainerProductSortHLAPI

public void setContainerProductSortHLAPI(ProductSortHLAPI elem)

set ContainerProductSort

Specified by:

setContainerProductSortHLAPI in interface HLPNNumberHLAPI

Specified by:

setContainerProductSortHLAPI in interface SortHLAPI

setContainerTypeHLAPI

public void setContainerTypeHLAPI(TypeHLAPI elem)

set ContainerType

Specified by:

setContainerTypeHLAPI in interface HLPNNumberHLAPI

Specified by:

setContainerTypeHLAPI in interface SortHLAPI

setContainerAllHLAPI

public void setContainerAllHLAPI(AllHLAPI elem)

set ContainerAll

Specified by:

setContainerAllHLAPI in interface HLPNNumberHLAPI

Specified by:

setContainerAllHLAPI in interface SortHLAPI

setContainerEmptyHLAPI

public void setContainerEmptyHLAPI(EmptyHLAPI elem)

set ContainerEmpty

Specified by:

setContainerEmptyHLAPI in interface HLPNNumberHLAPI

Specified by:

setContainerEmptyHLAPI in interface SortHLAPI

setContainerPartitionHLAPI

public void setContainerPartitionHLAPI(PartitionHLAPI elem)

set ContainerPartition

Specified by:

setContainerPartitionHLAPI in interface HLPNNumberHLAPI

Specified by:

setContainerPartitionHLAPI in interface SortHLAPI

setContainerNumberConstantHLAPI

public void setContainerNumberConstantHLAPI(NumberConstantHLAPI elem)

set ContainerNumberConstant

Specified by:

setContainerNumberConstantHLAPI in interface HLPNNumberHLAPI

equals

public boolean equals(HLIntegerHLAPI item)

toPNML

public String toPNML()

Returns the PNML xml tree for this object.

Specified by:

toPNML in interface HLAPIClass

Returns:

the string containing the PNML output.

See Also:

HLAPIClass.toPNML(FileChannel)

toPNML

public void toPNML(FileChannel fc)

Writes the PNML XML tree of this object into file channel.

Specified by:

toPNML in interface HLAPIClass

Parameters:

fc - the file channel into which to write the contents

fromPNML

public void fromPNML(org.apache.axiom.om.OMElement subRoot,
                     IdRefLinker idr)
              throws InnerBuildException,
                     InvalidIDException,
                     VoidRepositoryException

creates an object from the xml nodes.(symetric work of toPNML)

Specified by:

fromPNML in interface HLAPIClass

Parameters:

subRoot - the sub-tree to import.

idr - an idreflinker to solve idref.

Throws:

InnerBuildException - .

InvalidIDException - .

VoidRepositoryException - .

validateOCL

public boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)

Specified by:

validateOCL in interface HLAPIClass

Parameters:

diagnostics - for diagnostic informations.

Returns:

true if there is no OCL violations