JML

org.jmlspecs.jmldoc.jmldoc_142
Class JmlHTML.IntString

java.lang.Object
  extended byorg.jmlspecs.jmldoc.jmldoc_142.JmlHTML.IntString
All Implemented Interfaces:
Comparable
Enclosing class:
JmlHTML

public static class JmlHTML.IntString
extends Object
implements Comparable

This class holds an integer and a String, corresponding to a position at which to insert text, and the text to be inserted at that position.


Field Summary
 int offset
          The position at which to insert some text.
 String text
          The text to be inserted at the given position.
 
Constructor Summary
JmlHTML.IntString(int offset, String text)
          A constructor, taking an integer position and the text to be inserted at that position.
 
Method Summary
 int compareTo(Object p)
          The comparison method that implements the Comparable interface.
 boolean equals(Object p)
          The equality method that implements the Comparable interface.
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

offset

public int offset
The position at which to insert some text.


text

public String text
The text to be inserted at the given position.

Constructor Detail

JmlHTML.IntString

public JmlHTML.IntString(int offset,
                         String text)
A constructor, taking an integer position and the text to be inserted at that position.

Method Detail

compareTo

public int compareTo(Object p)
The comparison method that implements the Comparable interface. The objects are compared first on the 'offset' values and then, if those are equal, on the 'text' values.

Specified by:
compareTo in interface Comparable

equals

public boolean equals(Object p)
The equality method that implements the Comparable interface. The objects are equal if corresponding fields are equal in the two objects.

Overrides:
equals 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.