~tapaal-contributor/tapaal/tikz-export-label-placement-1820528

Viewing changes to src/pipe/gui/GuiFrame.java

Committer: Kenneth Yrke Jørgensen
Date: 2019-03-10 19:47:44 UTC
mfrom: (975.3.71 placetransitionobjecthandler-refactor-cleanup)
Revision ID: kenneth@yrke.dk-20190310194744-zb87sljmwtvix7pz

Merged bzr merge lp:~yrke/tapaal/placetransitionobjecthandler-refactor-cleanup cleanup
after refactorings, removeing code and further refactorings

files modified:
src/dk/aau/cs/gui/TabTransformer.java

src/dk/aau/cs/io/ModelLoader.java

src/dk/aau/cs/io/PNMLoader.java

src/dk/aau/cs/io/TapnLegacyXmlLoader.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/verification/TAPNComposer.java

src/pipe/dataLayer/DataLayer.java

src/pipe/gui/CreateGui.java

src/pipe/gui/DrawingSurfaceImpl.java

src/pipe/gui/ExportBatchDialog.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/ArcPath.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/Place.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java

src/pipe/gui/handler/ArcHandler.java

src/pipe/gui/handler/PetriNetObjectHandler.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/handler/TransportArcHandler.java

Show diffs side-by-side

added added

removed removed

src/pipe/gui/GuiFrame.java

1717

1718

try {

1719

1720

ModelLoader loader = new ModelLoader(tab.drawingSurface());

1720

ModelLoader loader = new ModelLoader();

1721

LoadedModel loadedModel = loader.load(file);

1722

1723

tab.setNetwork(loadedModel.network(), loadedModel.templates());

1777

1778

LoadedModel loadedModel;

1779

1780

PNMLoader loader = new PNMLoader(tab.drawingSurface());

1780

PNMLoader loader = new PNMLoader();

1781

loadedModel = loader.load(file);

1782

1783

Older »