Package | Description |
---|---|
fr.lip6.move.pnml.framework.utils |
Modifier and Type | Method and Description |
---|---|
PrettyPrintData |
ModelRepository.getPrettyPrintData()
Gets Pretty Print Data, either from the current active document
workspace, or a global default (newly created) if no active workspace or
no workspace at all.
|
PrettyPrintData |
ModelRepositoryUnit.getPrettyPrinter() |
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.