public static Throw nameMismatch(String expected, String got, AbstractAST ast, StackTrace trace) {
return new Throw(VF.constructor(NameMismatch, VF.string(expected), VF.string(got)), ast, trace);
}
public static Throw noParent(ISourceLocation loc, AbstractAST ast, StackTrace trace) {
return new Throw(VF.constructor(NoParent, loc), ast, trace);
}