DiagnosticCategory¶

public enum DiagnosticCategory¶

Enum Constants¶

Analyser¶

public static final DiagnosticCategory Analyser¶

CSM¶

public static final DiagnosticCategory CSM¶

EMF¶

public static final DiagnosticCategory EMF¶

Frontend¶

public static final DiagnosticCategory Frontend¶

Generator¶

public static final DiagnosticCategory Generator¶

IO¶

public static final DiagnosticCategory IO¶

Lexer¶

public static final DiagnosticCategory Lexer¶

LogFrontend¶

public static final DiagnosticCategory LogFrontend¶

LogReplay¶

public static final DiagnosticCategory LogReplay¶

LogTextParser¶

public static final DiagnosticCategory LogTextParser¶

Package¶

public static final DiagnosticCategory Package¶

Parser¶

public static final DiagnosticCategory Parser¶

Profile¶

public static final DiagnosticCategory Profile¶

TOML¶

public static final DiagnosticCategory TOML¶

Tidy¶

public static final DiagnosticCategory Tidy¶

Transform¶

public static final DiagnosticCategory Transform¶

TypeChecker¶

public static final DiagnosticCategory TypeChecker¶

Verification¶

public static final DiagnosticCategory Verification¶

Methods¶

fromInteger¶

public static DiagnosticCategory fromInteger(int value)¶

toInteger¶

public static int toInteger(DiagnosticCategory value)¶