clang::dataflow::SimpleLogicalContext Struct Reference

A simple representation of essential elements of the logical context used in environments. More...

#include "clang/Analysis/FlowSensitive/DataflowAnalysisContext.h"

Public Attributes
const Formula *	Invariant
llvm::DenseMap< Atom, const Formula * >	TokenDefs
llvm::DenseMap< Atom, llvm::DenseSet< Atom > >	TokenDeps

Detailed Description

A simple representation of essential elements of the logical context used in environments.

Designed for import/export for applications requiring serialization support.

Definition at line 48 of file DataflowAnalysisContext.h.

Member Data Documentation

Invariant

const Formula* clang::dataflow::SimpleLogicalContext::Invariant

Definition at line 50 of file DataflowAnalysisContext.h.

Referenced by clang::dataflow::DataflowAnalysisContext::exportLogicalContext(), and clang::dataflow::DataflowAnalysisContext::initLogicalContext().

TokenDefs

llvm::DenseMap<Atom, const Formula *> clang::dataflow::SimpleLogicalContext::TokenDefs

Definition at line 52 of file DataflowAnalysisContext.h.

Referenced by clang::dataflow::DataflowAnalysisContext::exportLogicalContext(), and clang::dataflow::DataflowAnalysisContext::initLogicalContext().

TokenDeps

llvm::DenseMap<Atom, llvm::DenseSet<Atom> > clang::dataflow::SimpleLogicalContext::TokenDeps

Definition at line 54 of file DataflowAnalysisContext.h.

Referenced by clang::dataflow::DataflowAnalysisContext::exportLogicalContext(), and clang::dataflow::DataflowAnalysisContext::initLogicalContext().

---

The documentation for this struct was generated from the following file:

• include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h