lp:~yrke/tapaal/testbranch-syntaxOnlyChanges
Created by
Kenneth Yrke Jørgensen
and last modified
- Get this branch:
- bzr branch lp:~yrke/tapaal/testbranch-syntaxOnlyChanges
Only
Kenneth Yrke Jørgensen
can upload to this branch. If you are
Kenneth Yrke Jørgensen
please log in for upload directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 5966 lines (+841/-1275)167 files modifiedsrc/dk/aau/cs/approximation/ITAPNApproximation.java (+1/-1)
src/dk/aau/cs/gui/BatchProcessingDialog.java (+4/-13)
src/dk/aau/cs/gui/DeleteSharedPlaceOrTransition.java (+18/-20)
src/dk/aau/cs/gui/FileNameCellRenderer.java (+1/-3)
src/dk/aau/cs/gui/SharedPlaceNamePanel.java (+1/-2)
src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+0/-3)
src/dk/aau/cs/gui/SharedTransitionNamePanel.java (+1/-2)
src/dk/aau/cs/gui/TabComponent.java (+0/-7)
src/dk/aau/cs/gui/TabContent.java (+64/-44)
src/dk/aau/cs/gui/TemplateExplorer.java (+2/-3)
src/dk/aau/cs/gui/components/BatchProcessingResultsTableModel.java (+1/-1)
src/dk/aau/cs/gui/components/BugHandledJXMultisplitPane.java (+0/-2)
src/dk/aau/cs/gui/components/ConstantsListModel.java (+0/-1)
src/dk/aau/cs/gui/components/EnabledTransitionsList.java (+4/-8)
src/dk/aau/cs/gui/components/MultiLineAutoWrappingToolTip.java (+0/-1)
src/dk/aau/cs/gui/components/NonsearchableJComboBox.java (+0/-2)
src/dk/aau/cs/gui/components/NonsearchableJList.java (+0/-1)
src/dk/aau/cs/gui/components/StatisticsPanel.java (+0/-2)
src/dk/aau/cs/gui/components/TransitionFireingComponent.java (+0/-1)
src/dk/aau/cs/gui/smartDraw/SmartDrawDialog.java (+1/-5)
src/dk/aau/cs/gui/smartDraw/SmartDrawWorker.java (+9/-9)
src/dk/aau/cs/gui/undo/AddSharedPlaceCommand.java (+2/-2)
src/dk/aau/cs/gui/undo/AddSharedTransitionCommand.java (+2/-2)
src/dk/aau/cs/gui/undo/DeleteSharedPlaceCommand.java (+2/-2)
src/dk/aau/cs/gui/undo/DeleteSharedTransitionCommand.java (+2/-2)
src/dk/aau/cs/gui/undo/MakePlaceNewSharedCommand.java (+3/-3)
src/dk/aau/cs/gui/undo/MakePlaceNewSharedMultiCommand.java (+3/-5)
src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.java (+2/-2)
src/dk/aau/cs/gui/undo/MakeTransitionNewSharedCommand.java (+2/-2)
src/dk/aau/cs/gui/undo/MakeTransitionNewSharedMultiCommand.java (+3/-3)
src/dk/aau/cs/gui/undo/MakeTransitionSharedCommand.java (+2/-2)
src/dk/aau/cs/gui/undo/RenameSharedTransitionCommand.java (+1/-1)
src/dk/aau/cs/gui/undo/ToggleTransitionUrgent.java (+0/-1)
src/dk/aau/cs/gui/undo/UpdateNameLabelOffsetCommand.java (+2/-3)
src/dk/aau/cs/io/ModelLoader.java (+2/-4)
src/dk/aau/cs/io/PNMLoader.java (+11/-11)
src/dk/aau/cs/io/TapnLegacyXmlLoader.java (+19/-24)
src/dk/aau/cs/io/TapnXmlLoader.java (+11/-12)
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+2/-2)
src/dk/aau/cs/io/batchProcessing/BatchProcessingLegacyLoader.java (+1/-1)
src/dk/aau/cs/io/batchProcessing/BatchProcessingModelLoader.java (+6/-8)
src/dk/aau/cs/io/batchProcessing/BatchProcessingResultsExporter.java (+3/-4)
src/dk/aau/cs/model/tapn/ConstantWeight.java (+1/-1)
src/dk/aau/cs/model/tapn/IntBound.java (+1/-1)
src/dk/aau/cs/model/tapn/LocalTimedMarking.java (+1/-3)
src/dk/aau/cs/model/tapn/NetworkMarking.java (+1/-3)
src/dk/aau/cs/model/tapn/RatBound.java (+1/-1)
src/dk/aau/cs/model/tapn/TimedArcPetriNet.java (+2/-2)
src/dk/aau/cs/model/tapn/TimedTransition.java (+2/-2)
src/dk/aau/cs/model/tapn/simulation/ManualDelayMode.java (+0/-2)
src/dk/aau/cs/translations/tapn/BroadcastTranslation.java (+2/-2)
src/dk/aau/cs/translations/tapn/CombiTranslation.java (+8/-8)
src/dk/aau/cs/translations/tapn/Degree2BroadcastTranslation.java (+2/-2)
src/dk/aau/cs/translations/tapn/OptimizedStandardTranslation.java (+2/-2)
src/dk/aau/cs/translations/tapn/StandardTranslation.java (+2/-2)
src/dk/aau/cs/util/FormatException.java (+0/-1)
src/dk/aau/cs/util/MemoryMonitor.java (+3/-5)
src/dk/aau/cs/util/RequireException.java (+0/-2)
src/dk/aau/cs/util/Tuple.java (+2/-2)
src/dk/aau/cs/util/UnsupportedModelException.java (+1/-2)
src/dk/aau/cs/util/UnsupportedQueryException.java (+0/-1)
src/dk/aau/cs/verification/ITAPNComposer.java (+1/-2)
src/dk/aau/cs/verification/TAPNComposer.java (+3/-3)
src/dk/aau/cs/verification/UPPAAL/UppaalIconSelector.java (+3/-2)
src/dk/aau/cs/verification/UPPAAL/VerifytaTraceInterpreter.java (+1/-1)
src/dk/aau/cs/verification/VerificationResult.java (+1/-1)
src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOutputParser.java (+1/-2)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java (+6/-14)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingVerificationOptions.java (+6/-6)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java (+1/-2)
src/net/tapaal/TAPAAL.java (+1/-2)
src/net/tapaal/gui/DrawingSurfaceManager/AbstractDrawingSurfaceManager.java (+3/-3)
src/net/tapaal/helpers/Reference/MutableReference.java (+0/-2)
src/net/tapaal/helpers/Reference/Reference.java (+0/-2)
src/net/tapaal/swinghelpers/CustomJSpinner.java (+2/-5)
src/net/tapaal/swinghelpers/ExtendedJTabbedPane.java (+0/-3)
src/net/tapaal/swinghelpers/JSplitPaneFix.java (+0/-4)
src/net/tapaal/swinghelpers/WidthAdjustingComboBox.java (+0/-2)
src/pipe/dataLayer/DataLayer.java (+1/-2)
src/pipe/gui/AnimationController.java (+2/-2)
src/pipe/gui/AnimationHistoryComponent.java (+2/-2)
src/pipe/gui/Animator.java (+4/-4)
src/pipe/gui/CreateGui.java (+0/-1)
src/pipe/gui/DelayEnabledTransitionControl.java (+0/-1)
src/pipe/gui/Export.java (+0/-1)
src/pipe/gui/ExportBatchDialog.java (+4/-8)
src/pipe/gui/FileFinder.java (+1/-1)
src/pipe/gui/Grid.java (+4/-4)
src/pipe/gui/GuiFrame.java (+46/-149)
src/pipe/gui/GuiFrameController.java (+3/-3)
src/pipe/gui/Pipe.java (+1/-1)
src/pipe/gui/RunVerification.java (+1/-2)
src/pipe/gui/SelectionManager.java (+0/-1)
src/pipe/gui/SimulationControl.java (+0/-2)
src/pipe/gui/StatusBar.java (+62/-65)
src/pipe/gui/TikZExporter.java (+3/-3)
src/pipe/gui/Zoomer.java (+1/-9)
src/pipe/gui/action/EditAnnotationBackgroundAction.java (+1/-2)
src/pipe/gui/action/EditAnnotationBorderAction.java (+1/-2)
src/pipe/gui/action/EditNoteAction.java (+1/-2)
src/pipe/gui/action/ShowHideInfoAction.java (+0/-2)
src/pipe/gui/action/SplitArcAction.java (+5/-6)
src/pipe/gui/action/SplitArcPointAction.java (+0/-4)
src/pipe/gui/action/ToggleArcPointAction.java (+0/-4)
src/pipe/gui/canvas/DrawingSurfaceImpl.java (+1/-1)
src/pipe/gui/graphicElements/AnnotationNote.java (+1/-6)
src/pipe/gui/graphicElements/Arc.java (+13/-15)
src/pipe/gui/graphicElements/ArcPath.java (+63/-171)
src/pipe/gui/graphicElements/ArcPathPoint.java (+25/-27)
src/pipe/gui/graphicElements/NameLabel.java (+10/-4)
src/pipe/gui/graphicElements/Note.java (+1/-9)
src/pipe/gui/graphicElements/PetriNetObject.java (+0/-2)
src/pipe/gui/graphicElements/Place.java (+0/-2)
src/pipe/gui/graphicElements/PlaceTransitionObject.java (+2/-5)
src/pipe/gui/graphicElements/Transition.java (+0/-2)
src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java (+1/-1)
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java (+1/-2)
src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java (+0/-4)
src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java (+1/-1)
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+1/-1)
src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java (+3/-3)
src/pipe/gui/handler/AnnotationNoteHandler.java (+5/-9)
src/pipe/gui/handler/ArcHandler.java (+8/-10)
src/pipe/gui/handler/ArcPathPointHandler.java (+6/-14)
src/pipe/gui/handler/LabelHandler.java (+4/-8)
src/pipe/gui/handler/NoteHandler.java (+0/-2)
src/pipe/gui/handler/PetriNetObjectHandler.java (+1/-3)
src/pipe/gui/handler/PlaceHandler.java (+5/-4)
src/pipe/gui/handler/PlaceTransitionObjectHandler.java (+29/-21)
src/pipe/gui/handler/SpecialMacHandler.java (+2/-2)
src/pipe/gui/handler/TimedArcHandler.java (+5/-10)
src/pipe/gui/handler/TransitionHandler.java (+11/-24)
src/pipe/gui/handler/TransportArcHandler.java (+2/-4)
src/pipe/gui/undo/AddAnnotationNoteCommand.java (+2/-2)
src/pipe/gui/undo/AddArcPathPointEdit.java (+1/-1)
src/pipe/gui/undo/AddConstantEdit.java (+2/-2)
src/pipe/gui/undo/AddQueryCommand.java (+2/-2)
src/pipe/gui/undo/AddTemplateCommand.java (+1/-1)
src/pipe/gui/undo/ArcTimeIntervalEdit.java (+1/-1)
src/pipe/gui/undo/ChangeSpacingEdit.java (+2/-3)
src/pipe/gui/undo/DeleteAnnotationNoteCommand.java (+2/-2)
src/pipe/gui/undo/DeleteArcPathPointEdit.java (+1/-1)
src/pipe/gui/undo/DeleteTimedPlaceCommand.java (+4/-4)
src/pipe/gui/undo/DeleteTimedTransitionCommand.java (+1/-1)
src/pipe/gui/undo/RemoveQueriesCommand.java (+2/-2)
src/pipe/gui/undo/RenameTemplateCommand.java (+4/-4)
src/pipe/gui/undo/ToggleTemplateActivationCommand.java (+3/-3)
src/pipe/gui/undo/UpdateConstantEdit.java (+4/-4)
src/pipe/gui/widgets/AnimationSelectmodeDialog.java (+0/-2)
src/pipe/gui/widgets/AnnotationPanel.java (+0/-4)
src/pipe/gui/widgets/ArcTokenSelector.java (+1/-1)
src/pipe/gui/widgets/CTLQueryDialog.java (+2/-7)
src/pipe/gui/widgets/ChooseInclusionPlacesDialog.java (+2/-3)
src/pipe/gui/widgets/ConstantsDialogPanel.java (+1/-4)
src/pipe/gui/widgets/ConstantsPane.java (+1/-1)
src/pipe/gui/widgets/EscapableDialog.java (+0/-9)
src/pipe/gui/widgets/GuardDialogue.java (+3/-14)
src/pipe/gui/widgets/NewTAPNPanel.java (+1/-1)
src/pipe/gui/widgets/PlaceEditorPanel.java (+1/-1)
src/pipe/gui/widgets/QueryDialog.java (+1/-7)
src/pipe/gui/widgets/QueryPane.java (+6/-7)
src/pipe/gui/widgets/RunningVerificationDialog.java (+1/-1)
src/pipe/gui/widgets/TAPNTransitionEditor.java (+1/-1)
src/pipe/gui/widgets/WorkflowDialog.java (+186/-189)
src/pipe/gui/widgets/filebrowser/FileBrowser.java (+2/-4)
src/pipe/gui/widgets/filebrowser/NativeFileBrowser.java (+4/-5)
src/pipe/gui/widgets/filebrowser/NativeFileBrowserFallback.java (+4/-4)
Branch information
Recent revisions
- 1395. By Kenneth Yrke Jørgensen
-
Replaced a number of places using == insted of equals to compare strings
- 1392. By Kenneth Yrke Jørgensen
-
Does not need to check for includement to remove object from hashmap
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal