{
public static void Main(params string[] args)
{
- Xex.DebugDepth = 10;
+ Xex.TraceDepth = 10;
Xex.Domain domain = new Xex.Domain ("test", null);
- Xex xex = new Xex (domain, "xex.xml");
+ Xex.Term[] terms = Xex.Parse (domain, "xex.xml");
if (args.Length >= 2 && args[0] == "-d")
- Xex.DebugDepth = int.Parse (args[1]);
- Console.WriteLine (xex);
- Console.WriteLine (xex.Eval (domain));
+ Xex.TraceDepth = int.Parse (args[1]);
+ foreach (Xex.Term term in terms)
+ Console.WriteLine (term);
+ Console.WriteLine (Xex.Eval (domain, terms));
}
}