← Back to branch summary

~tapaal-contributor/tapaal/add-java-info-1890600

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/tapn/simulation/TimedTAPNNetworkTrace.java

merged in lp:~yrke/tapaal/evenMore-gui-cleanup doing GUI cleanup and fixing memory access check, about menu in Mac, exception in verification and reenabled quick draw

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/simulation/TimedTAPNNetworkTrace.java
5
5
import java.util.List;
6
6
 
7
7
import dk.aau.cs.verification.VerifyTAPN.TraceType;
 
8
import org.jetbrains.annotations.NotNull;
8
9
 
9
10
public class TimedTAPNNetworkTrace implements TAPNNetworkTrace {
10
11
        private final List<TAPNNetworkTraceStep> steps = new ArrayList<TAPNNetworkTraceStep>();
22
23
                steps.add(step);
23
24
        }
24
25
 
25
 
        public Iterator<TAPNNetworkTraceStep> iterator() {
 
26
        public @NotNull Iterator<TAPNNetworkTraceStep> iterator() {
26
27
                return steps.iterator();
27
28
        }
28
29