CBMC
Classes | Public Types | Public Member Functions | Public Attributes | List of all members
taint_parse_treet Class Reference

#include <taint_parser.h>

+ Collaboration diagram for taint_parse_treet:

Classes

class  rulet
 

Public Types

typedef std::list< rulet > rulest
 

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: