Codebase list jd-gui / 0af4a626-0b34-4685-a8a4-c18e8bd66f2d/upstream app / src / main / java / org / jd / gui / model / history / History.java
0af4a626-0b34-4685-a8a4-c18e8bd66f2d/upstream

Tree @0af4a626-0b34-4685-a8a4-c18e8bd66f2d/upstream (Download .tar.gz)

History.java @0af4a626-0b34-4685-a8a4-c18e8bd66f2d/upstreamraw · history · blame

/*
 * Copyright (c) 2008-2019 Emmanuel Dupuy.
 * This project is distributed under the GPLv3 license.
 * This is a Copyleft license that gives the user the right to use,
 * copy and modify the code freely for non-commercial purposes.
 */

package org.jd.gui.model.history;

import java.net.URI;
import java.util.ArrayList;

public class History {
    protected URI            current = null;
    protected ArrayList<URI> backward = new ArrayList<>();
    protected ArrayList<URI> forward = new ArrayList<>();

    public void add(URI uri) {
        if (current == null) {
            // Init history
            forward.clear();
            current = uri;
            return;
        }

        if (current.equals(uri)) {
            // Already stored -> Nothing to do
            return;
        }

        if (uri.getPath().toString().equals(current.getPath().toString())) {
            if ((uri.getFragment() == null) && (uri.getQuery() == null)) {
                // Ignore
            } else if ((current.getFragment() == null) && (current.getQuery() == null)) {
                // Replace current URI
                current = uri;
            } else {
                // Store URI
                forward.clear();
                backward.add(current);
                current = uri;
            }
            return;
        }

        if (uri.toString().startsWith(current.toString())) {
            // Replace current URI
            current = uri;
            return;
        }

        if (current.toString().startsWith(uri.toString())) {
            // Parent URI -> Nothing to do
            return;
        }

        // Store URI
        forward.clear();
        backward.add(current);
        current = uri;
    }

    public URI backward() {
        if (! backward.isEmpty()) {
            forward.add(current);
            int size = backward.size();
            current = backward.remove(size-1);
        }
        return current;
    }

    public URI forward() {
        if (! forward.isEmpty()) {
            backward.add(current);
            int size = forward.size();
            current = forward.remove(size-1);
        }
        return current;
    }

    public boolean canBackward() { return !backward.isEmpty(); }
    public boolean canForward() { return !forward.isEmpty(); }
}