001 /* 002 * Copyright (C) 2012 eXo Platform SAS. 003 * 004 * This is free software; you can redistribute it and/or modify it 005 * under the terms of the GNU Lesser General Public License as 006 * published by the Free Software Foundation; either version 2.1 of 007 * the License, or (at your option) any later version. 008 * 009 * This software is distributed in the hope that it will be useful, 010 * but WITHOUT ANY WARRANTY; without even the implied warranty of 011 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 012 * Lesser General Public License for more details. 013 * 014 * You should have received a copy of the GNU Lesser General Public 015 * License along with this software; if not, write to the Free 016 * Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 017 * 02110-1301 USA, or see the FSF site: http://www.fsf.org. 018 */ 019 020 package org.crsh.text.ui; 021 022 import org.crsh.text.LineReader; 023 import org.crsh.text.LineRenderer; 024 import org.crsh.util.Pair; 025 026 class LabelLineRenderer extends LineRenderer { 027 028 /** . */ 029 private final LabelElement element; 030 031 LabelLineRenderer(LabelElement element) { 032 this.element = element; 033 } 034 035 @Override 036 public int getMinWidth() { 037 return element.minWidth; 038 } 039 040 @Override 041 public int getActualWidth() { 042 return element.actualWidth; 043 } 044 045 @Override 046 public int getActualHeight(int width) { 047 return element.slicer.lines(width).length; 048 } 049 050 @Override 051 public int getMinHeight(int width) { 052 // For now we don't support cropping 053 return getActualHeight(width); 054 } 055 056 @Override 057 public LineReader reader(int width) { 058 return reader(width, -1); 059 } 060 061 @Override 062 public LineReader reader(final int width, int height) { 063 if (width == 0) { 064 return null; 065 } else { 066 Pair<Integer, Integer>[] lines = element.slicer.lines(width); 067 if (height == -1) { 068 height = lines.length; 069 } 070 if (lines.length > height) { 071 return null; 072 } else { 073 return new LabelReader(element, lines, width, height); 074 } 075 } 076 } 077 }