Java TerminalSize.ZERO属性代码示例

@Override
public TerminalSize getPreferredSize(List<Component> components) {
    TerminalSize preferredSize = TerminalSize.ZERO;
    if(components.isEmpty()) {
        return preferredSize.withRelative(
                leftMarginSize + rightMarginSize,
                topMarginSize + bottomMarginSize);
    }

    Component[][] table = buildTable(components);
    table = eliminateUnusedRowsAndColumns(table);

    //Figure out each column first, this can be done independently of the row heights
    int preferredWidth = 0;
    int preferredHeight = 0;
    for(int width: getPreferredColumnWidths(table)) {
        preferredWidth += width;
    }
    for(int height: getPreferredRowHeights(table)) {
        preferredHeight += height;
    }
    preferredSize = preferredSize.withRelative(preferredWidth, preferredHeight);
    preferredSize = preferredSize.withRelativeColumns(leftMarginSize + rightMarginSize + (table[0].length - 1) * horizontalSpacing);
    preferredSize = preferredSize.withRelativeRows(topMarginSize + bottomMarginSize + (table.length - 1) * verticalSpacing);
    return preferredSize;
}
 

@Override
public synchronized void updateScreen() throws IOException {
    TerminalSize minimumTerminalSize = TerminalSize.ZERO;
    for(Window window: windows) {
        if(window.getHints().contains(Window.Hint.FULL_SCREEN) ||
                window.getHints().contains(Window.Hint.FIT_TERMINAL_WINDOW)) {
            //Don't take full screen windows or auto-sized windows into account
            continue;
        }
        TerminalPosition lastPosition = window.getPosition();
        minimumTerminalSize = minimumTerminalSize.max(
                //Add position to size to get the bottom-right corner of the window
                window.getPreferredSize().withRelative(lastPosition.getColumn(), lastPosition.getRow()));
    }
    virtualScreen.setMinimumSize(minimumTerminalSize);
    super.updateScreen();
}
 

public AnimatedLabel(String firstFrameText) {
    super(firstFrameText);
    frames = new ArrayList<String[]>();
    currentFrame = 0;
    combinedMaximumPreferredSize = TerminalSize.ZERO;

    String[] lines = splitIntoMultipleLines(firstFrameText);
    frames.add(lines);
    ensurePreferredSize(lines);
}
 

@Override
public TerminalSize getPreferredSize(Border component) {
    StandardBorder border = (StandardBorder)component;
    Component wrappedComponent = border.getComponent();
    TerminalSize preferredSize;
    if (wrappedComponent == null) {
        preferredSize = TerminalSize.ZERO;
    } else {
        preferredSize = wrappedComponent.getPreferredSize();
    }
    preferredSize = preferredSize.withRelativeColumns(2).withRelativeRows(2);
    String borderTitle = border.getTitle();
    return preferredSize.max(new TerminalSize((borderTitle.isEmpty() ? 2 : borderTitle.length() + 4), 2));
}
 

public AbstractComponent() {
    size = TerminalSize.ZERO;
    position = TerminalPosition.TOP_LEFT_CORNER;
    explicitPreferredSize = null;
    layoutData = null;
    invalid = true;
    parent = null;
    renderer = null; //Will be set on the first call to getRenderer()
}
 

@Override
public TerminalSize getPreferredSize(List<Component> components) {
    TerminalSize size = TerminalSize.ZERO;
    for(Component component: components) {
        size = size.max(
                new TerminalSize(
                        component.getPosition().getColumn() + component.getSize().getColumns(),
                        component.getPosition().getRow() + component.getSize().getRows()));
                
    }
    return size;
}
 

public Label(String text) {
    this.lines = null;
    this.preferredSize = TerminalSize.ZERO;
    this.foregroundColor = null;
    this.backgroundColor = null;
    this.additionalStyles = EnumSet.noneOf(SGR.class);
    setText(text);
}
 

protected TerminalSize getBounds(String[] lines, TerminalSize currentBounds) {
    if(currentBounds == null) {
        currentBounds = TerminalSize.ZERO;
    }
    currentBounds = currentBounds.withRows(lines.length);
    int preferredWidth = 0;
    for(String line: lines) {
        int lineWidth = CJKUtils.getTrueWidth(line);
        if(preferredWidth < lineWidth) {
            preferredWidth = lineWidth;
        }
    }
    currentBounds = currentBounds.withColumns(preferredWidth);
    return currentBounds;
}
 

public TerminalSize getSize() {
    if (lookupMap.length==0) { return TerminalSize.ZERO; }
    return new TerminalSize(lookupMap[0].length, lookupMap.length);
}