public final class Bookmark
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.io.File |
m_file |
int |
m_move |
java.lang.String |
m_name |
java.lang.String |
m_variation |
Constructor and Description |
---|
Bookmark(Bookmark bookmark) |
Bookmark(java.io.File file,
int move,
java.lang.String variation) |
Bookmark(java.lang.String name,
java.io.File file,
int move,
java.lang.String variation) |
Modifier and Type | Method and Description |
---|---|
void |
copyFrom(Bookmark bookmark) |
static java.util.ArrayList<Bookmark> |
load() |
static void |
save(java.util.ArrayList<Bookmark> bookmarks) |
public int m_move
public java.io.File m_file
public java.lang.String m_name
public java.lang.String m_variation
public Bookmark(Bookmark bookmark)
public Bookmark(java.lang.String name, java.io.File file, int move, java.lang.String variation)
public Bookmark(java.io.File file, int move, java.lang.String variation)