public class ArbitrarySortHLAPI extends Object implements HLAPIClass, TermsDeclarationHLAPI, SortDeclHLAPI
Constructor and Description |
---|
ArbitrarySortHLAPI(ArbitrarySort lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
ArbitrarySortHLAPI(String id,
String name)
this constructor allows you to set all 'settable' values
excepted container.
|
ArbitrarySortHLAPI(String id,
String name,
DeclarationsHLAPI containerDeclarations)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(ArbitrarySortHLAPI item) |
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
creates an object from the xml nodes.
|
ArbitrarySort |
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.
|
String |
getId()
Return the encapsulate Low Level API object.
|
String |
getName()
Return the encapsulate Low Level API object.
|
void |
setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
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 ArbitrarySortHLAPI(String id, String name) throws InvalidIDException, VoidRepositoryException
public ArbitrarySortHLAPI(String id, String name, DeclarationsHLAPI containerDeclarations) throws InvalidIDException, VoidRepositoryException
public ArbitrarySortHLAPI(ArbitrarySort lowLevelAPI)
public ArbitrarySort 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 DeclarationsHLAPI getContainerDeclarationsHLAPI()
getContainerDeclarationsHLAPI
in interface SortDeclHLAPI
getContainerDeclarationsHLAPI
in interface TermsDeclarationHLAPI
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 setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
setContainerDeclarationsHLAPI
in interface SortDeclHLAPI
setContainerDeclarationsHLAPI
in interface TermsDeclarationHLAPI
public boolean equals(ArbitrarySortHLAPI 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.