cprover
taint_parse_treet Class Reference

#include <taint_parser.h>

Collaboration diagram for taint_parse_treet:
[legend]

Classes

class  rulet
 

Public Types

typedef std::list< ruletrulest
 

Public Member Functions

void output (std::ostream &) const
 

Public Attributes

rulest rules
 

Detailed Description

Definition at line 22 of file taint_parser.h.

Member Typedef Documentation

◆ rulest

typedef std::list<rulet> taint_parse_treet::rulest

Definition at line 59 of file taint_parser.h.

Member Function Documentation

◆ output()

void taint_parse_treet::output ( std::ostream &  out) const

Definition at line 150 of file taint_parser.cpp.

References rules.

Referenced by taint_analysist::operator()().

Member Data Documentation

◆ rules

rulest taint_parse_treet::rules

The documentation for this class was generated from the following files: