arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add test for #2

Browse Source
This commit is contained in:
Arne Keller 2021-07-10 12:28:13 +02:00
parent f3f3bbb77d
commit 660fe2b5d1
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/test/java/edu/kit/typicalc/model/parser/LambdaParserTest.java
View File

@ -229,8 +229,21 @@ class LambdaParserTest {
assertEquals(ExpectedInput.TERM, error.getExpectedInput().get()); assertEquals(ExpectedInput.TERM, error.getExpectedInput().get());
} }
@Test
void errorCase3() {
ParseError err = getParseError("let k = λx.λy.x in .k k w");
assertEquals(TokenType.DOT, err.getCause().get().getType());
assertEquals(19, err.getCause().get().getPos());
assertEquals(ExpectedInput.TERM, err.getExpectedInput().get());
}
@Test @Test
void equality() { void equality() {
EqualsVerifier.forClass(Token.class).usingGetClass().verify(); EqualsVerifier.forClass(Token.class).usingGetClass().verify();
} }
static ParseError getParseError(String term) {
LambdaParser parser = new LambdaParser(term);
return parser.parse().unwrapError();
}
} }