org.crsh.text.ui.RowLineRenderer Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of crash.shell Show documentation
The Shell module
The newest version!
/*
 * Copyright (C) 2012 eXo Platform SAS.
 *
 * This is free software; you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License as
 * published by the Free Software Foundation; either version 2.1 of
 * the License, or (at your option) any later version.
 *
 * This software 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
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this software; if not, write to the Free
 * Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
 * 02110-1301 USA, or see the FSF site: http://www.fsf.org.
 */

package org.crsh.text.ui;

import org.crsh.text.LineReader;
import org.crsh.text.LineRenderer;
import org.crsh.text.RenderAppendable;
import org.crsh.text.Style;

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

class RowLineRenderer extends LineRenderer {

  /** . */
  private final List cols;

  /** . */
  private final Style.Composite style;

  /** . */
  final int leftCellPadding;

  /** . */
  final int rightCellPadding;

  /** . */
  private final BorderStyle separator;

  RowLineRenderer(RowElement row, BorderStyle separator, int leftCellPadding, int rightCellPadding) {

    List cols = new ArrayList(row.cols.size());
    for (Element col : row.cols) {
      cols.add(col.renderer());
    }

    //
    this.cols = cols;
    this.style = row.getStyle();
    this.separator = separator;
    this.leftCellPadding = leftCellPadding;
    this.rightCellPadding = rightCellPadding;
  }

  int getSize() {
    return cols.size();
  }

  public List getCols() {
    return cols;
  }

  @Override
  public int getActualWidth() {
    int actualWidth = 0;
    for (int i = 0;i < cols.size();i++) {
      LineRenderer col = cols.get(i);
      actualWidth += col.getActualWidth();
      actualWidth += leftCellPadding;
      actualWidth += rightCellPadding;
      if (separator != null && i > 0) {
        actualWidth++;
      }
    }
    return actualWidth;
  }

  @Override
  public int getMinWidth() {
    int minWidth = 0;
    for (int i = 0;i < cols.size();i++) {
      LineRenderer col = cols.get(i);
      minWidth += col.getMinWidth();
      minWidth += leftCellPadding;
      minWidth += rightCellPadding;
      if (separator != null && i > 0) {
        minWidth++;
      }
    }
    return minWidth;
  }

  @Override
  public int getActualHeight(int width) {
    int actualHeight = 0;
    for (LineRenderer col : cols) {
      actualHeight = Math.max(actualHeight, col.getActualHeight(width));
    }
    return actualHeight;
  }

  @Override
  public int getMinHeight(int width) {
    int minHeight = 0;
    for (LineRenderer col : cols) {
      minHeight = Math.max(minHeight, col.getMinHeight(width));
    }
    return minHeight;
  }

  // todo look at :
  // if (i > 0) {
  // to.append(b.horizontal);
  // }
  // in relation to widths array that can contain (should?) 0 value
  LineReader renderer(final int[] widths, int height) {
    final LineReader[] readers = new LineReader[widths.length];
    for (int i = 0;i < readers.length;i++) {
      LineRenderer renderer = cols.get(i);
      LineReader reader = renderer.reader(widths[i] - leftCellPadding - rightCellPadding, height);
      readers[i] = reader;
    }

    //
    return new LineReader() {

      /** . */
      private boolean done = false;

      public boolean hasLine() {
        return !done;
      }

      public void renderLine(RenderAppendable to) {
        if (!hasLine()) {
          throw new IllegalStateException();
        }

        //
        if (style != null) {
          to.enterStyle(style);
        }

        //
        for (int i = 0;i < readers.length;i++) {
          LineReader reader = readers[i];

          //
          if (i > 0) {
            if (separator != null) {
              to.styleOff();
              to.append(separator.vertical);
              to.styleOn();
            }
          }
          if (reader != null && reader.hasLine()) {
            // Left padding
            if (leftCellPadding > 0) {
              for (int j = 0;j < leftCellPadding;j++) {
                to.append(' ');
              }
            }
            reader.renderLine(to);
            // Right padding
            if (rightCellPadding > 0) {
              for (int j = 0;j < rightCellPadding;j++) {
                to.append(' ');
              }
            }
          } else {
            readers[i] = null;
            for (int j = widths[i];j > 0;j--) {
              to.append(' ');
            }
          }
        }

        //
        if (style != null) {
          to.leaveStyle();
        }


        // Update status
        done = true;
        for (LineReader reader : readers) {
          if (reader != null) {
            if (reader.hasLine()) {
              done = false;
              break;
            }
          }
        }
      }
    };
  }

  @Override
  public LineReader reader(int width) {
    int[] widths = new int[cols.size()];
    int[] minWidths = new int[cols.size()];
    for (int i = 0;i < cols.size();i++) {
      LineRenderer renderable = cols.get(i);
      widths[i] = Math.max(widths[i], renderable.getActualWidth());
      minWidths[i] = Math.max(minWidths[i], renderable.getMinWidth());
    }
    widths = Layout.flow().compute(false, width, widths, minWidths);
    if (widths == null) {
      return null;
    } else {
      // Size could be smaller and lead to ArrayIndexOutOfBounds later
      widths = Arrays.copyOf(widths, minWidths.length);
      return renderer(widths, -1);
    }
  }
}