Method toolError

tool/src/org/antlr/v4/tool/ErrorManager.java:147–149

Raise a predefined message with some number of parameters for the StringTemplate but for which there is no location information possible. @param errorType The Message Descriptor @param args The arguments to pass to the StringTemplate

(ErrorType errorType, Object... args)

     * @param args The arguments to pass to the StringTemplate
     */
	public void toolError(ErrorType errorType, Object... args) {
		toolError(errorType, null, args);
	}

	public void toolError(ErrorType errorType, Throwable e, Object... args) {
		ToolMessage msg = new ToolMessage(errorType, e, args);