1 package nl.tudelft.goal.unreal.environment;
2
3 import java.util.Map;
4 import java.util.Map.Entry;
5
6 import eis.iilang.Identifier;
7 import eis.iilang.Parameter;
8 import eis.iilang.ParameterList;
9
10 public class MapOfParameters extends ParameterList {
11
12 public MapOfParameters(Map<String, Parameter> parameters) {
13 for(Entry<String,Parameter> entry : parameters.entrySet()){
14 this.add(new ParameterList(new Identifier(entry.getKey()) , entry.getValue() ));
15 }
16
17 }
18
19 }