Struct paralegal_spdg::SPDG

pub struct SPDG {
    pub name: Identifier,
    pub path: Box<[Identifier]>,
    pub id: Endpoint,
    pub graph: SPDGImpl,
    pub markers: HashMap<Node, Box<[Identifier]>>,
    pub arguments: Box<[Node]>,
    pub return_: Box<[Node]>,
    pub type_assigns: HashMap<Node, Types>,
    pub statistics: SPDGStats,
}

A semantic PDG, e.g. a graph plus marker annotations

Fields

name: Identifier

The identifier of the entry point to this computation

path: Box<[Identifier]>

The module path to this controller function

id: Endpoint

The id

graph: SPDGImpl

The PDG

markers: HashMap<Node, Box<[Identifier]>>

Nodes to which markers are assigned.

arguments: Box<[Node]>

The nodes that represent arguments to the entrypoint

return_: Box<[Node]>

If the return is () or ! then this is None

type_assigns: HashMap<Node, Types>

Stores the assignment of relevant (e.g. marked) types to nodes. Node that this contains multiple types for a single node, because it hold top-level types and subtypes that may be marked.

statistics: SPDGStats

Statistics

Implementations

impl SPDG

pub fn node_info(&self, node: Node) -> &NodeInfo

Retrieve metadata for this node

pub fn data_sinks(&self) -> impl Iterator<Item = Node> + '_

Returns an iterator over all the data sinks in the data_flow relation.

pub fn edges(&self) -> impl Iterator<Item = EdgeReference<'_, EdgeInfo>> + '_

An iterator over all edges in this graph.

pub fn all_sources(&self) -> impl Iterator<Item = Node> + '_

Gather all Nodes that are mentioned in this controller including data and control flow.

pub fn dump_dot(&self, out: impl Write) -> Result<()>

Dump this graph in dot format.

pub fn arguments(&self) -> NodeCluster

The arguments of this spdg. The same as the arguments field, but conveniently paired with the controller id

pub fn node_types(&self, node: Node) -> &[TypeId]

All types (if any) assigned to this node

Trait Implementations

impl Clone for SPDG

fn clone(&self) -> SPDG

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SPDG

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SPDG

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SPDG

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.