public StringType(StringType node)
{
val = node.val;
}
public static StringType Read()
{
StringType ret = new StringType();
ret.Read();
return ret;
}
public static IntType ToInt(StringType str)
{
return new IntType(Int32.Parse(str.strval));
}
public static void Print(StringType fmt, TypeBase p)
{
p.Print(fmt.strval);
}
