Commit 963b9550 authored by Alexander Weigl's avatar Alexander Weigl
Browse files

fix NPE in KeyIO.Loader

parent d10f778b
......@@ -212,9 +212,15 @@ public class KeyIO {
if (ctx.isEmpty()) parseFile();
loadDeclarations();
loadSndDegreeDeclarations();
activateLDT();
return loadTaclets();
}
private void activateLDT() {
services.getTypeConverter().init();
}
public ProblemFinder loadCompleteProblem() throws IOException {
if (ctx.isEmpty()) parseFile();
loadDeclarations();
......
......@@ -1330,7 +1330,8 @@ public class ExpressionBuilder extends DefaultBuilder {
} else if (ctxSuffix instanceof KeYParser.Attribute_simpleContext) {
KeYParser.Attribute_simpleContext attrid = (KeYParser.Attribute_simpleContext) ctxSuffix;
String memberName = attrid.id.getText();
if (current.sort() == getServices().getTypeConverter().getSeqLDT().targetSort()) {
Sort seqSort = lookupSort("Seq");
if (current.sort() == seqSort) {
if ("length".equals(memberName)) {
return getServices().getTermBuilder().seqLen(current);
} else {
......
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