ErrorReporter

---

Object Hierarchy:

Description:

Content:

Properties:

• public int errors { get; }
• public int errors_offset { get; set; }
• public Settings? settings { get; set; }
• public unowned FileStream stream { get; set; }
• public int warnings { get; }
• public int warnings_offset { get; set; }

Creation methods:

• public ErrorReporter (Settings? settings = null)

Methods:

• public void error (string file, long line, long startpos, long endpos, string errline, string msg_format, ...)
• public bool set_colors (string str)
• public void simple_error (string? location, string msg_format, ...)
• public void simple_note (string? location, string msg_format, ...)
• public void simple_warning (string? location, string msg_format, ...)
• public void warning (string file, long line, long startpos, long endpos, string errline, string msg_format, ...)

Inherited Members: