Pdg_types
This module can be useful to store some information about different * elements of a function. * * PdgIndex.Signature
is used to store information * about function inputs/outputs either for the function itself or for its * calls. PdgIndex.Key
provides keys to identify the different * elements we want to speak about. PdgIndex.FctIndex
is the main * object that manages the stored information. * * This module is used for instance to store the relation between a function * elements and the nodes of its PDG, but it can also be used to store many * other things.
This module provides elements to mapped information (here called 'marks') * to PDG elements and propagate it along the dependencies. * * Some more functions are defined in the PDG plugin itself * (in pdg/marks
): * the signatures of these public functions can be found in file Pdg.mli