Skip to content

Commit

Permalink
Drop support for parsing queries from SPIN (part2)
Browse files Browse the repository at this point in the history
Drop support of parseText=false for queries
  • Loading branch information
blcham committed Dec 26, 2024
1 parent 8650033 commit 056139b
Showing 1 changed file with 0 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -103,10 +103,6 @@ public void initializeQuery() {
@Override
protected boolean shouldTerminate(int currentIteration, Model previousInferredModel, Model currentInferredModel) {

if (!parseText) {
throw new IllegalArgumentException("Construct queries with SPIN notations [parseText=false] are not supported as they do not support additions of comments.");
}

if (currentIteration == iterationCount) {
return true;
}
Expand Down

0 comments on commit 056139b

Please sign in to comment.