Package

org.opalj.ai.domain

li

Permalink

package li

Visibility
  1. Public
  2. All

Type Members

  1. class DefaultDomain[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

    Permalink
  2. trait DefaultPreciseIntegerValues extends DefaultDomainValueBinding with PreciseIntegerValues

    Permalink

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

  3. trait DefaultPreciseLongValues extends DefaultDomainValueBinding with PreciseLongValues

    Permalink

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

  4. trait PreciseIntegerValues extends IntegerValuesDomain with ConcreteIntegerValues

    Permalink

    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.

  5. trait PreciseLongValues extends LongValuesDomain with ConcreteLongValues

    Permalink

    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

Ungrouped