reservedTypes.put("int", conv.getIntegerType()); reservedTypes.put("real", conv.getRealType()); reservedTypes.put("str", conv.getStringType()); reservedTypes.put("term", conv.getTermType()); reservedTypes.put("list", conv.getListType());
reservedTypes.put(INT_TYPE, conv.getIntegerType()); reservedTypes.put(REAL_TYPE, conv.getRealType()); reservedTypes.put(STR_TYPE, conv.getStringType()); reservedTypes.put(TERM_TYPE, conv.getTermType()); reservedTypes.put(LIST_TYPE, conv.getListType());
	public TypeConverter(TypeConversions conv) {		reservedTypes = new HashMap();		reservedTypes.put("int", conv.getIntegerType());		reservedTypes.put("real", conv.getRealType());		reservedTypes.put("str", conv.getStringType());		reservedTypes.put("term", conv.getTermType());		reservedTypes.put("list", conv.getListType());	}