CollapsedComplexExprPrinter.java

package org.batfish.z3.node;

import java.util.List;

public class CollapsedComplexExprPrinter extends ComplexExprPrinter {

   public CollapsedComplexExprPrinter(ComplexExpr expr) {
      super(expr);
   }

   @Override
   public void print(StringBuilder sb, int indent) {
      List<Expr> subExpressions = _expr.getSubExpressions();
      sb.append("(");
      int size = subExpressions.size();
      if (size > 0) {
         subExpressions.get(0).print(sb, indent);
         for (int i = 1; i < size; i++) {
            sb.append(" ");
            subExpressions.get(i).print(sb, indent);
         }
         Expr lastSubExpression = subExpressions.get(size - 1);
         if (lastSubExpression instanceof ComplexExpr) {
            sb.append(" ");
         }
      }
      sb.append(")");
   }

}