public interface BuiltInSort extends Sort
TermsPackage.getBuiltInSort()
Modifier and Type | Method and Description |
---|---|
void |
fromPNML(org.apache.axiom.om.OMElement locRoot,
IdRefLinker idr) |
String |
toPNML() |
void |
toPNML(FileChannel fc) |
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
void fromPNML(org.apache.axiom.om.OMElement locRoot, 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.