Frama-C API - Eva_ast_deps
Dependencies of expressions and lvalues.
module type DepsOf = sig ... endDependencies of expressions and lvalues based on type location.
module type DepsOfInput = sig ... endInput for MakeDepsOf functor.
module MakeDepsOf (Loc : DepsOfInput) : DepsOf with type location = Loc.locationMake DepsOf module based on a given location.
module PreciseDepsOf : DepsOf with type location = Frama_c_kernel.Precise_locs.precise_locationDependencies of expressions and lvalues based on Precise_locs.precise_location.