public class PartitionHLAPI extends Object implements HLAPIClass, TermsDeclarationHLAPI, SortDeclHLAPI
Constructor and Description |
---|
PartitionHLAPI(Partition lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
PartitionHLAPI(String id,
String name,
SortHLAPI def)
this constructor allows you to set all 'settable' values
excepted container.
|
PartitionHLAPI(String id,
String name,
SortHLAPI def,
DeclarationsHLAPI containerDeclarations)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
void |
addPartitionelementsHLAPI(PartitionElementHLAPI unit) |
boolean |
equals(PartitionHLAPI item) |
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
creates an object from the xml nodes.
|
Partition |
getContainedItem()
Return encapsulated object
|
Declarations |
getContainerDeclarations()
Return the encapsulate Low Level API object.
|
DeclarationsHLAPI |
getContainerDeclarationsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Sort |
getDef()
Return the encapsulate Low Level API object.
|
SortHLAPI |
getDefHLAPI()
This accessor automatically encapsulate an element of the current object.
|
String |
getId()
Return the encapsulate Low Level API object.
|
String |
getName()
Return the encapsulate Low Level API object.
|
List<PartitionElement> |
getPartitionelements()
Return the encapsulate Low Level API object.
|
List<PartitionElementHLAPI> |
getPartitionelementsHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
void |
removePartitionelementsHLAPI(PartitionElementHLAPI unit) |
void |
setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
void |
setDefHLAPI(SortHLAPI elem)
set Def
|
void |
setIdHLAPI(String elem)
set Id
|
void |
setNameHLAPI(String elem)
set Name
|
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 PartitionHLAPI(String id, String name, SortHLAPI def) throws InvalidIDException, VoidRepositoryException
public PartitionHLAPI(String id, String name, SortHLAPI def, DeclarationsHLAPI containerDeclarations) throws InvalidIDException, VoidRepositoryException
public PartitionHLAPI(Partition lowLevelAPI)
public Partition getContainedItem()
getContainedItem
in interface HLAPIClass
public String getId()
getId
in interface SortDeclHLAPI
getId
in interface TermsDeclarationHLAPI
public String getName()
getName
in interface SortDeclHLAPI
getName
in interface TermsDeclarationHLAPI
public Declarations getContainerDeclarations()
getContainerDeclarations
in interface SortDeclHLAPI
getContainerDeclarations
in interface TermsDeclarationHLAPI
public Sort getDef()
public List<PartitionElement> getPartitionelements()
public DeclarationsHLAPI getContainerDeclarationsHLAPI()
getContainerDeclarationsHLAPI
in interface SortDeclHLAPI
getContainerDeclarationsHLAPI
in interface TermsDeclarationHLAPI
public SortHLAPI getDefHLAPI()
public List<PartitionElementHLAPI> getPartitionelementsHLAPI()
public void setIdHLAPI(String elem) throws InvalidIDException, VoidRepositoryException
setIdHLAPI
in interface SortDeclHLAPI
setIdHLAPI
in interface TermsDeclarationHLAPI
InvalidIDException
VoidRepositoryException
public void setNameHLAPI(String elem)
setNameHLAPI
in interface SortDeclHLAPI
setNameHLAPI
in interface TermsDeclarationHLAPI
public void setDefHLAPI(SortHLAPI elem)
public void setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
setContainerDeclarationsHLAPI
in interface SortDeclHLAPI
setContainerDeclarationsHLAPI
in interface TermsDeclarationHLAPI
public void addPartitionelementsHLAPI(PartitionElementHLAPI unit)
public void removePartitionelementsHLAPI(PartitionElementHLAPI unit)
public boolean equals(PartitionHLAPI 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.