cprover
Loading...
Searching...
No Matches
taint_parse_treet Class Reference

#include <taint_parser.h>

Collaboration diagram for taint_parse_treet:

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 23 of file taint_parser.h.

Member Typedef Documentation

◆ rulest

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

Definition at line 62 of file taint_parser.h.

Member Function Documentation

◆ output()

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

Definition at line 146 of file taint_parser.cpp.

Member Data Documentation

◆ rules

rulest taint_parse_treet::rules

Definition at line 63 of file taint_parser.h.


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