org.opalj.ai
Defines an extractor method for instances of IsReferenceValue objects.
IsReferenceValue
To ensure that the generic type can be matched, it may be necessary to first cast a generic org.opalj.ai.ValuesDomain.DomainValue to a org.opalj.ai.ValuesDomain.DomainReferenceValue.
val d : Domain = ... val d.DomainReferenceValue(v) = /*some domain value; e.g., operands.head*/ val BaseReferenceValues(values) = v values...
Defines an extractor method for instances of
IsReferenceValue
objects.To ensure that the generic type can be matched, it may be necessary to first cast a generic org.opalj.ai.ValuesDomain.DomainValue to a org.opalj.ai.ValuesDomain.DomainReferenceValue.