private void error(String str, String arg1, String arg2, String arg3,
                       Node culprit) {
        str = mFormatter.format(str, arg1, arg2, arg3);
        error(str, culprit.getSourceInfo());
    }