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

More tests for #9

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

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

@ -212,6 +212,23 @@ class LambdaParserTest {
assertTrue(error.getExpected().get().contains(TokenType.VARIABLE));
}
@Test
void doesntAcceptEmptyParens() {
LambdaParser parser = new LambdaParser("()");
ParseError error = parser.parse().unwrapError();
assertEquals(TokenType.RIGHT_PARENTHESIS, error.getCause().get().getType());
assertEquals(ExpectedInput.TERM, error.getExpectedInput().get());
}
@Test
void errorCase2() {
LambdaParser parser = new LambdaParser(")()");
ParseError error = parser.parse().unwrapError();
assertEquals(TokenType.RIGHT_PARENTHESIS, error.getCause().get().getType());
assertEquals(0, error.getCause().get().getPos());
assertEquals(ExpectedInput.TERM, error.getExpectedInput().get());
}
@Test
void equality() {
EqualsVerifier.forClass(Token.class).usingGetClass().verify();