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

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

package plparser;

public class NumberNode extends Property {
	double value;
	
	public NumberNode(double i) {
		value = i;
	}
	
	public String toString() {
		return "Number "+value;
	}

}