@Deprecated
public interface ErrorConsumer
| Modifier and Type | Method and Description |
|---|---|
void |
pushError(java.lang.String errorFileName,
int line,
java.lang.String message,
java.lang.String referenceText,
java.lang.String referenceTextPointer)
Deprecated.
|
Copyright © 2016. All Rights Reserved.