public interface UserSort extends Sort
The following features are supported:
TermsPackage.getUserSort()
Modifier and Type | Method and Description |
---|---|
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
set values to conform PNML document
|
SortDecl |
getDeclaration()
Returns the value of the 'Declaration' reference
|
void |
setDeclaration(SortDecl value)
Sets the value of the '
Declaration ' 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) |
equalSorts, getContainerAll, getContainerEmpty, getContainerEmptyList, getContainerList, getContainerMakeList, getContainerNamedSort, getContainerPartition, getContainerProductSort, getContainerType, getContainerVariableDecl, getMulti, setContainerAll, setContainerEmpty, setContainerEmptyList, setContainerList, setContainerMakeList, setContainerNamedSort, setContainerPartition, setContainerProductSort, setContainerType, setContainerVariableDecl, setMulti
SortDecl getDeclaration()
If the meaning of the 'Declaration' reference isn't clear, there really should be more of a description here...
setDeclaration(SortDecl)
,
TermsPackage.getUserSort_Declaration()
void setDeclaration(SortDecl value)
Declaration
' reference.
value
- the new value of the 'Declaration' reference.getDeclaration()
String toPNML()
void fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
fromPNML
in interface Sort
InnerBuildException
InvalidIDException
VoidRepositoryException
void toPNML(FileChannel fc)
boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
validateOCL
in interface Sort
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.