JML

org.jmlspecs.samples.list.node2
Class Link

java.lang.Object
  extended byorg.jmlspecs.samples.list.node2.Link
Direct Known Subclasses:
DualLink

public class Link
extends Object


Field Summary
protected  OneWayNode node_
           
 
Constructor Summary
Link()
           
Link(OneWayNode node)
           
 
Method Summary
 Object getEntry()
           
 Link getNext()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

node_

protected OneWayNode node_
Constructor Detail

Link

public Link()

Link

public Link(OneWayNode node)
Method Detail

getEntry

public Object getEntry()

getNext

public Link getNext()

toString

public String toString()
Overrides:
toString in class Object

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.