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

Another type assumption parser test

Browse Source
This commit is contained in:
Arne Keller 2021-06-29 14:50:42 +02:00
parent 602f6e04c4
commit 5a79fc64de
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/test/java/edu/kit/typicalc/model/parser/TypeAssumptionParserTest.java
View File

@ -212,6 +212,21 @@ class TypeAssumptionParserTest {
), quantified), assumption.getValue());
}
@Test
void usefulErrors() {
TypeAssumptionParser parser = new TypeAssumptionParser();
Map<String, String> assumptions = new HashMap<>();
assumptions.put("id", "∀ t1");
Result<Map<VarTerm, TypeAbstraction>, ParseError> type = parser.parse(assumptions);
assertTrue(type.isError());
ParseError error = type.unwrapError();
assertEquals(ParseError.TOO_FEW_TOKENS, error);
Collection<Token.TokenType> expected = error.getExpected().get();
assertEquals(1, expected.size());
assertTrue(expected.contains(Token.TokenType.DOT));
// TODO: should also expect a comma, once the parser is fixed!
}
@Test
void errors() {
Map<String, ParseError> tests = new HashMap<>();