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) |
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)