public interface VariableDecl extends TermsDeclaration
The following features are supported:
TermsPackage.getVariableDecl()
Modifier and Type | Method and Description |
---|---|
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
set values to conform PNML document
|
NamedOperator |
getContainerNamedOperator()
Returns the value of the 'Container Named Operator' container reference.
|
Sort |
getSort()
Returns the value of the 'Sort' containment reference.
|
void |
setContainerNamedOperator(NamedOperator value)
Sets the value of the '
Container Named Operator ' container reference |
void |
setSort(Sort value)
Sets the value of the '
Sort ' containment reference |
String |
toPNML()
Return the string containing the pnml output
|
void |
toPNML(FileChannel fc)
Write the PNML xml tree of this object into file
|
boolean |
validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics) |
getContainerDeclarations, getId, getName, setContainerDeclarations, setId, setName
Sort getSort()
Container Variable Decl
'.
If the meaning of the 'Sort' containment reference isn't clear, there really should be more of a description here...
setSort(Sort)
,
TermsPackage.getVariableDecl_Sort()
,
Sort.getContainerVariableDecl()
void setSort(Sort value)
Sort
' containment reference.
value
- the new value of the 'Sort' containment reference.getSort()
NamedOperator getContainerNamedOperator()
Parameters
'.
If the meaning of the 'Container Named Operator' container reference isn't clear, there really should be more of a description here...
setContainerNamedOperator(NamedOperator)
,
TermsPackage.getVariableDecl_ContainerNamedOperator()
,
NamedOperator.getParameters()
void setContainerNamedOperator(NamedOperator value)
Container Named Operator
' container reference.
value
- the new value of the 'Container Named Operator' container reference.getContainerNamedOperator()
String toPNML()
toPNML
in interface TermsDeclaration
void fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
fromPNML
in interface TermsDeclaration
InnerBuildException
InvalidIDException
VoidRepositoryException
void toPNML(FileChannel fc)
toPNML
in interface TermsDeclaration
boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
validateOCL
in interface TermsDeclaration
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.