-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #352 from alephium/var_decl
`VariableDeclarationParser` & `AssignmentSpec`
- Loading branch information
Showing
13 changed files
with
388 additions
and
25 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
26 changes: 26 additions & 0 deletions
26
.../scala/org/alephium/ralph/lsp/access/compiler/parser/soft/VariableDeclarationParser.scala
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,26 @@ | ||
| package org.alephium.ralph.lsp.access.compiler.parser.soft | ||
|
|
||
| import fastparse._ | ||
| import fastparse.NoWhitespace.noWhitespaceImplicit | ||
| import org.alephium.ralph.lsp.access.compiler.message.SourceIndexExtra.range | ||
| import org.alephium.ralph.lsp.access.compiler.parser.soft.ast.SoftAST | ||
|
|
||
| private object VariableDeclarationParser { | ||
|
|
||
| /** Syntax: let mut variable = some_expression */ | ||
| def parseOrFail[Unknown: P]: P[SoftAST.VariableDeclaration] = | ||
| P { | ||
| Index ~ | ||
| AssignmentAccessModifierParser.parseOrFail.rep(1) ~ | ||
| AssignmentParser.parseOrFail ~ | ||
| Index | ||
| } map { | ||
| case (from, modifier, assignment, to) => | ||
| SoftAST.VariableDeclaration( | ||
| index = range(from, to), | ||
| modifiers = modifier, | ||
| assignment = assignment | ||
| ) | ||
| } | ||
|
|
||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
143 changes: 143 additions & 0 deletions
143
...ss/src/test/scala/org/alephium/ralph/lsp/access/compiler/parser/soft/AssignmentSpec.scala
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,143 @@ | ||
| // Copyright 2024 The Alephium Authors | ||
| // This file is part of the alephium project. | ||
| // | ||
| // The library is free software: you can redistribute it and/or modify | ||
| // it under the terms of the GNU Lesser General Public License as published by | ||
| // the Free Software Foundation, either version 3 of the License, or | ||
| // (at your option) any later version. | ||
| // | ||
| // The library is distributed in the hope that it will be useful, | ||
| // but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
| // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | ||
| // GNU Lesser General Public License for more details. | ||
| // | ||
| // You should have received a copy of the GNU Lesser General Public License | ||
| // along with the library. If not, see http://www.gnu.org/licenses/. | ||
|
|
||
| package org.alephium.ralph.lsp.access.compiler.parser.soft | ||
|
|
||
| import org.alephium.ralph.lsp.access.compiler.parser.soft.TestParser._ | ||
| import org.alephium.ralph.lsp.access.compiler.parser.soft.ast.SoftAST | ||
| import org.alephium.ralph.lsp.access.compiler.parser.soft.ast.TestSoftAST._ | ||
| import org.alephium.ralph.lsp.access.util.TestCodeUtil._ | ||
| import org.scalatest.matchers.should.Matchers | ||
| import org.scalatest.wordspec.AnyWordSpec | ||
|
|
||
| class AssignmentSpec extends AnyWordSpec with Matchers { | ||
|
|
||
| "assignments to an identifier" should { | ||
| "report ExpressionExpected" when { | ||
| "a variable is assigned without initialisation" in { | ||
| val assignment = | ||
| parseAssignment("variable =") | ||
|
|
||
| assignment shouldBe | ||
| SoftAST.Assignment( | ||
| index = indexOf(">>variable =<<"), | ||
| expressionLeft = Identifier(indexOf(">>variable<<="), "variable"), | ||
| postIdentifierSpace = Some(SpaceOne(indexOf("variable>> <<="))), | ||
| equalToken = Equal(indexOf("variable >>=<<")), | ||
| postEqualSpace = None, | ||
| expressionRight = SoftAST.ExpressionExpected(indexOf("variable =>><<")) | ||
| ) | ||
| } | ||
| } | ||
|
|
||
| "succeed" when { | ||
| "full assignment syntax is defined" in { | ||
| val assigment = | ||
| parseAssignment("variable = 1") | ||
|
|
||
| assigment shouldBe | ||
| SoftAST.Assignment( | ||
| index = indexOf(">>variable = 1<<"), | ||
| expressionLeft = Identifier(indexOf(">>variable<< = 1"), "variable"), | ||
| postIdentifierSpace = Some(SpaceOne(indexOf("variable>> <<= 1"))), | ||
| equalToken = Equal(indexOf("variable >>=<< 1")), | ||
| postEqualSpace = Some(SpaceOne(indexOf("variable =>> <<1"))), | ||
| expressionRight = Number(indexOf("variable = >>1<<"), "1") | ||
| ) | ||
| } | ||
|
|
||
| "expression is another expression" in { | ||
| val assigment = | ||
| parseAssignment("variable = variable + 1") | ||
|
|
||
| assigment shouldBe | ||
| SoftAST.Assignment( | ||
| index = indexOf(">>variable = variable + 1<<"), | ||
| expressionLeft = Identifier(indexOf(">>variable<< = variable + 1"), "variable"), | ||
| postIdentifierSpace = Some(SpaceOne(indexOf("variable>> <<= variable + 1"))), | ||
| equalToken = Equal(indexOf("variable >>=<< variable + 1")), | ||
| postEqualSpace = Some(SpaceOne(indexOf("variable =>> << variable + 1"))), | ||
| expressionRight = SoftAST.InfixExpression( | ||
| index = indexOf("variable = >>variable + 1<<"), | ||
| leftExpression = Identifier(indexOf("variable = >>variable<< + 1"), "variable"), | ||
| preOperatorSpace = Some(SpaceOne(indexOf("variable = variable>> <<+ 1"))), | ||
| operator = Plus(indexOf("variable = variable >>+<< 1")), | ||
| postOperatorSpace = Some(SpaceOne(indexOf("variable = variable +>> <<1"))), | ||
| rightExpression = Number(indexOf("variable = variable + >>1<<"), "1") | ||
| ) | ||
| ) | ||
| } | ||
| } | ||
| } | ||
|
|
||
| "assignments to an expression" should { | ||
| "succeed" when { | ||
| "left expression is a method call" in { | ||
| val assignment = | ||
| parseAssignment("obj.func(param).counter = 0") | ||
|
|
||
| // left expression is a method call | ||
| val methodCall = assignment.expressionLeft.asInstanceOf[SoftAST.MethodCall] | ||
| methodCall.index shouldBe indexOf(">>obj.func(param).counter<< = 0") | ||
| val objectName = methodCall.leftExpression.asInstanceOf[SoftAST.Identifier] | ||
| objectName.code.text shouldBe "obj" | ||
|
|
||
| // right expression is a number | ||
| val number = assignment.expressionRight.asInstanceOf[SoftAST.Number] | ||
| number shouldBe | ||
| Number( | ||
| index = indexOf("obj.func(param).counter = >>0<<"), | ||
| text = "0" | ||
| ) | ||
| } | ||
|
|
||
| "left & right expressions both are method call" in { | ||
| val assignment = | ||
| parseAssignment("obj.func(param).counter = cache.getNumber()") | ||
|
|
||
| // left expression is a method call | ||
| val left = assignment.expressionLeft.asInstanceOf[SoftAST.MethodCall] | ||
| left.index shouldBe indexOf(">>obj.func(param).counter<< = cache.getNumber()") | ||
| val objectName = left.leftExpression.asInstanceOf[SoftAST.Identifier] | ||
| objectName.code.text shouldBe "obj" | ||
|
|
||
| // right expression is also a method call | ||
| val right = assignment.expressionRight.asInstanceOf[SoftAST.MethodCall] | ||
| right.index shouldBe indexOf("obj.func(param).counter = >>cache.getNumber()<<") | ||
| val cacheObject = right.leftExpression.asInstanceOf[SoftAST.Identifier] | ||
| cacheObject.code.text shouldBe "cache" | ||
| } | ||
| } | ||
|
|
||
| "report missing expression" when { | ||
| "left expression is a method call and right expression is missing" in { | ||
| val assignment = | ||
| parseAssignment("obj.func(param).counter =") | ||
|
|
||
| // left expression is a method call | ||
| val methodCall = assignment.expressionLeft.asInstanceOf[SoftAST.MethodCall] | ||
| methodCall.index shouldBe indexOf(">>obj.func(param).counter<< = 0") | ||
| val objectName = methodCall.leftExpression.asInstanceOf[SoftAST.Identifier] | ||
| objectName.code.text shouldBe "obj" | ||
|
|
||
| // right expression is a number | ||
| assignment.expressionRight shouldBe | ||
| SoftAST.ExpressionExpected(indexOf("obj.func(param).counter =>><<")) | ||
| } | ||
| } | ||
| } | ||
|
|
||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.