← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/AnimationTokenSelectDialog.java

Committer: srba.jiri at gmail
Date: 2020-08-04 08:13:19 UTC
mfrom: (1067.4.14 removeSpecialBatchLoading)
Revision ID: srba.jiri@gmail.com-20200804081319-2h2kff4ljes1tpn1

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

files removed:
src/dk/aau/cs/io/batchProcessing/BatchProcessingLegacyLoader.java

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

src/dk/aau/cs/io/PNMLWriter.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/batchProcessing/BatchProcessingModelLoader.java

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

src/dk/aau/cs/io/queries/SUMOQueryLoader.java

src/dk/aau/cs/io/queries/TAPNQueryLoader.java

src/dk/aau/cs/io/queries/XMLQueryLoader.java

src/dk/aau/cs/model/NTA/StandardUPPAALQuery.java

src/dk/aau/cs/model/NTA/SupQuery.java

src/dk/aau/cs/model/NTA/trace/Participant.java

src/dk/aau/cs/model/NTA/trace/TimeDelayFiringAction.java

src/dk/aau/cs/model/NTA/trace/UppaalTrace.java

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

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

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

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

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

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

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

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

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

src/dk/aau/cs/model/tapn/event/TimedPlaceEvent.java

src/dk/aau/cs/model/tapn/event/TimedTransitionEvent.java

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

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

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

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

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

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

src/dk/aau/cs/translations/Degree2Converter.java

src/dk/aau/cs/translations/Pairing.java

src/dk/aau/cs/translations/PairingCombi.java

src/dk/aau/cs/translations/TranslationNamingScheme.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/verification/BoundednessAnalysisResult.java

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

src/net/tapaal/resourcemanager/ResourceManager.java

src/pipe/gui/ExportBatchDialog.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/KBoundAnalyzer.java

src/pipe/gui/RunVerification.java

src/pipe/gui/SelectionManager.java

src/pipe/gui/StatusBar.java

src/pipe/gui/TikZExporter.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/graphicElements/AnnotationNote.java

src/pipe/gui/graphicElements/NameLabel.java

src/pipe/gui/graphicElements/Transition.java

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

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

src/pipe/gui/undo/RemoveConstantEdit.java

src/pipe/gui/undo/TimedPlaceInvariantEdit.java

src/pipe/gui/widgets/AnimationTokenSelectDialog.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/ConstantsPane.java

src/pipe/gui/widgets/EngineDialogPanel.java

src/pipe/gui/widgets/GuardDialogue.java

src/pipe/gui/widgets/InclusionPlaces.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/SidePane.java

src/pipe/gui/widgets/TAPNTransitionEditor.java

src/pipe/gui/widgets/WorkflowDialog.java

Show diffs side-by-side

added added

removed removed

src/pipe/gui/widgets/AnimationTokenSelectDialog.java

21

21

22

22

public ArrayList<ArcTokenSelector> arcTokenSelectors = new ArrayList<ArcTokenSelector>();

23

23

24

private JPanel namePanel;

24

private final JPanel namePanel;

25

25

26

private JButton okButton;

26

private final JButton okButton;

27

27

private boolean cancelled = true;

28

28

29

29

public boolean cancelled() {

Older »