35 |
*/ |
*/ |
36 |
public class Cursor { |
public class Cursor { |
37 |
|
|
38 |
|
/** The focused node, usually shown in the middle of the screen. "Where you are." |
39 |
|
*/ |
40 |
public Resource focus; |
public Resource focus; |
41 |
public int dir; |
|
42 |
|
/** The 'selected' node, left/right of the focused node. "Where you go." |
43 |
|
* This can be either left or right of the focus. |
44 |
|
*/ |
45 |
public RDFNode rotation; |
public RDFNode rotation; |
46 |
|
|
47 |
|
/** The direction of the rotation from the focus: Posward (+1) or negward (-1). |
48 |
|
* If there is no rotation (rotation == null), this is zero. |
49 |
|
* The idea is that the same node can be right and left of the focus, |
50 |
|
* and we need to know which one's the rotation we're speaking about. |
51 |
|
*/ |
52 |
|
public int dir; |
53 |
|
|
54 |
/** The comparator used to order the nodes in the graph. |
/** The comparator used to order the nodes in the graph. |
55 |
* The vertical order of nodes is determined by this Comparator. |
* The vertical order of nodes is determined by this Comparator. |
56 |
*/ |
*/ |