From 63b3e59a18c8f78cca4a2d260a3a9a2d32d0b39f Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Wed, 26 Dec 2012 18:36:37 +0400
Subject: [PATCH] Render annotation arguments.

---
 .../org/jetbrains/jet/renderer/DescriptorRendererImpl.java  | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
index 0fd23dde06d..af7c0aa74ea 100644
--- a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
+++ b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
@@ -293,7 +293,11 @@ public class DescriptorRendererImpl implements DescriptorRenderer {
             assert annotationClass != null;
 
             if (!excludedAnnotationClasses.contains(DescriptorUtils.getFQName(annotationClass).toSafe())) {
-                builder.append(renderType(annotation.getType())).append(" ");
+                builder.append(renderType(annotation.getType()));
+                if (verbose) {
+                    builder.append("(").append(StringUtil.join(DescriptorUtils.getSortedValueArguments(annotation), ", ")).append(")");
+                }
+                builder.append(" ");
             }
         }
     }