de.uka.ilkd.key.pp

Class Range

java.lang.Object

de.uka.ilkd.key.pp.Range

public class Range
extends java.lang.Object

A class specifying a range of integer numbers e.g. character positions.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	end
(package private) int	start

Constructor Summary

Constructors

Constructor and Description
Range(int s, int e)
Range(Range r)

Method Summary

Modifier and Type	Method and Description
int	end()
int	length()
int	start()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

start

int start

end

int end

Constructor Detail

Range

public Range(int s,
             int e)

Range

public Range(Range r)

Method Detail

start

public int start()

end

public int end()

length

public int length()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object