public string GetErrorTypeString(ReportLevel pe)
{
switch (pe)
{
case ReportLevel.CRIT:
case ReportLevel.ERR:
return "(error)";
case ReportLevel.WARN:
return "(warning)";
case ReportLevel.INFO:
throw new NotImplementedException();
/*if (CTX_isInteractive() || CTX_isCompileOnly() || verbose_sugar)
{
return "(info)";
}*/
return null;
case ReportLevel.DEBUG:
throw new NotImplementedException();
/*if (verbose_sugar)
{
return "(debug)";
}*/
return null;
}
return "(unknown)";
}