public class NamedOperatorHLAPI extends Object implements HLAPIClass, TermsDeclarationHLAPI, OperatorDeclHLAPI
Constructor and Description |
---|
NamedOperatorHLAPI(NamedOperator lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
NamedOperatorHLAPI(String id,
String name,
TermHLAPI def)
this constructor allows you to set all 'settable' values
excepted container.
|
NamedOperatorHLAPI(String id,
String name,
TermHLAPI def,
DeclarationsHLAPI containerDeclarations)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
void |
addParametersHLAPI(VariableDeclHLAPI unit) |
boolean |
equals(NamedOperatorHLAPI item) |
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
creates an object from the xml nodes.
|
NamedOperator |
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.
|
Term |
getDef()
Return the encapsulate Low Level API object.
|
TermHLAPI |
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<VariableDecl> |
getParameters()
Return the encapsulate Low Level API object.
|
List<VariableDeclHLAPI> |
getParametersHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
void |
removeParametersHLAPI(VariableDeclHLAPI unit) |
void |
setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
void |
setDefHLAPI(TermHLAPI 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 NamedOperatorHLAPI(String id, String name, TermHLAPI def) throws InvalidIDException, VoidRepositoryException
public NamedOperatorHLAPI(String id, String name, TermHLAPI def, DeclarationsHLAPI containerDeclarations) throws InvalidIDException, VoidRepositoryException
public NamedOperatorHLAPI(NamedOperator lowLevelAPI)
public NamedOperator getContainedItem()
getContainedItem
in interface HLAPIClass
public String getId()
getId
in interface OperatorDeclHLAPI
getId
in interface TermsDeclarationHLAPI
public String getName()
getName
in interface OperatorDeclHLAPI
getName
in interface TermsDeclarationHLAPI
public Declarations getContainerDeclarations()
getContainerDeclarations
in interface OperatorDeclHLAPI
getContainerDeclarations
in interface TermsDeclarationHLAPI
public Term getDef()
public List<VariableDecl> getParameters()
public DeclarationsHLAPI getContainerDeclarationsHLAPI()
getContainerDeclarationsHLAPI
in interface OperatorDeclHLAPI
getContainerDeclarationsHLAPI
in interface TermsDeclarationHLAPI
public TermHLAPI getDefHLAPI()
public List<VariableDeclHLAPI> getParametersHLAPI()
public void setIdHLAPI(String elem) throws InvalidIDException, VoidRepositoryException
setIdHLAPI
in interface OperatorDeclHLAPI
setIdHLAPI
in interface TermsDeclarationHLAPI
InvalidIDException
VoidRepositoryException
public void setNameHLAPI(String elem)
setNameHLAPI
in interface OperatorDeclHLAPI
setNameHLAPI
in interface TermsDeclarationHLAPI
public void setDefHLAPI(TermHLAPI elem)
public void setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
setContainerDeclarationsHLAPI
in interface OperatorDeclHLAPI
setContainerDeclarationsHLAPI
in interface TermsDeclarationHLAPI
public void addParametersHLAPI(VariableDeclHLAPI unit)
public void removeParametersHLAPI(VariableDeclHLAPI unit)
public boolean equals(NamedOperatorHLAPI 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.