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 and Description
static class	Interval.Relation Qualitative location relationships between two intervals.
static class	Interval.Tree<A>
static class	Interval.Union

Constructor Summary

Constructors

Constructor and Description
Interval(int start, int end)

Method Summary

Modifier and Type	Method and 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 Detail

Interval

public Interval(int start,
                int end)

Method Detail

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)