Module type PdgMarks.Mark

module type Mark = sig .. end

Signature of the module to use in order to instanciate the computation

Type of the module that the user has to provide to describe the marks.

type t

type of the information mapped to the nodes

type call_info

type of the information mapped to the function calls. This can be unit if there is nothing to store for the calls. (see PdgIndex.FctIndex for more information)

val is_bottom : t -> bool

used to test combine result (see below)

val merge : t -> t -> t

merge two pieces of information

val combine : t -> t -> t * t

combine is used during propagation. It should return (new_mark, mark_to_prop) = combine old_mak new_mark where new_mark is the mark to associate with the node, and mark_to_prop the mark to propagate to its dependencies. If is_bottom mark_to_prop, the propagation is stopped.

val pretty : Format.formatter -> t -> unit