package de.prob2.ui.verifications.tracereplay;

import java.util.List;

public class ReplayTransition {
	private final String name;
	private final List<String> parameters;

	public ReplayTransition(final String name, final List<String> parameters) {
		this.name = name;
		this.parameters = parameters;
	}
	
	public String getName() {
		return name;
	}
	
	public List<String> getParameters() {
		return parameters;
	}
}

@@ -162,19 +162,24 @@
 arameter
+Value
 s;%0A
-
 %0A%09public
@@ -284,16 +284,21 @@
 arameter
+Value
 s = para
@@ -390,16 +390,21 @@
 arameter
+Value
 s() %7B%0A%09%09
@@ -415,20 +415,25 @@
 rn parameter
+Value
 s;%0A%09%7D%0A%7D%0A

rename parameters to parameterValues