From f64c116206f6dc3de4f2f37a5a080ce61a2f20ad Mon Sep 17 00:00:00 2001
From: Yan Zhulanow <yan.zhulanow@jetbrains.com>
Date: Tue, 9 Dec 2014 14:32:28 +0300
Subject: [PATCH] Ability to get plugin option string in plugin API

---
 .../jetbrains/kotlin/compiler/plugin/CommandLineProcessor.kt  | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/compiler/plugin-api/src/org/jetbrains/kotlin/compiler/plugin/CommandLineProcessor.kt b/compiler/plugin-api/src/org/jetbrains/kotlin/compiler/plugin/CommandLineProcessor.kt
index d68212b1fd5..61c5341e1fb 100644
--- a/compiler/plugin-api/src/org/jetbrains/kotlin/compiler/plugin/CommandLineProcessor.kt
+++ b/compiler/plugin-api/src/org/jetbrains/kotlin/compiler/plugin/CommandLineProcessor.kt
@@ -34,4 +34,8 @@ public trait CommandLineProcessor {
 
     [throws(javaClass<CliOptionProcessingException>())]
     public fun processOption(option: CliOption, value: String, configuration: CompilerConfiguration)
+}
+
+public fun getPluginOptionString(pluginId: String, key: String, value: String): String {
+    return "plugin:$pluginId:$key=$value"
 }
\ No newline at end of file