Class ValueRangeAnalysisFactory.LongRangeSet

java.lang.Object

edu.umd.cs.findbugs.classfile.engine.bcel.ValueRangeAnalysisFactory.LongRangeSet

All Implemented Interfaces:

Iterable<ValueRangeAnalysisFactory.LongRangeSet>

Enclosing class:

ValueRangeAnalysisFactory

public static class ValueRangeAnalysisFactory.LongRangeSet
extends Object
implements Iterable<ValueRangeAnalysisFactory.LongRangeSet>

Field Summary

Fields

Modifier and Type	Field	Description
private final SortedMap<Long,Long>	map
private final ValueRangeAnalysisFactory.TypeLongRange	range

Constructor Summary

Constructors

Modifier	Constructor	Description
private	LongRangeSet(ValueRangeAnalysisFactory.TypeLongRange range)
private	LongRangeSet(ValueRangeAnalysisFactory.TypeLongRange range, long from, long to)
	LongRangeSet(String type)

Method Summary

Modifier and Type	Method	Description
ValueRangeAnalysisFactory.LongRangeSet	add(ValueRangeAnalysisFactory.LongRangeSet rangeSet)
private void	add(Long start, Long end)
void	addBordersTo(Set<Long> borders)
ValueRangeAnalysisFactory.LongRangeSet	empty()
ValueRangeAnalysisFactory.LongRangeSet	eq(long value)
ValueRangeAnalysisFactory.LongRangeSet	ge(long value)
String	getSignature()
ValueRangeAnalysisFactory.LongRangeSet	gt(long value)
boolean	intersects(ValueRangeAnalysisFactory.LongRangeSet other)
boolean	isEmpty()
boolean	isFull()
Iterator<ValueRangeAnalysisFactory.LongRangeSet>	iterator()
ValueRangeAnalysisFactory.LongRangeSet	le(long value)
ValueRangeAnalysisFactory.LongRangeSet	lt(long value)
ValueRangeAnalysisFactory.LongRangeSet	ne(long value)
boolean	same(ValueRangeAnalysisFactory.LongRangeSet rangeSet)
void	splitGreater(long number)
String	toString()

Methods inherited from class Object

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

Methods inherited from interface Iterable

forEach, spliterator

Field Details

map

private final SortedMap<Long,Long> map

range

private final ValueRangeAnalysisFactory.TypeLongRange range

Constructor Details

LongRangeSet

public LongRangeSet(String type)

LongRangeSet

private LongRangeSet(ValueRangeAnalysisFactory.TypeLongRange range,
 long from,
 long to)

LongRangeSet

private LongRangeSet(ValueRangeAnalysisFactory.TypeLongRange range)

Method Details

gt

public ValueRangeAnalysisFactory.LongRangeSet gt(long value)

ge

public ValueRangeAnalysisFactory.LongRangeSet ge(long value)

lt

public ValueRangeAnalysisFactory.LongRangeSet lt(long value)

le

public ValueRangeAnalysisFactory.LongRangeSet le(long value)

eq

public ValueRangeAnalysisFactory.LongRangeSet eq(long value)

ne

public ValueRangeAnalysisFactory.LongRangeSet ne(long value)

addBordersTo

public void addBordersTo(Set<Long> borders)

empty

public ValueRangeAnalysisFactory.LongRangeSet empty()

intersects

public boolean intersects(ValueRangeAnalysisFactory.LongRangeSet other)

splitGreater

public void splitGreater(long number)

getSignature

public String getSignature()

isEmpty

public boolean isEmpty()

isFull

public boolean isFull()

toString

public String toString()

Overrides:

toString in class Object

iterator

public Iterator<ValueRangeAnalysisFactory.LongRangeSet> iterator()

Specified by:

iterator in interface Iterable<ValueRangeAnalysisFactory.LongRangeSet>

add

private void add(Long start,
 Long end)

add

public ValueRangeAnalysisFactory.LongRangeSet add(ValueRangeAnalysisFactory.LongRangeSet rangeSet)

same

public boolean same(ValueRangeAnalysisFactory.LongRangeSet rangeSet)