Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

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
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.