package org.simantics.scl.compiler.elaboration.chr.ast;

import java.util.ArrayList;

import org.simantics.scl.compiler.elaboration.chr.CHRLiteral;
import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;

public class CHRAstNegation extends CHRAstQuery {
    public CHRAstQuery subquery;
    
    public CHRAstNegation(CHRAstQuery subquery) {
        this.subquery = subquery;
    }

    @Override
    public void accept(CHRAstQueryVisitor visitor) {
        visitor.visit(this);
    }

    @Override
    protected void translate(TranslationContext context, CHRQueryTranslationMode mode, ArrayList<CHRLiteral> literals) {
        context.getCompilationContext().errorLog.log(location, "CHR negation is not yet supported.");
    }
}