From 9273b0cd8d7531b24b778b7c2ef9f80ba582ee0c Mon Sep 17 00:00:00 2001 From: Ilya Chernikov Date: Sat, 9 Apr 2016 14:28:40 +0200 Subject: [PATCH] Add config loader from stream --- .../kotlin/script/KotlinScriptConfigurationManager.kt | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/compiler/frontend/src/org/jetbrains/kotlin/script/KotlinScriptConfigurationManager.kt b/compiler/frontend/src/org/jetbrains/kotlin/script/KotlinScriptConfigurationManager.kt index 4534ce9e7d4..952a81ffa90 100644 --- a/compiler/frontend/src/org/jetbrains/kotlin/script/KotlinScriptConfigurationManager.kt +++ b/compiler/frontend/src/org/jetbrains/kotlin/script/KotlinScriptConfigurationManager.kt @@ -33,6 +33,7 @@ import org.jetbrains.kotlin.parsing.KotlinParserDefinition import org.jetbrains.kotlin.psi.KtScript import org.jetbrains.kotlin.types.KotlinType import java.io.File +import java.io.InputStream import java.io.StringWriter import java.util.* @@ -60,6 +61,14 @@ fun loadScriptDefinitionsFromConfig(configFile: File): List = + JDOMUtil.loadDocument(configStream).rootElement.children.mapNotNull { + XmlSerializer.deserialize(it, KotlinScriptConfig::class.java)?.let { + KotlinConfigurableScriptDefinition(it) + } + } + @Suppress("unused") fun generateSampleScriptConfig(): String {