com.redhat.lightblue.assoc.qrew.rules.EliminateNOTOR Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of crud Show documentation
The newest version!
/*
 Copyright 2013 Red Hat, Inc. and/or its affiliates.

 This file is part of lightblue.

 This program is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation, either version 3 of the License, or
 (at your option) any later version.

 This program is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU General Public License for more details.

 You should have received a copy of the GNU General Public License
 along with this program.  If not, see .
 */
package com.redhat.lightblue.assoc.qrew.rules;

import java.util.List;
import java.util.ArrayList;

import com.redhat.lightblue.query.QueryExpression;
import com.redhat.lightblue.query.UnaryLogicalExpression;
import com.redhat.lightblue.query.UnaryLogicalOperator;
import com.redhat.lightblue.query.NaryLogicalExpression;
import com.redhat.lightblue.query.NaryLogicalOperator;

import com.redhat.lightblue.assoc.qrew.Rewriter;

/**
 * If 
 *  *   q={$not:{$or:[q1,q2,...]}}
 * 
 * this rewrites q as
 *  *   q={$and:{$not:{q1},$not:{q2}...}}
 * 
 */
public class EliminateNOTOR extends Rewriter {

    public static final Rewriter INSTANCE=new EliminateNOTOR();

    @Override
    public QueryExpression rewrite(QueryExpression q) {
        UnaryLogicalExpression le=dyncast(UnaryLogicalExpression.class,q);
        if(le!=null&&le.getOp()==UnaryLogicalOperator._not) {
            NaryLogicalExpression oreq=dyncast(NaryLogicalExpression.class,le.getQuery());
            if(oreq!=null&&oreq.getOp()==NaryLogicalOperator._or) {
                List newList=new ArrayList<>(oreq.getQueries().size());
                for(QueryExpression x:oreq.getQueries())
                    newList.add(new UnaryLogicalExpression(UnaryLogicalOperator._not,x));
                return new NaryLogicalExpression(NaryLogicalOperator._and,newList);
            }
        }
        return q;
    }
}