Package eu.bandm.tools.lljava.absy

Class Interval

java.lang.Object

eu.bandm.tools.lljava.absy.Interval

public class Interval
extends Object

Pointed intervals of integers. Each interval has two simultaneous meanings:

• a location, i.e. a closed nonempty interval; and
• a content, i.e. a left-closed/right-open, possible empty interval.

An interval that has empty content is simply called empty. Note that empty intervals still have a location point; there is a distinct empty interval for every integer location.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	Interval.Relation	Qualitative location relationships between two intervals.
static class	Interval.Tree<A>
static class	Interval.Union

Constructor Summary

Constructors

Constructor	Description
Interval(int start, int end)

Method Summary

Modifier and Type	Method	Description
static boolean	checkRelation(Interval i, Interval j)
static boolean	connected(Interval i, Interval j)
boolean	contains(int value)
protected boolean	equals(Interval o)
boolean	equals(Object o)
int	getEnd()
int	getLength()
int	getStart()
int	hashCode()
static void	main(String[] args)
static Interval.Relation	relation(Interval i, Interval j)
static Interval	span(Interval i, Interval j)
IntStream	stream()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

Interval

public Interval(int start,
 int end)

Method Details

getStart

public int getStart()

getEnd

public int getEnd()

getLength

public int getLength()

contains

public boolean contains(int value)

stream

public IntStream stream()

relation

public static Interval.Relation relation(Interval i,
 Interval j)

connected

public static boolean connected(Interval i,
 Interval j)

span

public static Interval span(Interval i,
 Interval j)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

equals

protected boolean equals(Interval o)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

checkRelation

public static boolean checkRelation(Interval i,
 Interval j)

main

public static void main(String[] args)