org.jmlspecs.jmldoc.jmldoc_142
Class JmlHTML.IntString

java.lang.Object
  org.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.

JmlHTML.IntString

public JmlHTML.IntString(int offset,
                         String text)

A constructor, taking an integer position and the text to be inserted at that position.

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