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

Class ValueRangeAnalysisFactory.LongRangeSet

java.lang.Object

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

All Implemented Interfaces:

java.lang.Iterable<ValueRangeAnalysisFactory.LongRangeSet>

Enclosing class:

ValueRangeAnalysisFactory

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

Constructor Summary

Constructors

Constructor and Description
ValueRangeAnalysisFactory.LongRangeSet(java.lang.String type)

Method Summary

Methods

Modifier and Type	Method and Description
ValueRangeAnalysisFactory.LongRangeSet	add(ValueRangeAnalysisFactory.LongRangeSet rangeSet)
void	addBordersTo(java.util.Set<java.lang.Long> borders)
ValueRangeAnalysisFactory.LongRangeSet	empty()
ValueRangeAnalysisFactory.LongRangeSet	eq(long value)
ValueRangeAnalysisFactory.LongRangeSet	ge(long value)
java.lang.String	getSignature()
ValueRangeAnalysisFactory.LongRangeSet	gt(long value)
boolean	intersects(ValueRangeAnalysisFactory.LongRangeSet other)
boolean	isEmpty()
boolean	isFull()
java.util.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)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ValueRangeAnalysisFactory.LongRangeSet

public ValueRangeAnalysisFactory.LongRangeSet(java.lang.String type)

Method Detail

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(java.util.Set<java.lang.Long> borders)

empty

public ValueRangeAnalysisFactory.LongRangeSet empty()

intersects

public boolean intersects(ValueRangeAnalysisFactory.LongRangeSet other)

splitGreater

public void splitGreater(long number)

getSignature

public java.lang.String getSignature()

isEmpty

public boolean isEmpty()

isFull

public boolean isFull()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

iterator

public java.util.Iterator<ValueRangeAnalysisFactory.LongRangeSet> iterator()

Specified by:

iterator in interface java.lang.Iterable<ValueRangeAnalysisFactory.LongRangeSet>

add

public ValueRangeAnalysisFactory.LongRangeSet add(ValueRangeAnalysisFactory.LongRangeSet rangeSet)

same

public boolean same(ValueRangeAnalysisFactory.LongRangeSet rangeSet)