Class Pointer

java.lang.Object
  extended by Pointer

public class Pointer
extends java.lang.Object

Information about a Pointer

Author:
Guy Lapalme, Université de Montréal, 2013

Field Summary
private  java.util.List<Synset> refs
           
private  int source
           
private  int target
           
private  java.lang.String type
           
 
Constructor Summary
Pointer(org.w3c.dom.Element node)
           
 
Method Summary
(package private)  java.util.List<Synset> getRefs()
           
(package private)  int getSource()
           
(package private)  int getTarget()
           
(package private)  java.lang.String getType()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

refs

private java.util.List<Synset> refs

source

private int source

target

private int target

type

private java.lang.String type
Constructor Detail

Pointer

Pointer(org.w3c.dom.Element node)
Method Detail

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