From 1559f983aaacb2a174bc84c0d367f58f121ca889 Mon Sep 17 00:00:00 2001 From: Evgeny Gerashchenko Date: Thu, 19 Apr 2012 16:30:34 +0400 Subject: [PATCH] Made soft keywords bold in DescriptorRenderer. --- .../org/jetbrains/jet/resolve/DescriptorRenderer.java | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/compiler/frontend/src/org/jetbrains/jet/resolve/DescriptorRenderer.java b/compiler/frontend/src/org/jetbrains/jet/resolve/DescriptorRenderer.java index a09b73ef863..7d8ddddf43b 100644 --- a/compiler/frontend/src/org/jetbrains/jet/resolve/DescriptorRenderer.java +++ b/compiler/frontend/src/org/jetbrains/jet/resolve/DescriptorRenderer.java @@ -308,22 +308,23 @@ public class DescriptorRenderer implements Renderer { } private void renderVisibility(Visibility visibility, StringBuilder builder) { - builder.append(visibility).append(" "); + builder.append(renderKeyword(visibility.toString())).append(" "); } private void renderModality(Modality modality, StringBuilder builder) { + String keyword = ""; switch (modality) { case FINAL: - builder.append("final"); + keyword = "final"; break; case OPEN: - builder.append("open"); + keyword = "open"; break; case ABSTRACT: - builder.append("abstract"); + keyword = "abstract"; break; } - builder.append(" "); + builder.append(renderKeyword(keyword)).append(" "); } @Override