ErrorInfo info = new ErrorInfoImpl(state, errorSeg, node);
reporter.report(info);
}
private void report(int state, Segment errorSeg, Node node, String[] preTargetMsgInjections, String[] postTargetMsgInjections) {
ErrorInfo info = new ErrorInfoImpl(state, errorSeg, node, preTargetMsgInjections, postTargetMsgInjections);
reporter.report(info);
}