Should be mixed in by Value
classes that capture information about all origins
of a value.
Should be mixed in by Value
s that have a single origin.
Returns the origin(s) of the given value if the information is available.
Returns the origin(s) of the given value if the information is available.
The source(s) of the given value if the information is available.
Whether the information is available depends on the concrete domains.
This trait only defines a general contract how to get access to a
value's origin (I.e., the origin of the instruction which created the
respective value.)
By default this method returns an empty Iterable
.
Provides information about the origin of a value.
Usage
To get origin information this trait needs be implemented by a domain. I.e., just mixing in this trait will not provide origin information about values.
Implementation
This trait should be inherited from by all domains that make information about the origin of a value available (see org.opalj.ai.domain.l1.ReferenceValues as an example).