RenderState.java

Go to the documentation of this file.

/*
 * This file is part of JXClient, the Fullscreen Java Crossfire Client.
 *
 * JXClient is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * JXClient 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 General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with JXClient; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
 *
 * Copyright (C) 2005-2008 Yann Chachkoff
 * Copyright (C) 2006-2017,2019-2023 Andreas Kirschbaum
 * Copyright (C) 2010-2012,2014-2018,2020-2023 Nicolas Weeger
 */
 
package com.realtime.crossfire.jxclient.gui.log;
 
import java.util.Collection;
import org.jetbrains.annotations.NotNull;
 
public class RenderState {
 
    @NotNull
    private final Object sync = new Object();
 
    private int height = 1;
 
    private int topIndex;
 
    private int topOffset = -height;
 
    private int scrollPos;
 
    private boolean canScrollUp;
 
    private boolean canScrollDown;
 
    private boolean mustRepaint = true;
 
    public void setHeight(@NotNull final Buffer buffer, final int h) {
        final int bufferHeight = buffer.getTotalHeight();
        synchronized (sync) {
            final int oldHeight = height;
            height = h;
            if (bufferHeight <= height) {
                scrollPos = 0;
                topIndex = 0;
                topOffset = 0;
                canScrollUp = false;
                canScrollDown = false;
            } else if (topOffset < 0 || scrollPos > bufferHeight-height || scrollPos == bufferHeight-oldHeight) {
                scrollToBottom(buffer);
            }
        }
    }
 
    public void update(@NotNull final Buffer buffer, final int oldBufferHeight) {
        final int bufferHeight = buffer.getTotalHeight();
        synchronized (sync) {
            if (bufferHeight <= height) {
                scrollPos = 0;
                topIndex = 0;
                topOffset = 0;
                canScrollUp = false;
                canScrollDown = false;
            } else if (topOffset < 0 || scrollPos > bufferHeight-height || scrollPos == oldBufferHeight-height) {
                scrollToBottom(buffer);
            }
            mustRepaint = true;
        }
    }
 
    public void linesAdded(@NotNull final Buffer buffer) {
        synchronized (sync) {
            if (topOffset < 0) {
                scrollToBottom(buffer);
            } else if (!canScrollDown) {
                scrollToBottom(buffer);
                mustRepaint = true;
            } else {
                mustRepaint = true;
            }
        }
    }
 
    public void linesReplaced(@NotNull final Buffer buffer) {
        synchronized (sync) {
            if (topOffset < 0 || !canScrollDown) {
                scrollToBottom(buffer);
            }
            mustRepaint = true;
        }
    }
 
    public void linesRemoved(@NotNull final Buffer buffer, @NotNull final Collection<Line> lines) {
        final int bufferHeight = buffer.getTotalHeight();
        synchronized (sync) {
            if (bufferHeight <= height) {
                scrollPos = 0;
                topIndex = 0;
                topOffset = 0;
                canScrollUp = false;
                canScrollDown = false;
                mustRepaint = true;
            } else {
                for (Line line : lines) {
                    scrollPos -= line.getHeight();
                }
                topIndex -= lines.size();
                if (scrollPos < 0) {
                    scrollPos = 0;
                    topIndex = 0;
                    topOffset = 0;
                    canScrollUp = false;
                    mustRepaint = true;
                } else {
                    assert topIndex >= 0;
                    // canScrollUp is unaffected
                }
                // canScrollDown is unaffected
            }
        }
    }
 
    public int getHeight() {
        synchronized (sync) {
            return height;
        }
    }
 
    public int getTopIndex() {
        synchronized (sync) {
            return topIndex;
        }
    }
 
    public int getTopOffset() {
        synchronized (sync) {
            return topOffset;
        }
    }
 
    public int getScrollPos() {
        synchronized (sync) {
            return scrollPos;
        }
    }
 
    public boolean canScrollUp() {
        synchronized (sync) {
            return canScrollUp;
        }
    }
 
    public boolean canScrollDown() {
        synchronized (sync) {
            return canScrollDown;
        }
    }
 
    public boolean mustRepaint() {
        synchronized (sync) {
            final boolean result = mustRepaint;
            mustRepaint = false;
            return result;
        }
    }
 
    public void scrollTo(@NotNull final Buffer buffer, final int y) {
        final int bufferHeight = buffer.getTotalHeight();
        synchronized (sync) {
            if (bufferHeight > height) {
                scrollPos = Math.max(Math.min(y, bufferHeight-height), 0);
                topIndex = 0;
                int yPos = scrollPos;
                while (yPos > 0) {
                    final int lineHeight = buffer.getLine(topIndex).getHeight();
                    if (yPos < lineHeight) {
                        break;
                    }
 
                    yPos -= lineHeight;
                    topIndex++;
                }
                assert yPos >= 0;
                topOffset = yPos;
                canScrollUp = topIndex > 0 || topOffset > 0;
                canScrollDown = y+height < bufferHeight;
                //} else {
                // ignore
            }
        }
    }
 
    public void scrollToBottom(@NotNull final Buffer buffer) {
        final int bufferHeight = buffer.getTotalHeight();
        synchronized (sync) {
            if (bufferHeight <= height) {
                scrollPos = 0;
                topIndex = 0;
                topOffset = 0;
                canScrollUp = false;
            } else {
                scrollPos = bufferHeight-height;
                topIndex = buffer.size();
                int y = height;
                while (y > 0) {
                    topIndex--;
                    assert topIndex >= 0;
                    y -= buffer.getLine(topIndex).getHeight();
                }
                topOffset = -y;
                canScrollUp = topIndex > 0 || topOffset > 0;
            }
            canScrollDown = false;
        }
    }
 
}