View Javadoc

1   package nl.tudelft.goal.unreal.messages;
2   
3   import java.util.HashMap;
4   
5   import eis.iilang.Identifier;
6   import eis.iilang.Parameter;
7   
8   public class ParameterMap extends HashMap<Identifier, Parameter> {
9   
10  }