Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add "(not) exists" expression #670

Draft
wants to merge 12 commits into
base: master
Choose a base branch
from
Prev Previous commit
Next Next commit
Fix '(not) exists' building
  • Loading branch information
m-dzianishchyts committed Feb 12, 2024
commit 4155851c0a060b9ddc055f6aa01134b931e10749
Original file line number Diff line number Diff line change
@@ -20,7 +20,7 @@ public ExpExists() {

public ExpExists(Exp subExp) {
this();
jjtAddChild((Node) subExp, 0);
setOperand(0, subExp);
}

/** Accept the visitor. **/
Original file line number Diff line number Diff line change
@@ -20,7 +20,7 @@ public ExpNotExists() {

public ExpNotExists(Exp subExp) {
this();
jjtAddChild((Node) subExp, 0);
setOperand(0, subExp);
}

/** Accept the visitor. **/