KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > j > WebHistory


1 /*
2  * WebHistory.java
3  *
4  * Copyright (C) 1998-2002 Peter Graves
5  * $Id: WebHistory.java,v 1.1.1.1 2002/09/24 16:08:48 piso Exp $
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20  */
21
22 package org.armedbear.j;
23
24 import java.util.Vector JavaDoc;
25
26 public final class WebHistory
27 {
28     private Vector JavaDoc v = new Vector JavaDoc();
29     private int index = -1;
30
31     public WebHistory()
32     {
33     }
34
35     public boolean atEnd()
36     {
37         return index == -1;
38     }
39
40     public void truncate()
41     {
42         if (index >= 0)
43             v.setSize(index);
44     }
45
46     public void append(File file, int offset, String JavaDoc contentType)
47     {
48         v.add(new WebHistoryEntry(file, offset, contentType));
49     }
50
51     public WebHistoryEntry getPrevious()
52     {
53         if (v.size() == 0)
54             return null;
55         if (index < 0)
56             index = v.size();
57         if (index > 0)
58             return (WebHistoryEntry) v.get(--index);
59         return null;
60     }
61
62     public WebHistoryEntry getNext()
63     {
64         if (v.size() == 0)
65             return null;
66         if (index < 0)
67             return null;
68         if (index < v.size()-1)
69             return (WebHistoryEntry) v.get(++index);
70         return null;
71     }
72
73     public WebHistoryEntry getCurrent()
74     {
75         if (index >= 0 && index < v.size())
76             return (WebHistoryEntry) v.get(index);
77         return null;
78     }
79
80     public void reset()
81     {
82         index = -1;
83     }
84 }
85
Popular Tags