@Deprecated public interface ErrorConsumer
| Modifier and Type | Method and Description |
|---|---|
void |
pushError(String errorFileName,
int line,
String message,
String referenceText,
String referenceTextPointer)
Deprecated.
|
Copyright © 2017–2023 Eclipse Foundation. All rights reserved.