public class VariableDeclHLAPI extends Object implements HLAPIClass, TermsDeclarationHLAPI
Constructor and Description |
---|
VariableDeclHLAPI(String id,
String name,
SortHLAPI sort)
this constructor allows you to set all 'settable' values
excepted container.
|
VariableDeclHLAPI(String id,
String name,
SortHLAPI sort,
DeclarationsHLAPI containerDeclarations)
this constructor allows you to set all 'settable' values, including container if any.
|
VariableDeclHLAPI(String id,
String name,
SortHLAPI sort,
NamedOperatorHLAPI containerNamedOperator)
this constructor allows you to set all 'settable' values, including container if any.
|
VariableDeclHLAPI(VariableDecl lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(VariableDeclHLAPI item) |
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
creates an object from the xml nodes.
|
VariableDecl |
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.
|
NamedOperator |
getContainerNamedOperator()
Return the encapsulate Low Level API object.
|
NamedOperatorHLAPI |
getContainerNamedOperatorHLAPI()
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.
|
Sort |
getSort()
Return the encapsulate Low Level API object.
|
SortHLAPI |
getSortHLAPI()
This accessor automatically encapsulate an element of the current object.
|
void |
setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
void |
setContainerNamedOperatorHLAPI(NamedOperatorHLAPI elem)
set ContainerNamedOperator
|
void |
setIdHLAPI(String elem)
set Id
|
void |
setNameHLAPI(String elem)
set Name
|
void |
setSortHLAPI(SortHLAPI elem)
set Sort
|
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 VariableDeclHLAPI(String id, String name, SortHLAPI sort) throws InvalidIDException, VoidRepositoryException
public VariableDeclHLAPI(String id, String name, SortHLAPI sort, DeclarationsHLAPI containerDeclarations) throws InvalidIDException, VoidRepositoryException
public VariableDeclHLAPI(String id, String name, SortHLAPI sort, NamedOperatorHLAPI containerNamedOperator) throws InvalidIDException, VoidRepositoryException
public VariableDeclHLAPI(VariableDecl lowLevelAPI)
public VariableDecl getContainedItem()
getContainedItem
in interface HLAPIClass
public String getId()
getId
in interface TermsDeclarationHLAPI
public String getName()
getName
in interface TermsDeclarationHLAPI
public Declarations getContainerDeclarations()
getContainerDeclarations
in interface TermsDeclarationHLAPI
public Sort getSort()
public NamedOperator getContainerNamedOperator()
public DeclarationsHLAPI getContainerDeclarationsHLAPI()
getContainerDeclarationsHLAPI
in interface TermsDeclarationHLAPI
public SortHLAPI getSortHLAPI()
public NamedOperatorHLAPI getContainerNamedOperatorHLAPI()
public void setIdHLAPI(String elem) throws InvalidIDException, VoidRepositoryException
setIdHLAPI
in interface TermsDeclarationHLAPI
InvalidIDException
VoidRepositoryException
public void setNameHLAPI(String elem)
setNameHLAPI
in interface TermsDeclarationHLAPI
public void setSortHLAPI(SortHLAPI elem)
public void setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
setContainerDeclarationsHLAPI
in interface TermsDeclarationHLAPI
public void setContainerNamedOperatorHLAPI(NamedOperatorHLAPI elem)
public boolean equals(VariableDeclHLAPI 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.