View Javadoc

1   package nl.tudelft.goal.unreal.messages;
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  	/**
13  	 * Date of last modification.
14  	 */
15  	private static final long serialVersionUID = 201311261751L;
16  
17  	public MapOfParameters(Map<String, Parameter> parameters) {
18  		for(Entry<String,Parameter> entry : parameters.entrySet()){
19  			this.add(new ParameterList(new Identifier(entry.getKey()) , entry.getValue() ));
20  		}
21  	
22  	}
23  
24  }