Setup klint

Author: DerYeger

.editorconfig

@@ -0,0 +1,2 @@
+[*.{kt,kts}]
+disabled_rules=no-wildcard-imports

.idea/modules/cyk-algorithm.jvmTest.iml

@@ -1,6 +1,11 @@
+val kotlinResultVersion: String by project
+
 plugins {
-    kotlin("multiplatform") version "1.4.10"
+    kotlin("multiplatform")
+    id("org.jetbrains.dokka")
+    id("org.jlleitschuh.gradle.ktlint")
 }
+
 group = "eu.yeger"
 version = "1.0-SNAPSHOT"
 
@@ -40,7 +45,7 @@ kotlin {
 
         val commonMain by getting {
             dependencies {
-                implementation("com.michael-bull.kotlin-result:kotlin-result:1.1.9")
+                implementation("com.michael-bull.kotlin-result:kotlin-result:$kotlinResultVersion")
             }
         }
         val commonTest by getting {

build.gradle.kts

@@ -1,3 +1,8 @@
 kotlin.code.style=official
 kotlin.js.generate.executable.default=false
 kotlin.mpp.stability.nowarn=true
+
+dokkaVersion=1.4.10
+kotlinVersion=1.4.10
+ktlintVersion=9.4.1
+kotlinResultVersion=1.1.9

gradle.properties

@@ -1,3 +1,13 @@
+pluginManagement {
+    val dokkaVersion: String by settings
+    val kotlinVersion: String by settings
+    val ktlintVersion: String by settings
 
-rootProject.name = "cyk-algorithm"
+    plugins {
+        kotlin("multiplatform") version kotlinVersion
+        id("org.jetbrains.dokka") version dokkaVersion
+        id("org.jlleitschuh.gradle.ktlint") version ktlintVersion
+    }
+}
 
+rootProject.name = "cyk-algorithm"

settings.gradle.kts

@@ -46,7 +46,7 @@ private fun CYKModel.findProductionRulesForNonTerminalSymbols(
 ): CYKModel {
     return grammar.productionRuleSet.nonTerminatingRules.fold(this) { model: CYKModel, rule: NonTerminatingRule ->
         when {
-           model.allowsNonTerminalRuleAt(rule, l = l, s = s, p = p) -> model.withSymbolAt(rule.left, l - 1, s - 1)
+            model.allowsNonTerminalRuleAt(rule, l = l, s = s, p = p) -> model.withSymbolAt(rule.left, l - 1, s - 1)
             else -> model
         }
     }
@@ -58,6 +58,6 @@ private fun CYKModel.allowsNonTerminalRuleAt(
     s: Int,
     p: Int,
 ): Boolean {
-    return this.containsSymbolAt(nonTerminatingRule.firstRight, p - 1, s - 1)
-            && this.containsSymbolAt(nonTerminatingRule.secondRight, l - p - 1, s + p - 1)
+    return this.containsSymbolAt(nonTerminatingRule.firstRight, p - 1, s - 1) &&
+        this.containsSymbolAt(nonTerminatingRule.secondRight, l - p - 1, s + p - 1)
 }

src/commonMain/kotlin/eu/yeger/cyk/CYK.kt

@@ -3,7 +3,7 @@ package eu.yeger.cyk
 data class ProductionRuleSet(
     val nonTerminatingRules: Set<NonTerminatingRule>,
     val terminatingRules: Set<TerminatingRule>
-): Set<ProductionRule> by (nonTerminatingRules + terminatingRules)
+) : Set<ProductionRule> by (nonTerminatingRules + terminatingRules)
 
 @Suppress("UNCHECKED_CAST")
 fun productionRuleSet(

src/commonMain/kotlin/eu/yeger/cyk/ProductionRuleSet.kt

@@ -5,7 +5,7 @@ import kotlin.collections.fold
 
 typealias Line = String
 
-private val productionRuleRegex = Regex("[A-Z]+[a-z]* -> ([A-Z]+[a-z]* [A-Z]+[a-z]*|[a-z]+|${epsilon})")
+private val productionRuleRegex = Regex("[A-Z]+[a-z]* -> ([A-Z]+[a-z]* [A-Z]+[a-z]*|[a-z]+|$epsilon)")
 
 fun grammar(startSymbol: String, block: () -> String): Result<Grammar, String> {
     return parseAsGrammar(rulesString = block(), startSymbol = startSymbol)
@@ -63,4 +63,4 @@ private fun List<String>.asTerminatingProductionRule(inputSymbol: NonTerminalSym
         else -> RegularTerminalSymbol(terminalSymbol)
     }
     return Ok(TerminatingRule(inputSymbol, outputSymbol))
-}
+}

src/commonMain/kotlin/eu/yeger/cyk/RuleParser.kt

@@ -18,7 +18,7 @@ data class RegularTerminalSymbol(override val symbol: String) : TerminalSymbol {
 
 interface NonTerminalSymbol : Symbol
 
-data class StartSymbol(override val symbol: String): NonTerminalSymbol {
+data class StartSymbol(override val symbol: String) : NonTerminalSymbol {
     override fun toString() = symbol
 }
 

src/commonMain/kotlin/eu/yeger/cyk/Symbol.kt

@@ -20,8 +20,6 @@ fun word(word: String): Sequence<TerminalSymbol> {
         .asSequence()
 }
 
-
 fun word(block: () -> String): Sequence<TerminalSymbol> {
     return word(block())
 }
-