li

Type Members

1. class DefaultConfigurableDomain[I, Source] extends CorrelationalDomain with DefaultDomainValueBinding with ThrowAllPotentialExceptionsConfiguration with TheProject with TheMethod with PerInstructionPostProcessing with DefaultHandlingOfMethodResults with IgnoreSynchronization with DefaultTypeLevelFloatValues with DefaultTypeLevelDoubleValues with TypeLevelFieldAccessInstructions with TypeLevelInvokeInstructions with DefaultClassValuesBinding with DefaultArrayValuesBinding with DefaultPreciseIntegerValues with DefaultPreciseLongValues with ConcretePrimitiveValuesConversions

   

2. class DefaultDomain[Source] extends DefaultConfigurableDomain[String, Source]

   

3. trait DefaultPreciseIntegerValues extends DefaultDomainValueBinding with PreciseIntegerValues

   

   Basic implementation of the PreciseIntegerValues trait that requires that Domain's Value trait is not extended.

4. trait DefaultPreciseLongValues extends DefaultDomainValueBinding with PreciseLongValues

   

   Basic implementation of the PreciseLongValues trait that requires that Domain's Value trait is not extended.

5. trait PreciseIntegerValues extends IntegerValuesDomain with ConcreteIntegerValues

   

   Domain to track integer values at a configurable level of precision.

   Domain to track integer values at a configurable level of precision.

   This domain requires support for performing concrete interpretations.

6. trait PreciseLongValues extends LongValuesDomain with ConcreteLongValues

   

   Domain to track long values at a configurable level of precision.

   Domain to track long values at a configurable level of precision.

   THIS DOMAIN IS CURRENTLY BUGGY AND SHOULD NOT BE USED