jflex

Class NamedRangeSet

java.lang.Object

jflex.NamedRangeSet

public class NamedRangeSet
extends Object

Constructor Summary

Constructors

Constructor and Description
NamedRangeSet()
NamedRangeSet(List<NamedRange> ranges)
NamedRangeSet(NamedRange range)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(NamedRangeSet other) Assumptions: ranges are disjoint, non-contiguous, and ordered.
NamedRangeSet	copy() Deep copy
List<NamedRange>	getRanges()
void	sub(NamedRangeSet other) Assumptions: ranges are disjoint, non-contiguous, and ordered.

Methods inherited from class java.lang.Object

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

Constructor Detail

NamedRangeSet

public NamedRangeSet(List<NamedRange> ranges)

NamedRangeSet

public NamedRangeSet(NamedRange range)

NamedRangeSet

public NamedRangeSet()

Method Detail

getRanges

public List<NamedRange> getRanges()

add

public void add(NamedRangeSet other)

Assumptions: ranges are disjoint, non-contiguous, and ordered. Names of ranges are not necessarily preserved.

Parameters:

other - The ranges to add

sub

public void sub(NamedRangeSet other)

Assumptions: ranges are disjoint, non-contiguous, and ordered. Names of ranges are not necessarily preserved.

Parameters:

other - The ranges to remove

copy

public NamedRangeSet copy()

Deep copy

Returns:

deep copy of this set of named ranges