public static class ValueRangeAnalysisFactory.LongRangeSet extends Object implements Iterable<ValueRangeAnalysisFactory.LongRangeSet>
| Constructor and Description |
|---|
ValueRangeAnalysisFactory.LongRangeSet(String type) |
| Modifier and Type | Method and Description |
|---|---|
ValueRangeAnalysisFactory.LongRangeSet |
add(ValueRangeAnalysisFactory.LongRangeSet rangeSet) |
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() |
public ValueRangeAnalysisFactory.LongRangeSet(String type)
public ValueRangeAnalysisFactory.LongRangeSet gt(long value)
public ValueRangeAnalysisFactory.LongRangeSet ge(long value)
public ValueRangeAnalysisFactory.LongRangeSet lt(long value)
public ValueRangeAnalysisFactory.LongRangeSet le(long value)
public ValueRangeAnalysisFactory.LongRangeSet eq(long value)
public ValueRangeAnalysisFactory.LongRangeSet ne(long value)
public ValueRangeAnalysisFactory.LongRangeSet empty()
public boolean intersects(ValueRangeAnalysisFactory.LongRangeSet other)
public void splitGreater(long number)
public String getSignature()
public boolean isEmpty()
public boolean isFull()
public Iterator<ValueRangeAnalysisFactory.LongRangeSet> iterator()
iterator in interface Iterable<ValueRangeAnalysisFactory.LongRangeSet>public ValueRangeAnalysisFactory.LongRangeSet add(ValueRangeAnalysisFactory.LongRangeSet rangeSet)
public boolean same(ValueRangeAnalysisFactory.LongRangeSet rangeSet)
Copyright © 2003–2015. All rights reserved.