public WarningMessage (int code, Location loc, string message, List<string> extra_info) : base (code, loc, message, extra_info) { }