1 package org.simantics.scl.compiler.elaboration.chr.ast;
3 import java.util.ArrayList;
5 import org.simantics.scl.compiler.elaboration.chr.CHRLiteral;
6 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
8 public class CHRAstNegation extends CHRAstQuery {
9 public CHRAstQuery subquery;
11 public CHRAstNegation(CHRAstQuery subquery) {
12 this.subquery = subquery;
16 public void accept(CHRAstQueryVisitor visitor) {
21 protected void translate(TranslationContext context, boolean isHead, ArrayList<CHRLiteral> literals) {
22 context.getCompilationContext().errorLog.log(location, "CHR negation is not yet supported.");