@Deprecated public interface ErrorConsumer
void
pushError(String errorFileName, int line, String message, String referenceText, String referenceTextPointer)
void pushError(String errorFileName, int line, String message, String referenceText, String referenceTextPointer)
Copyright © 2017. All Rights Reserved.