Module paralegal_policy::context

Modules

• private 🔒

Structs

• Context
  Interface for defining policies.
• DisplayDef
  Provide display trait for DefId in a Context.
• MarkerTargets
  Collection of entities a particular marker has been applied to

Traits

• NodeExt
  Extension trait with queries for single nodes
• NodeQueries
  Context queries conveniently accessible on nodes

Functions

• bfs_iter 🔒

Type Aliases

• DefId
• FlowsTo 🔒
• FunctionId
  The type identifying a function that is used in call sites.
• LocalDefId
• MarkableId
  Identifier for a graph element that allows attaching a marker.
• Marker
  User-defined PDG markers.
• MarkerIndex 🔒