}
}
- sealed class WarningMessage: AbstractMessage {
+ sealed class WarningMessage : AbstractMessage {
Location loc = Location.Null;
readonly int Level;
}
}
- sealed class ErrorMessage: AbstractMessage {
+ sealed class ErrorMessage : AbstractMessage {
public override void Print(int code, string location, string text)
{
static void SymbolRelatedToPreviousError (string loc, string symbol)
{
- extra_information.Add (String.Format ("{0}: `{1}' (name of symbol related to previous ", loc, symbol));
+ extra_information.Add (String.Format ("{0}: `{1}', name of symbol related to previous ", loc, symbol));
}
public static void ExtraInformation (Location loc, string msg)
public abstract bool IsEnabled (int code, bool previous);
}
- class Disable: PragmaCmd
+ class Disable : PragmaCmd
{
int code;
public Disable (int line, int code)
}
}
- class DisableAll: PragmaCmd
+ class DisableAll : PragmaCmd
{
public DisableAll (int line)
: base (line) {}
}
}
- class Enable: PragmaCmd
+ class Enable : PragmaCmd
{
int code;
public Enable (int line, int code)
}
}
- class EnableAll: PragmaCmd
+ class EnableAll : PragmaCmd
{
public EnableAll (int line)
: base (line) {}