ErrorTreeElementKind (int type) { return switch (type) { case MessageCategory.ERROR -> ERROR; case MessageCategory.WARNING -> WARNING; case MessageCategory.INFORMATION, MessageCategory.STATISTICS -> INFO; case MessageCategory.SIMPLE -> GENERIC; case MessageCategory.NOTE -> NOTE; default -> GENERIC; }; }