public final class ModelRepositoryUnit extends Object
Constructor and Description |
---|
ModelRepositoryUnit(org.eclipse.emf.ecore.EObject petriNetDoc,
IdRepository idrep)
Constructor to enable storage of PetriNetDocs as EMF's EObjects.
|
ModelRepositoryUnit(IdRepository theIdrep,
HLAPIRootClass thePetriNetDoc)
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
IdRepository |
getIdrep() |
HLAPIRootClass |
getPetriNetDoc() |
org.eclipse.emf.ecore.EObject |
getPetriNetDocEObject() |
PrettyPrintData |
getPrettyPrinter() |
boolean |
isPrettyPrint() |
void |
setPetriNetDoc(HLAPIRootClass thePetriNetDoc) |
void |
setPetriNetDocEObject(org.eclipse.emf.ecore.EObject thePetriNetDoc) |
void |
setPrettyPrint(boolean prettyPrintStatus) |
public ModelRepositoryUnit(IdRepository theIdrep, HLAPIRootClass thePetriNetDoc)
theIdrep
- the id repositorythePetriNetDoc
- the PetriNetDoc, root of the documentpublic ModelRepositoryUnit(org.eclipse.emf.ecore.EObject petriNetDoc, IdRepository idrep)
petriNetDoc2
- the PetriNetDoc as EObject, root of the PNML documentidrep
- the id repositorypublic final IdRepository getIdrep()
public final void setPetriNetDoc(HLAPIRootClass thePetriNetDoc)
thePetriNetDoc
- the petriNetDoc to set (as the generic HLAPIRootClass type)public final void setPetriNetDocEObject(org.eclipse.emf.ecore.EObject thePetriNetDoc)
thePetriNetDoc
- the petriNetDoc to set (as EMF's EObject)public final HLAPIRootClass getPetriNetDoc()
public final org.eclipse.emf.ecore.EObject getPetriNetDocEObject()
public final boolean isPrettyPrint()
public final void setPrettyPrint(boolean prettyPrintStatus)
prettyPrintStatus
- the prettyPrint to setpublic final PrettyPrintData getPrettyPrinter()
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.