module Reason_graph: sig
.. end
Why is a node impacted. The reasons will be given as n is impacted
by the effect of [n'], and the impact is of type reason
.
module NS: PdgTypes.NodeSet
type
reason_type =
| |
Intraprocedural of PdgTypes.Dpd.t |
| |
InterproceduralDownward |
| |
InterproceduralUpward |
Why is a node impacted. The reasons will be given as n is impacted
by the effect of [n'], and the impact is of type reason
.
module ReasonType: Datatype.Make
(
sig
end
)
module Reason: Datatype.Triple_with_collections
(
PdgTypes.Node
)
(
PdgTypes.Node
)
(
ReasonType
)
(
sig
end
)
Reasons for impact are expressed as sets (n', n, reason)
type
reason = Reason.Set.t
val empty : Reason.Set.t
module Printer: sig
.. end
module Dot: Graph.Graphviz.Dot
(
Printer
)
val to_dot_file : temp:bool -> Printer.t -> string
val print_dot_graph : Printer.t -> unit
val print_reason : Reason.Set.t -> unit