bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/ast/CHRAstNegation.java

   1 package org.simantics.scl.compiler.elaboration.chr.ast;
   2
   3 import java.util.ArrayList;
   4
   5 import org.simantics.scl.compiler.elaboration.chr.CHRLiteral;
   6 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
   7
   8 public class CHRAstNegation extends CHRAstQuery {
   9     public CHRAstQuery subquery;
  10
  11     public CHRAstNegation(CHRAstQuery subquery) {
  12         this.subquery = subquery;
  13     }
  14
  15     @Override
  16     public void accept(CHRAstQueryVisitor visitor) {
  17         visitor.visit(this);
  18     }
  19
  20     @Override
  21     protected void translate(TranslationContext context, boolean isHead, ArrayList<CHRLiteral> literals) {
  22         context.getCompilationContext().errorLog.log(location, "CHR negation is not yet supported.");
  23     }
  24 }