Class Pointer
java.lang.Object
Pointer
public class Pointer
- extends java.lang.Object
Information about a Pointer
- Author:
- Guy Lapalme, Université de Montréal, 2013
|
Constructor Summary |
Pointer(org.w3c.dom.Element node)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
refs
private java.util.List<Synset> refs
source
private int source
target
private int target
type
private java.lang.String type
Pointer
Pointer(org.w3c.dom.Element node)
toString
public java.lang.String toString()
- Overrides:
toString in class java.lang.Object
getRefs
java.util.List<Synset> getRefs()
getSource
int getSource()
getTarget
int getTarget()
getType
java.lang.String getType()