public abstract ErrorReported ( ScriptSource source, string message, SourceSpan span, int errorCode, Severity severity ) : void | ||
source | ScriptSource | |
message | string | |
span | SourceSpan | |
errorCode | int | |
severity | Severity | |
return | void |
public abstract ErrorReported ( ScriptSource source, string message, SourceSpan span, int errorCode, Severity severity ) : void | ||
source | ScriptSource | |
message | string | |
span | SourceSpan | |
errorCode | int | |
severity | Severity | |
return | void |