cprover
jsil_parse_treet Class Reference

#include <jsil_parse_tree.h>

Collaboration diagram for jsil_parse_treet:
[legend]

Public Types

typedef std::list< jsil_declarationtitemst
 

Public Member Functions

void swap (jsil_parse_treet &other)
 
void clear ()
 
void output (std::ostream &out) const
 

Public Attributes

itemst items
 

Detailed Description

Definition at line 101 of file jsil_parse_tree.h.

Member Typedef Documentation

§ itemst

Definition at line 104 of file jsil_parse_tree.h.

Member Function Documentation

§ clear()

void jsil_parse_treet::clear ( void  )
inline

Definition at line 112 of file jsil_parse_tree.h.

References jsil_declarationt::output().

Referenced by jsil_parsert::clear().

§ output()

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

Definition at line 91 of file jsil_parse_tree.cpp.

Referenced by jsil_languaget::show_parse().

§ swap()

void jsil_parse_treet::swap ( jsil_parse_treet other)
inline

Definition at line 107 of file jsil_parse_tree.h.

References items.

Referenced by jsil_languaget::parse().

Member Data Documentation

§ items

itemst jsil_parse_treet::items

Definition at line 105 of file jsil_parse_tree.h.

Referenced by jsil_convertt::operator()(), swap(), and jsil_languaget::to_expr().


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