- fetch(TestBaseQuery) - Method in interface ru.ispras.testbase.storage.TestBaseStorage
-
- FilteringIterator<T> - Class in ru.ispras.testbase.knowledge.iterator
-
- FilteringIterator(Iterator<T>, FilteringIterator.Type, int) - Constructor for class ru.ispras.testbase.knowledge.iterator.FilteringIterator
-
Constructs a filtering iterator.
- FilteringIterator(Iterator<T>, FilteringIterator.Type) - Constructor for class ru.ispras.testbase.knowledge.iterator.FilteringIterator
-
Constructs a filtering iterator with the unlimited cache size.
- FilteringIterator(Iterator<T>, int) - Constructor for class ru.ispras.testbase.knowledge.iterator.FilteringIterator
-
Constructs a filtering iterator.
- FilteringIterator(Iterator<T>) - Constructor for class ru.ispras.testbase.knowledge.iterator.FilteringIterator
-
Constructs a filtering iterator with the unlimited cache size.
- FilteringIterator(FilteringIterator<T>) - Constructor for class ru.ispras.testbase.knowledge.iterator.FilteringIterator
-
Constructs a copy of the iterator.
- FilteringIterator.Type - Enum in ru.ispras.testbase.knowledge.iterator
-
This enumeration contains equality checking types.
- FpAddExceptionGenerator - Class in ru.ispras.testbase.knowledge.floating.add
-
FpAddExceptionGenerator
implements a random generator targeted at the exceptions in the
floating-point addition operation.
- FpAddExceptionGenerator(FpFormat) - Constructor for class ru.ispras.testbase.knowledge.floating.add.FpAddExceptionGenerator
-
Constructs a random generator.
- FpDivHardToDRoundIterator - Class in ru.ispras.testbase.knowledge.floating.div
-
FpDivHardToDRoundIterator
implements an iterator of hard-to-round test cases for the
division operation operating in the directed round modes (toward zero, toward plus infinity, and
toward minus infinity).
- FpDivHardToDRoundIterator(FpFormat) - Constructor for class ru.ispras.testbase.knowledge.floating.div.FpDivHardToDRoundIterator
-
Constructs a division hard-to-round iterator.
- FpDivHardToDRoundIterator(FpDivHardToDRoundIterator) - Constructor for class ru.ispras.testbase.knowledge.floating.div.FpDivHardToDRoundIterator
-
Constructs a copy of the iterator.
- FpDivHardToNRoundIterator - Class in ru.ispras.testbase.knowledge.floating.div
-
FpDivHardToNRoundIterator
implements an iterator of hard-to-round test cases for the
division operation operating in the round-to-nearest mode.
- FpDivHardToNRoundIterator(FpFormat) - Constructor for class ru.ispras.testbase.knowledge.floating.div.FpDivHardToNRoundIterator
-
Constructs a division hard-to-round iterator.
- FpDivHardToRoundIterator - Class in ru.ispras.testbase.knowledge.floating.div
-
- FpDivHardToRoundIterator(FpFormat) - Constructor for class ru.ispras.testbase.knowledge.floating.div.FpDivHardToRoundIterator
-
Constructs a division hard-to-round iterator.
- FpException - Enum in ru.ispras.testbase.knowledge.floating
-
FpException
contains the IEEE 754 floating-point exceptions.
- FpExceptionGenerator - Class in ru.ispras.testbase.knowledge.floating
-
FpExceptionGenerator
is a base interface for random generators targeted at the
floating-point exceptions.
- FpExceptionGenerator() - Constructor for class ru.ispras.testbase.knowledge.floating.FpExceptionGenerator
-
- FpFormat - Class in ru.ispras.testbase.knowledge.floating
-
FpFormat
represents a floating-point number format.
- FpFormat(int, int) - Constructor for class ru.ispras.testbase.knowledge.floating.FpFormat
-
Constructs a floating-point number format.
- FpMulHardToDRoundIterator - Class in ru.ispras.testbase.knowledge.floating.mul
-
FpMulHardToDRoundIterator
implements an iterator of hard-to-round test cases for the
multiplication operation operating in the directed round modes (toward zero, toward plus
infinity, and toward minus infinity).
- FpMulHardToDRoundIterator(FpFormat, long, long, int, int, int) - Constructor for class ru.ispras.testbase.knowledge.floating.mul.FpMulHardToDRoundIterator
-
Constructs a square root hard-to-round iterator.
- FpMulHardToDRoundIterator(FpFormat) - Constructor for class ru.ispras.testbase.knowledge.floating.mul.FpMulHardToDRoundIterator
-
Constructs a square root hard-to-round iterator.
- FpMulHardToRoundIterator - Class in ru.ispras.testbase.knowledge.floating.mul
-
- FpMulHardToRoundIterator(FpFormat) - Constructor for class ru.ispras.testbase.knowledge.floating.mul.FpMulHardToRoundIterator
-
Constructs a division hard-to-round iterator.
- FpNumber - Class in ru.ispras.testbase.knowledge.floating
-
FpNumber
represents a floating point number with an arbitrary precision (less or equal to
double).
- FpNumber(FpFormat, long, long, long) - Constructor for class ru.ispras.testbase.knowledge.floating.FpNumber
-
Constructs a floating-point number.
- FpNumber(FpFormat, long) - Constructor for class ru.ispras.testbase.knowledge.floating.FpNumber
-
Constructs a floating-point number.
- FpSqrtHardToDRoundIterator - Class in ru.ispras.testbase.knowledge.floating.sqrt
-
- FpSqrtHardToDRoundIterator(FpFormat) - Constructor for class ru.ispras.testbase.knowledge.floating.sqrt.FpSqrtHardToDRoundIterator
-
Constructs a copy of the square root hard-to-round iterator.
- FpSqrtHardToNRoundIterator - Class in ru.ispras.testbase.knowledge.floating.sqrt
-
- FpSqrtHardToNRoundIterator(FpFormat) - Constructor for class ru.ispras.testbase.knowledge.floating.sqrt.FpSqrtHardToNRoundIterator
-
Constructs a copy of the square root hard-to-round iterator.
- FpSqrtHardToRoundIterator - Class in ru.ispras.testbase.knowledge.floating.sqrt
-
- FpSqrtHardToRoundIterator(FpFormat) - Constructor for class ru.ispras.testbase.knowledge.floating.sqrt.FpSqrtHardToRoundIterator
-
Constructs a square root hard-to-round iterator.
- FpSubExceptionGenerator - Class in ru.ispras.testbase.knowledge.floating.sub
-
FpSubExceptionGenerator
implements a random generator targeted at the exceptions in the
floating-point subtraction operation.
- FpSubExceptionGenerator(FpFormat) - Constructor for class ru.ispras.testbase.knowledge.floating.sub.FpSubExceptionGenerator
-
Constructs a random generator.
- generate(TestBaseQuery) - Method in interface ru.ispras.testbase.generator.DataGenerator
-
Generates data for the specified query.
- generate(TestBaseQuery) - Method in class ru.ispras.testbase.generator.DataGeneratorBase
-
- generate(DataGeneratorQuery) - Method in class ru.ispras.testbase.generator.DataGeneratorBase
-
Generates data for the specified data generator query.
- generate(E, T[]) - Method in interface ru.ispras.testbase.knowledge.basis.Generator
-
Generates test data for the given test situation.
- generate(FpException, FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.FpExceptionGenerator
-
- generate(IntException, IntNumber[]) - Method in class ru.ispras.testbase.knowledge.integer.IntExceptionGenerator
-
- generateInexact(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.add.FpAddExceptionGenerator
-
- generateInexact(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.FpExceptionGenerator
-
Tries to generate operands that cause the inexact exception.
- generateInexact(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.sub.FpSubExceptionGenerator
-
- generateNormal(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.add.FpAddExceptionGenerator
-
- generateNormal(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.FpExceptionGenerator
-
Tries to generate operands that do not cause exceptions.
- generateNormal(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.sub.FpSubExceptionGenerator
-
- generateNormal(IntNumber[]) - Method in class ru.ispras.testbase.knowledge.integer.add.IntAddExceptionGenerator
-
- generateNormal(IntNumber[]) - Method in class ru.ispras.testbase.knowledge.integer.IntExceptionGenerator
-
Tries to generate operands that do not cause exceptions.
- generateNormal(IntNumber[]) - Method in class ru.ispras.testbase.knowledge.integer.sub.IntSubExceptionGenerator
-
- generateOverflow(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.add.FpAddExceptionGenerator
-
- generateOverflow(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.FpExceptionGenerator
-
Tries to generate operands that cause the overflow exception.
- generateOverflow(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.sub.FpSubExceptionGenerator
-
- generateOverflow(IntNumber[]) - Method in class ru.ispras.testbase.knowledge.integer.add.IntAddExceptionGenerator
-
- generateOverflow(IntNumber[]) - Method in class ru.ispras.testbase.knowledge.integer.IntExceptionGenerator
-
Tries to generate operands that cause the overflow exception.
- generateOverflow(IntNumber[]) - Method in class ru.ispras.testbase.knowledge.integer.sub.IntSubExceptionGenerator
-
- generateUnderflow(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.add.FpAddExceptionGenerator
-
- generateUnderflow(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.FpExceptionGenerator
-
Tries to generate operands that cause the underflow exception.
- generateUnderflow(FpNumber[]) - Method in class ru.ispras.testbase.knowledge.floating.sub.FpSubExceptionGenerator
-
- Generator<T,E extends java.lang.Enum<?>> - Interface in ru.ispras.testbase.knowledge.basis
-
Generator
is a basic interface for test data generators.
- GeneratorResult<T> - Class in ru.ispras.testbase.knowledge.basis
-
GeneratorResult
represents a result of test data generation for some operation.
- GeneratorResult(boolean, T[]) - Constructor for class ru.ispras.testbase.knowledge.basis.GeneratorResult
-
Constructs a generation result.
- get(String) - Static method in enum ru.ispras.testbase.knowledge.floating.FpException
-
- get(String) - Static method in enum ru.ispras.testbase.knowledge.integer.IntException
-
- get() - Static method in class ru.ispras.testbase.knowledge.iterator.EmptyIterator
-
- get() - Static method in class ru.ispras.testbase.stub.TestBase
-
- getArchitectureName() - Method in class ru.ispras.testbase.generator.DataGeneratorQuery
-
- getBindings() - Method in class ru.ispras.testbase.TestBaseQuery
-
- getBindings() - Method in class ru.ispras.testbase.TestData
-
- getBits(long, long, long) - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the bit representation of the floating-point number.
- getBits() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Returns the bits representing of the floating-point number.
- getBooleanParameter(String) - Method in class ru.ispras.testbase.generator.DataGeneratorQuery
-
- getBoundaryIterator(int) - Static method in class ru.ispras.testbase.knowledge.iterator.BoundaryValueIterator
-
Creates a boundary values iterator.
- getContext() - Method in class ru.ispras.testbase.TestBaseQuery
-
- getContextAttribute(String) - Method in class ru.ispras.testbase.generator.DataGeneratorQuery
-
- getConverterName() - Method in class ru.ispras.testbase.storage.StoredTestData
-
- getData() - Method in class ru.ispras.testbase.storage.StoredTestData
-
- getDataIterator() - Method in class ru.ispras.testbase.TestBaseQueryResult
-
- getErrors() - Method in class ru.ispras.testbase.TestBaseQueryResult
-
- getExponent(long) - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the exponent of the given floating-point number.
- getExponent() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Returns the exponent of the floating-point number.
- getExponentBias() - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the exponent bias.
- getExponentLength() - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the exponent length.
- getExponentMask() - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the exponent mask.
- getFormat() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Returns the format of the floating-point number.
- getFormat() - Method in class ru.ispras.testbase.knowledge.integer.IntNumber
-
Returns the format of the number.
- getFormatName() - Method in interface ru.ispras.testbase.storage.DataLoader
-
- getFpBoundaryIterator(int) - Static method in class ru.ispras.testbase.knowledge.iterator.BoundaryValueIterator
-
Creates a boundary floating-point values iterator.
- getFraction(long) - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the fraction of the given floating-point number.
- getFraction() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Returns the fraction of the floating-point number.
- getFractionLength() - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the fraction length.
- getFractionMask() - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the fraction mask.
- getId() - Method in class ru.ispras.testbase.TestData
-
- getInstructionName() - Method in class ru.ispras.testbase.generator.DataGeneratorQuery
-
- getIntegerParameter(String) - Method in class ru.ispras.testbase.generator.DataGeneratorQuery
-
- getLength() - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the bit length of a floating-point number.
- getLength() - Method in class ru.ispras.testbase.knowledge.integer.IntFormat
-
Returns the bit length of a number.
- getMask() - Method in class ru.ispras.testbase.knowledge.integer.IntFormat
-
Returns the bit mask of a number.
- getMaxNormalizedExponent() - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the maximal exponent of a normalized floating-point number.
- getMaxValue() - Method in class ru.ispras.testbase.knowledge.integer.IntFormat
-
Returns the maximal value (signed).
- getMinNormalizedExponent() - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the minimal exponent of a normalized floating-point number.
- getMinValue() - Method in class ru.ispras.testbase.knowledge.integer.IntFormat
-
Returns the minimal value (signed).
- getName() - Method in class ru.ispras.testbase.generator.DataGeneratorBase
-
Returns data generator name.
- getName() - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Returns the variable name.
- getName() - Method in interface ru.ispras.testbase.storage.DataConverter
-
- getName() - Method in class ru.ispras.testbase.storage.internal.RawDataConverter
-
- getNamedGenerators(String) - Method in class ru.ispras.testbase.TestBaseRegistry
-
- getParameter(String) - Method in class ru.ispras.testbase.generator.DataGeneratorQuery
-
- getParameter(TestBaseQuery, String) - Static method in class ru.ispras.testbase.generator.Utils
-
- getParameterAsBigInteger(TestBaseQuery, String) - Static method in class ru.ispras.testbase.generator.Utils
-
- getParameterAsInt(TestBaseQuery, String) - Static method in class ru.ispras.testbase.generator.Utils
-
- getParameters() - Method in class ru.ispras.testbase.TestBaseQuery
-
- getPrecision() - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the precision (the fraction length plus one).
- getRegistry() - Method in class ru.ispras.testbase.stub.TestBase
-
- getSign(long) - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the sign of the given floating-point number.
- getSign() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Returns the sign of the floating-point number.
- getSignExtendedValue() - Method in class ru.ispras.testbase.knowledge.integer.IntNumber
-
Returns the sign-extended value.
- getSignLength() - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the sign length.
- getSignMask() - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Returns the sign length.
- getSituationName() - Method in class ru.ispras.testbase.generator.DataGeneratorQuery
-
- getSize() - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Returns variable bit size.
- getSolverId() - Static method in class ru.ispras.testbase.stub.TestBase
-
- getStatus() - Method in class ru.ispras.testbase.TestBaseQueryResult
-
- getStorageClass() - Method in interface ru.ispras.testbase.storage.DataLoader
-
- getType() - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Returns the variable data type.
- getUnknownVariables() - Method in class ru.ispras.testbase.generator.DataGeneratorQuery
-
- getValue() - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Returns a node describing the variable value.
- getValue() - Method in class ru.ispras.testbase.knowledge.integer.IntNumber
-
Returns the number.
- getVariable(String) - Method in class ru.ispras.testbase.generator.DataGeneratorQuery
-
- getVariables() - Method in class ru.ispras.testbase.generator.DataGeneratorQuery
-
- init() - Method in class ru.ispras.testbase.knowledge.floating.div.FpDivHardToDRoundIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.floating.div.FpDivHardToNRoundIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.floating.mul.FpMulHardToDRoundIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.iterator.ArrayIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.iterator.BooleanIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.iterator.CollectionIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.iterator.EmptyIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.iterator.FilteringIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.iterator.IntRangeIterator
-
- init() - Method in interface ru.ispras.testbase.knowledge.iterator.Iterator
-
Initializes the iterator.
- init() - Method in class ru.ispras.testbase.knowledge.iterator.LongRangeIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.iterator.ProductIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.iterator.RandomValueIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.iterator.SequenceIterator
-
- init() - Method in class ru.ispras.testbase.knowledge.iterator.SingleValueIterator
-
- INSTRUCTION - Static variable in class ru.ispras.testbase.TestBaseContext
-
The INSTRUCTION
attribute specifies the name of the instruction for which the test data
is to be generated.
- INT1 - Static variable in class ru.ispras.testbase.knowledge.integer.IntFormat
-
1-bit integer numbers.
- INT16 - Static variable in class ru.ispras.testbase.knowledge.integer.IntFormat
-
16-bit integer numbers.
- INT32 - Static variable in class ru.ispras.testbase.knowledge.integer.IntFormat
-
32-bit integer numbers.
- INT64 - Static variable in class ru.ispras.testbase.knowledge.integer.IntFormat
-
64-bit integer numbers.
- INT8 - Static variable in class ru.ispras.testbase.knowledge.integer.IntFormat
-
8-bit integer numbers.
- IntAddExceptionGenerator - Class in ru.ispras.testbase.knowledge.integer.add
-
- IntAddExceptionGenerator(IntFormat) - Constructor for class ru.ispras.testbase.knowledge.integer.add.IntAddExceptionGenerator
-
Constructs a random generator targeted at the integer addition exceptions.
- integerValue() - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Returns the variable value as an integer value.
- IntException - Enum in ru.ispras.testbase.knowledge.integer
-
IntException
enumeration contains the integer-arithmetic exceptions.
- IntExceptionGenerator - Class in ru.ispras.testbase.knowledge.integer
-
IntExceptionGenerator
is a base interface for random generators targeted at the integer
arithmetic exceptions.
- IntExceptionGenerator() - Constructor for class ru.ispras.testbase.knowledge.integer.IntExceptionGenerator
-
- IntFormat - Class in ru.ispras.testbase.knowledge.integer
-
IntFormat
represents an integer number format.
- IntFormat(int) - Constructor for class ru.ispras.testbase.knowledge.integer.IntFormat
-
Constructs an integer number format.
- IntNumber - Class in ru.ispras.testbase.knowledge.integer
-
IntNumber
implements an integer number of a given length (less than or equal to 64).
- IntNumber(IntFormat, long) - Constructor for class ru.ispras.testbase.knowledge.integer.IntNumber
-
Constructs an integer number.
- IntRangeIterator - Class in ru.ispras.testbase.knowledge.iterator
-
- IntRangeIterator(int, int, int) - Constructor for class ru.ispras.testbase.knowledge.iterator.IntRangeIterator
-
Constructs an integer number range iterator.
- IntRangeIterator(int, int) - Constructor for class ru.ispras.testbase.knowledge.iterator.IntRangeIterator
-
Constructs an integer number range iterator with the increment value equal to one.
- IntRangeIterator(int) - Constructor for class ru.ispras.testbase.knowledge.iterator.IntRangeIterator
-
Constructs an integer number range iterator with the lower bound equal to zero and the
increment value equal to one.
- IntRangeIterator(IntRangeIterator) - Constructor for class ru.ispras.testbase.knowledge.iterator.IntRangeIterator
-
Constructs a copy of the iterator.
- IntSpecialValueIterator - Class in ru.ispras.testbase.knowledge.integer
-
- IntSpecialValueIterator(IntFormat) - Constructor for class ru.ispras.testbase.knowledge.integer.IntSpecialValueIterator
-
Constructs a special value iterator for the given integer format.
- IntSpecialValueIterator(IntSpecialValueIterator) - Constructor for class ru.ispras.testbase.knowledge.integer.IntSpecialValueIterator
-
Constructs a copy of the iterator.
- IntSubExceptionGenerator - Class in ru.ispras.testbase.knowledge.integer.sub
-
- IntSubExceptionGenerator(IntFormat) - Constructor for class ru.ispras.testbase.knowledge.integer.sub.IntSubExceptionGenerator
-
Constructs a random generator targeted at the integer addition exceptions.
- isEmpty() - Method in class ru.ispras.testbase.TestData
-
- isInfinity() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Checks whether the floating-point number is infinity.
- isMinusInfinity() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Checks whether the floating-point number is minus infinity.
- isMinusZero() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Checks whether the floating-point number is minus zero.
- isNaN() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Checks whether the floating-point number is non-a-number (NaN).
- isNegative() - Method in class ru.ispras.testbase.knowledge.integer.IntNumber
-
Checks whether the number is negative.
- isNormalized() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Checks whether the floating-point number is normalized.
- isPlusInfinity() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Checks whether the floating-point number is plus infinity.
- isPlusZero() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Checks whether the floating-point number is plus zero.
- isPositive() - Method in class ru.ispras.testbase.knowledge.integer.IntNumber
-
Checks whether the number is positive.
- isSuitable(TestBaseQuery) - Method in interface ru.ispras.testbase.generator.DataGenerator
-
Checks whether the data generator is capable of generating data
for the specified query.
- isSuitable(TestBaseQuery) - Method in class ru.ispras.testbase.generator.DataGeneratorBase
-
Checks whether the data generator is capable of generating data
for the specified query.
- isUnknown() - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Checks whether the variable is an unknown variable that must have its value assigned.
- isUnknownVariable(Node) - Static method in class ru.ispras.testbase.generator.Utils
-
- isValueSet() - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Checks whether the variable has been assigned a value.
- isZero() - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Checks whether the floating-point number is zero.
- isZero() - Method in class ru.ispras.testbase.knowledge.integer.IntNumber
-
Checks whether the number is zero.
- Iterator<T> - Interface in ru.ispras.testbase.knowledge.iterator
-
Iterator
is a generic iterator interface.
- iterator(int) - Method in class ru.ispras.testbase.knowledge.iterator.ProductIterator
-
Returns the i-th iterator of the list.
- iterator(int) - Method in class ru.ispras.testbase.knowledge.iterator.SequenceIterator
-
Returns the i-th iterator of the list.
- SequenceIterator<T> - Class in ru.ispras.testbase.knowledge.iterator
-
SequenceIterator
implements a sequence iterator, a composite iterator that concatenates
sequences produced by simpler iterators.
- SequenceIterator() - Constructor for class ru.ispras.testbase.knowledge.iterator.SequenceIterator
-
Constructs a sequence iterator.
- SequenceIterator(SequenceIterator<T>) - Constructor for class ru.ispras.testbase.knowledge.iterator.SequenceIterator
-
Constructs a copy of the sequence iterator.
- setBinding(String, Node) - Method in class ru.ispras.testbase.TestBaseQueryBuilder
-
- setBits(long) - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Sets the bits representation of the floating-point number.
- setContextAttribute(String, Object) - Method in class ru.ispras.testbase.TestBaseQueryBuilder
-
- setExponent(long) - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Sets the exponent of the floating-point number.
- setFraction(long) - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Sets the fraction of the floating-point number.
- setParameter(String, Object) - Method in class ru.ispras.testbase.TestBaseQueryBuilder
-
- setSign(long) - Method in class ru.ispras.testbase.knowledge.floating.FpNumber
-
Sets the sign of the floating-point number.
- setSolverId(SolverId) - Static method in class ru.ispras.testbase.stub.TestBase
-
- setValue(int) - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Assigns an integer value to the variable.
- setValue(long) - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Assigns a long integer value to the variable.
- setValue(BigInteger) - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Assigns a BigInteger
value to the variable.
- setValue(BitVector) - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Assigns a bit vector value to the variable.
- setValue(Data) - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Assigns a value described by the specified data object to the variable.
- setValue(NodeValue) - Method in class ru.ispras.testbase.generator.DataGeneratorVariable
-
Assigns a value described by the specified node to the variable.
- setValue(long) - Method in class ru.ispras.testbase.knowledge.integer.IntNumber
-
Sets the number.
- setValue(boolean) - Method in class ru.ispras.testbase.knowledge.iterator.BooleanIterator
-
Sets the current value of the iterator.
- setValue(int) - Method in class ru.ispras.testbase.knowledge.iterator.IntRangeIterator
-
Sets the current value.
- setValue(long) - Method in class ru.ispras.testbase.knowledge.iterator.LongRangeIterator
-
Sets the current value.
- SINGLE - Static variable in class ru.ispras.testbase.knowledge.floating.FpFormat
-
The IEEE 754 single-precision format.
- SingleValueIterator<T> - Class in ru.ispras.testbase.knowledge.iterator
-
- SingleValueIterator(T) - Constructor for class ru.ispras.testbase.knowledge.iterator.SingleValueIterator
-
Constructs a single-value iterator.
- SingleValueIterator(SingleValueIterator<T>) - Constructor for class ru.ispras.testbase.knowledge.iterator.SingleValueIterator
-
Constructs a copy of the iterator.
- size() - Method in class ru.ispras.testbase.knowledge.iterator.ArrayIterator
-
- size() - Method in class ru.ispras.testbase.knowledge.iterator.BooleanIterator
-
- size() - Method in interface ru.ispras.testbase.knowledge.iterator.BoundedIterator
-
Returns the size of the collection of the iterated items.
- size() - Method in class ru.ispras.testbase.knowledge.iterator.CollectionIterator
-
- size() - Method in class ru.ispras.testbase.knowledge.iterator.EmptyIterator
-
- size() - Method in class ru.ispras.testbase.knowledge.iterator.IntRangeIterator
-
- size() - Method in class ru.ispras.testbase.knowledge.iterator.LongRangeIterator
-
- size() - Method in class ru.ispras.testbase.knowledge.iterator.ProductIterator
-
Returns the number of the registered iterators.
- size() - Method in class ru.ispras.testbase.knowledge.iterator.RandomValueIterator
-
- size() - Method in class ru.ispras.testbase.knowledge.iterator.SequenceIterator
-
Returns the number of the registered iterators.
- size() - Method in class ru.ispras.testbase.knowledge.iterator.SingleValueIterator
-
- status - Variable in class ru.ispras.testbase.knowledge.basis.GeneratorResult
-
Generation status.
- stop() - Method in class ru.ispras.testbase.knowledge.floating.div.FpDivHardToDRoundIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.floating.div.FpDivHardToNRoundIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.floating.mul.FpMulHardToDRoundIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.iterator.ArrayIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.iterator.BooleanIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.iterator.CollectionIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.iterator.EmptyIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.iterator.FilteringIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.iterator.IntRangeIterator
-
- stop() - Method in interface ru.ispras.testbase.knowledge.iterator.Iterator
-
Stops the iterator.
- stop() - Method in class ru.ispras.testbase.knowledge.iterator.LongRangeIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.iterator.ProductIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.iterator.RandomValueIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.iterator.SequenceIterator
-
- stop() - Method in class ru.ispras.testbase.knowledge.iterator.SingleValueIterator
-
- StoredTestData - Class in ru.ispras.testbase.storage
-
- StoredTestData(String, Object) - Constructor for class ru.ispras.testbase.storage.StoredTestData
-
- success(Iterator<TestData>) - Static method in class ru.ispras.testbase.TestBaseQueryResult
-
- value() - Method in class ru.ispras.testbase.knowledge.floating.div.FpDivHardToDRoundIterator
-
- value() - Method in class ru.ispras.testbase.knowledge.floating.div.FpDivHardToNRoundIterator
-
- value() - Method in class ru.ispras.testbase.knowledge.floating.mul.FpMulHardToDRoundIterator
-
- value() - Method in class ru.ispras.testbase.knowledge.iterator.ArrayIterator
-
- value() - Method in class ru.ispras.testbase.knowledge.iterator.BooleanIterator
-
- value() - Method in class ru.ispras.testbase.knowledge.iterator.CollectionIterator
-
- value() - Method in class ru.ispras.testbase.knowledge.iterator.EmptyIterator
-
- value() - Method in class ru.ispras.testbase.knowledge.iterator.FilteringIterator
-
- value() - Method in class ru.ispras.testbase.knowledge.iterator.IntRangeIterator
-
- value() - Method in interface ru.ispras.testbase.knowledge.iterator.Iterator
-
Returns the current value of the iterator.
- value() - Method in class ru.ispras.testbase.knowledge.iterator.LongRangeIterator
-
- value(int) - Method in class ru.ispras.testbase.knowledge.iterator.ProductIterator
-
Returns the value of the i-th iterator.
- value() - Method in class ru.ispras.testbase.knowledge.iterator.ProductIterator
-
- value() - Method in class ru.ispras.testbase.knowledge.iterator.RandomValueIterator
-
- value() - Method in class ru.ispras.testbase.knowledge.iterator.SequenceIterator
-
- value() - Method in class ru.ispras.testbase.knowledge.iterator.SingleValueIterator
-
- valueOf(String) - Static method in enum ru.ispras.testbase.knowledge.floating.FpException
-
Returns the enum constant of this type with the specified name.
- valueOf(long, long, long) - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Constructs a floating-point number.
- valueOf(String) - Static method in enum ru.ispras.testbase.knowledge.integer.IntException
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.testbase.knowledge.iterator.FilteringIterator.Type
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum ru.ispras.testbase.TestBaseQueryResult.Status
-
Returns the enum constant of this type with the specified name.
- valueOfBits(long) - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Constructs a floating-point number.
- valueOfUnsigned(long) - Method in class ru.ispras.testbase.knowledge.floating.FpFormat
-
Constructs a floating-point number.
- values() - Static method in enum ru.ispras.testbase.knowledge.floating.FpException
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.testbase.knowledge.integer.IntException
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.testbase.knowledge.iterator.FilteringIterator.Type
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum ru.ispras.testbase.TestBaseQueryResult.Status
-
Returns an array containing the constants of this enum type, in
the order they are declared.