~yrke/tapaal/removeNetType

« back to all changes in this revision

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

Committer: Kenneth Yrke Joergensen
Date: 2020-04-30 12:52:28 UTC
mfrom: (1362.1.34 testbranch-syntaxOnlyChanges)
Revision ID: kenneth@yrke.dk-20200430125228-8hue3ivnj5uvp0br

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

files modified:
build.gradle

src/dk/aau/cs/approximation/ITAPNApproximation.java

src/dk/aau/cs/gui/BatchProcessingDialog.java

src/dk/aau/cs/gui/DeleteSharedPlaceOrTransition.java

src/dk/aau/cs/gui/FileNameCellRenderer.java

src/dk/aau/cs/gui/SharedPlaceNamePanel.java

src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java

src/dk/aau/cs/gui/SharedTransitionNamePanel.java

src/dk/aau/cs/gui/TabComponent.java

src/dk/aau/cs/gui/TabContent.java

src/dk/aau/cs/gui/TabTransformer.java

src/dk/aau/cs/gui/TemplateExplorer.java

src/dk/aau/cs/gui/components/BatchProcessingResultsTableModel.java

src/dk/aau/cs/gui/components/BugHandledJXMultisplitPane.java

src/dk/aau/cs/gui/components/ConstantsListModel.java

src/dk/aau/cs/gui/components/EnabledTransitionsList.java

src/dk/aau/cs/gui/components/MultiLineAutoWrappingToolTip.java

src/dk/aau/cs/gui/components/NonsearchableJComboBox.java

src/dk/aau/cs/gui/components/NonsearchableJList.java

src/dk/aau/cs/gui/components/StatisticsPanel.java

src/dk/aau/cs/gui/components/TransitionFireingComponent.java

src/dk/aau/cs/gui/smartDraw/SmartDrawDialog.java

src/dk/aau/cs/gui/smartDraw/SmartDrawWorker.java

src/dk/aau/cs/gui/undo/AddSharedPlaceCommand.java

src/dk/aau/cs/gui/undo/AddSharedTransitionCommand.java

src/dk/aau/cs/gui/undo/DeleteSharedPlaceCommand.java

src/dk/aau/cs/gui/undo/DeleteSharedTransitionCommand.java

src/dk/aau/cs/gui/undo/MakePlaceNewSharedCommand.java

src/dk/aau/cs/gui/undo/MakePlaceNewSharedMultiCommand.java

src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.java

src/dk/aau/cs/gui/undo/MakeTransitionNewSharedCommand.java

src/dk/aau/cs/gui/undo/MakeTransitionNewSharedMultiCommand.java

src/dk/aau/cs/gui/undo/MakeTransitionSharedCommand.java

src/dk/aau/cs/gui/undo/RenameSharedTransitionCommand.java

src/dk/aau/cs/gui/undo/ToggleTransitionUrgent.java

src/dk/aau/cs/gui/undo/UpdateNameLabelOffsetCommand.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/io/TimedArcPetriNetNetworkWriter.java

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

src/dk/aau/cs/io/batchProcessing/BatchProcessingLegacyLoader.java

src/dk/aau/cs/io/batchProcessing/BatchProcessingModelLoader.java

src/dk/aau/cs/io/batchProcessing/BatchProcessingResultsExporter.java

src/dk/aau/cs/model/tapn/ConstantWeight.java

src/dk/aau/cs/model/tapn/IntBound.java

src/dk/aau/cs/model/tapn/LocalTimedMarking.java

src/dk/aau/cs/model/tapn/NetworkMarking.java

src/dk/aau/cs/model/tapn/RatBound.java

src/dk/aau/cs/model/tapn/TimedArcPetriNet.java

src/dk/aau/cs/model/tapn/TimedTransition.java

src/dk/aau/cs/model/tapn/simulation/ManualDelayMode.java

src/dk/aau/cs/translations/tapn/BroadcastTranslation.java

src/dk/aau/cs/translations/tapn/CombiTranslation.java

src/dk/aau/cs/translations/tapn/Degree2BroadcastTranslation.java

src/dk/aau/cs/translations/tapn/OptimizedStandardTranslation.java

src/dk/aau/cs/translations/tapn/StandardTranslation.java

src/dk/aau/cs/util/FormatException.java

src/dk/aau/cs/util/MemoryMonitor.java

src/dk/aau/cs/util/RequireException.java

src/dk/aau/cs/util/Tuple.java

src/dk/aau/cs/util/UnsupportedModelException.java

src/dk/aau/cs/util/UnsupportedQueryException.java

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

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

src/dk/aau/cs/verification/UPPAAL/UppaalIconSelector.java

src/dk/aau/cs/verification/UPPAAL/VerifytaTraceInterpreter.java

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

src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOutputParser.java

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

src/dk/aau/cs/verification/batchProcessing/BatchProcessingVerificationOptions.java

src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java

