rename
This commit is contained in:
parent
3ee6675e72
commit
64168cf050
1 changed files with 2 additions and 2 deletions
|
@ -19,8 +19,8 @@ class AnalyzeTable {
|
||||||
""".trimIndent()
|
""".trimIndent()
|
||||||
)
|
)
|
||||||
|
|
||||||
constructor(lang: String, _s: String? = null) {
|
constructor(lang: String, startSym: String? = null) {
|
||||||
start = _s ?: lang.trim()[0].toString()
|
start = startSym ?: lang.trim()[0].toString()
|
||||||
|
|
||||||
val newLang = if ("::=" in lang) { // 换成一个符号方便
|
val newLang = if ("::=" in lang) { // 换成一个符号方便
|
||||||
lang.replace("::=", "->")
|
lang.replace("::=", "->")
|
||||||
|
|
Loading…
Reference in a new issue