]> gerrit.simantics Code Review - simantics/platform.git/blob
b97f1e7f7b5ea5054002f5ef2215e1398142eac6
[simantics/platform.git] /
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 }