jflex

Class Interval

java.lang.Object

jflex.Interval

public final class Interval
extends Object

An interval of characters with basic operations.

Version:

JFlex 1.7.0-SNAPSHOT

Author:

Gerwin Klein

Field Summary

Fields

Modifier and Type	Field and Description
int	end
int	start

Constructor Summary

Constructors

Constructor and Description
Interval(Interval other) Copy constructor
Interval(int start, int end) Constuct a new interval from start to end.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	contains(int point) Return true iff point is contained in this interval.
boolean	contains(Interval other) Return true iff this interval completely contains the other one.
Interval	copy() Make a copy of this interval.
boolean	equals(Object o) Return true if o is an interval with the same borders.
void	setEnd(int end) Set a new last character
void	setStart(int start) Set a new first character
String	toString() Get a String representation of this interval.

Methods inherited from class java.lang.Object

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

Field Detail

start

public int start

end

public int end

Constructor Detail

Interval

public Interval(int start,
        int end)

Constuct a new interval from start to end.

Parameters:

start - first character the interval should contain

end - last character the interval should contain

Interval

public Interval(Interval other)

Copy constructor

Method Detail

contains

public boolean contains(int point)

Return true iff point is contained in this interval.

Parameters:

point - the character to check

contains

public boolean contains(Interval other)

Return true iff this interval completely contains the other one.

Parameters:

other - the other interval

equals

public boolean equals(Object o)

Return true if o is an interval with the same borders.

Overrides:

equals in class Object

Parameters:

o - the object to check equality with

setEnd

public void setEnd(int end)

Set a new last character

Parameters:

end - the new last character of this interval

setStart

public void setStart(int start)

Set a new first character

Parameters:

start - the new first character of this interval

toString

public String toString()

Get a String representation of this interval.

Overrides:

toString in class Object

Returns:

a string "[start-end]" or "[start]" (if there is only one character in the interval) where start and end are either a number (the character code) or something of the from 'a'.

copy

public Interval copy()

Make a copy of this interval.

Returns:

the copy