view src/plparser/Dictionary.java @ 14:1baccfe55597 default tip

pp fix
author one
date Fri, 03 Sep 2010 08:21:53 +0900
parents 29c0866e3a84
children
line wrap: on
line source

package plparser;

import java.util.HashMap;

public class Dictionary<Node> extends HashMap<String,Token<Node>> {

	private static final long serialVersionUID = 1L;

	public Token<Node> reserve(String name,TokenID type) {
		Token<Node> t = new Token<Node>(name,type);
		this.put(name, t);
		return t;
	}

	public Token<Node> reserve(String string) {
		return reserve(string,TokenID.Any);
	}
}