public interface ParseErrorReporter extends ErrorReporter
edu.cmu.sei.aadl.model.pluginsupport.AnalysisErrorReporter
.
In general, objects of classes that implement this interface are meant to be
obtained using implementations of
edu.cmu.sei.aadl.model.pluginsupport.ParseErrorReporterFactory
.
edu.cmu.sei.aadl.model.pluginsupport.ParseErrorReporterFactory
,
edu.cmu.sei.aadl.model.pluginsupport.ParseErrorReporterManager
Modifier and Type | Method and Description |
---|---|
void |
error(LocationReference loc,
java.lang.String message)
Report an error.
|
void |
error(java.lang.String filename,
int line,
java.lang.String message)
Report an error.
|
void |
info(LocationReference loc,
java.lang.String message)
Report information about an AADL text file.
|
void |
info(java.lang.String filename,
int line,
java.lang.String message)
Report information about an AADL text file..
|
void |
warning(LocationReference loc,
java.lang.String message)
Report a warning about an AADL text file.
|
void |
warning(java.lang.String filename,
int line,
java.lang.String message)
Report a warning about an AADL text file..
|
deleteMessages, getNumErrors, getNumInfos, getNumMessages, getNumWarnings
void error(LocationReference loc, java.lang.String message)
loc
- The location on which the warning is located.message
- the error messagevoid error(java.lang.String filename, int line, java.lang.String message)
filename
- The file in which the error is located.line
- The line on which the error occured.message
- the error messagevoid warning(LocationReference loc, java.lang.String message)
loc
- The location on which the warning is located.message
- the warning messagevoid warning(java.lang.String filename, int line, java.lang.String message)
filename
- The file in which the warning is located.line
- The line on which the warning is located.message
- the warning messagevoid info(LocationReference loc, java.lang.String message)
loc
- The location on which the information is located.message
- the information messagevoid info(java.lang.String filename, int line, java.lang.String message)
filename
- The file in which the information is located.line
- The line on which the information is located.message
- the information message