Commit bb3d81e0 authored by Sarah Grebing's avatar Sarah Grebing

bugfix in type handling

parent 298ba538
Pipeline #21775 passed with stages
in 3 minutes and 56 seconds
...@@ -214,4 +214,4 @@ QUESTION_MARK: '?'; ...@@ -214,4 +214,4 @@ QUESTION_MARK: '?';
DIGITS : DIGIT+ ; DIGITS : DIGIT+ ;
fragment DIGIT : [0-9] ; fragment DIGIT : [0-9] ;
ID : ([a-zA-Z]|'#'|'_') ([_a-zA-Z0-9] | '.' | '\\'| '#')*; ID : ([a-zA-Z]|'#'|'_') ([_a-zA-Z0-9] | '.' | '\\'| '#'|'<'|'>')*;
\ No newline at end of file \ No newline at end of file
...@@ -15,7 +15,8 @@ public final class TypeFacade { ...@@ -15,7 +15,8 @@ public final class TypeFacade {
} }
if (symbol.toLowerCase().startsWith("term<") && symbol.endsWith(">")) { if (symbol.toLowerCase().startsWith("term<") && symbol.endsWith(">")) {
TermType tt = new TermType(); TermType tt = new TermType();
String n = symbol.substring(6, symbol.length() - 2); //get the termtype
String n = symbol.substring(5, symbol.length() - 1);
for (String term : n.split(",")) { for (String term : n.split(",")) {
tt.getArgTypes().add(findType(term)); tt.getArgTypes().add(findType(term));
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment