Module PdgTypes.Node

module Node: sig .. end

A node of the PDG : includes some information to know where it comes from.

Node.t is the type of the PDG vertex.


include Datatype.S_with_collections
val id : t -> int
val elem_key : t -> PdgIndex.Key.t
val stmt : t -> Cil_types.stmt option
val pretty_list : Stdlib.Format.formatter -> t list -> unit
val pretty_with_part : Stdlib.Format.formatter -> t * Locations.Zone.t option -> unit
val pretty_node : Stdlib.Format.formatter -> t -> unit