RoutePolicyBooleanOr.java

package org.batfish.representation.cisco;

import java.util.List;

import org.batfish.datamodel.Configuration;
import org.batfish.datamodel.routing_policy.expr.BooleanExpr;
import org.batfish.datamodel.routing_policy.expr.Disjunction;
import org.batfish.common.Warnings;

public class RoutePolicyBooleanOr extends RoutePolicyBoolean {

   private static final long serialVersionUID = 1L;
   private RoutePolicyBoolean _left;
   private RoutePolicyBoolean _right;

   public RoutePolicyBooleanOr(RoutePolicyBoolean left,
         RoutePolicyBoolean right) {
      _left = left;
      _right = right;
   }

   public RoutePolicyBoolean getLeft() {
      return _left;
   }

   public RoutePolicyBoolean getRight() {
      return _right;
   }

   @Override
   public BooleanExpr toBooleanExpr(CiscoConfiguration cc, Configuration c,
         Warnings w) {
      Disjunction disj = new Disjunction();
      BooleanExpr left = _left.toBooleanExpr(cc, c, w);
      BooleanExpr right = _right.toBooleanExpr(cc, c, w);
      List<BooleanExpr> disjuncts = disj.getDisjuncts();
      disjuncts.add(left);
      disjuncts.add(right);
      return disj.simplify();
   }

}