package de.prob2.ui.verifications.tracereplay;

import java.util.List;

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

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

@@ -162,24 +162,19 @@
 arameter
-Value
 s;%0A
+
 %0A%09public
@@ -279,21 +279,16 @@
 arameter
-Value
 s = para
@@ -387,24 +387,24 @@
 rValues() %7B%0A
+
 %09%09return par
@@ -409,21 +409,16 @@
 arameter
-Value
 s;%0A%09%7D%0A%7D%0A

rename variable