src/net/tapaal/TAPAAL.java

src/net/tapaal/gui/DrawingSurfaceManager/AbstractDrawingSurfaceManager.java

src/net/tapaal/helpers/Reference/MutableReference.java

src/net/tapaal/helpers/Reference/Reference.java

src/net/tapaal/swinghelpers/CustomJSpinner.java

src/net/tapaal/swinghelpers/ExtendedJTabbedPane.java

src/net/tapaal/swinghelpers/JSplitPaneFix.java

src/net/tapaal/swinghelpers/WidthAdjustingComboBox.java

src/pipe/dataLayer/DataLayer.java

src/pipe/gui/AnimationController.java

src/pipe/gui/AnimationHistoryComponent.java

src/pipe/gui/Animator.java

src/pipe/gui/DelayEnabledTransitionControl.java

src/pipe/gui/Export.java

src/pipe/gui/ExportBatchDialog.java

src/pipe/gui/FileFinder.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/GuiFrameController.java

src/pipe/gui/Pipe.java

src/pipe/gui/RunVerification.java

src/pipe/gui/SelectionManager.java

src/pipe/gui/SimulationControl.java

src/pipe/gui/StatusBar.java

src/pipe/gui/TikZExporter.java

src/pipe/gui/Zoomer.java

src/pipe/gui/action/EditAnnotationBackgroundAction.java

src/pipe/gui/action/EditAnnotationBorderAction.java

src/pipe/gui/action/EditNoteAction.java

src/pipe/gui/action/ShowHideInfoAction.java

src/pipe/gui/action/SplitArcAction.java

src/pipe/gui/action/SplitArcPointAction.java

src/pipe/gui/action/ToggleArcPointAction.java

src/pipe/gui/canvas/DrawingSurfaceImpl.java

src/pipe/gui/graphicElements/AnnotationNote.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/ArcPath.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/NameLabel.java

src/pipe/gui/graphicElements/Note.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/Place.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

src/pipe/gui/graphicElements/Transition.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/AnnotationNoteHandler.java

src/pipe/gui/handler/NoteHandler.java

src/pipe/gui/handler/PetriNetObjectHandler.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/handler/SpecialMacHandler.java

src/pipe/gui/undo/AddAnnotationNoteCommand.java

src/pipe/gui/undo/AddArcPathPointEdit.java

src/pipe/gui/undo/AddConstantEdit.java

src/pipe/gui/undo/AddQueryCommand.java

src/pipe/gui/undo/AddTemplateCommand.java

src/pipe/gui/undo/ArcTimeIntervalEdit.java

src/pipe/gui/undo/ChangeSpacingEdit.java

src/pipe/gui/undo/DeleteAnnotationNoteCommand.java

src/pipe/gui/undo/DeleteArcPathPointEdit.java

src/pipe/gui/undo/DeleteTimedPlaceCommand.java

src/pipe/gui/undo/DeleteTimedTransitionCommand.java

src/pipe/gui/undo/RemoveQueriesCommand.java

src/pipe/gui/undo/RenameTemplateCommand.java

src/pipe/gui/undo/ToggleTemplateActivationCommand.java

src/pipe/gui/undo/UpdateConstantEdit.java

src/pipe/gui/widgets/AnimationSelectmodeDialog.java

src/pipe/gui/widgets/AnnotationPanel.java

src/pipe/gui/widgets/ArcTokenSelector.java

src/pipe/gui/widgets/CTLQueryDialog.java

src/pipe/gui/widgets/ChooseInclusionPlacesDialog.java

src/pipe/gui/widgets/ConstantsDialogPanel.java

src/pipe/gui/widgets/ConstantsPane.java

src/pipe/gui/widgets/EscapableDialog.java

src/pipe/gui/widgets/GuardDialogue.java

src/pipe/gui/widgets/NewTAPNPanel.java

src/pipe/gui/widgets/PlaceEditorPanel.java

src/pipe/gui/widgets/QueryDialog.java

src/pipe/gui/widgets/QueryPane.java

src/pipe/gui/widgets/RunningVerificationDialog.java

src/pipe/gui/widgets/TAPNTransitionEditor.java

src/pipe/gui/widgets/WorkflowDialog.java

src/pipe/gui/widgets/filebrowser/FileBrowser.java

src/pipe/gui/widgets/filebrowser/NativeFileBrowser.java

src/pipe/gui/widgets/filebrowser/NativeFileBrowserFallback.java

Show diffs side-by-side

added added

removed removed

src/pipe/gui/AnimationHistoryComponent.java

import dk.aau.cs.verification.VerifyTAPN.TraceType;

public class AnimationHistoryComponent<E> extends JList<E> {

private static final long serialVersionUID = -4284885450021683552L;

public class AnimationHistoryComponent extends JList<String> {

private TraceType lastShown = TraceType.NOT_EG;

public AnimationHistoryComponent() {

Older »