LocationException error_throw(String msg, Exp exp, Node <Object> scope, Node <Object> children) { LocationException locexp = new LocationException(exp.Loc(), msg + ":\r\n" + children.ToString() + "\r\n" + exp.Children().First() + "\r\n" + exp.Children().ToString()); locexp.addStack(getPath(scope), exp.Loc(), exp.ToString()); return(locexp); }
LocationException match_Exception(Node <Object> scope, String msg, Location loc) { LocationException lox = new LocationException(loc, getPath(scope) + ":\t" + msg); return(lox); }