cprover
Public Types | Public Member Functions | Public Attributes | List of all members
jsil_parse_treet Class Reference

#include <jsil_parse_tree.h>

Collaboration diagram for jsil_parse_treet:
[legend]

Public Types

typedef std::list< jsil_declarationt > itemst
 

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

typedef std::list<jsil_declarationt> jsil_parse_treet::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 items.

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.

References items.

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 clear(), jsil_convertt::operator()(), output(), swap(), and jsil_languaget::to_expr().

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