cprover
smt2irept Class Reference
Inheritance diagram for smt2irept:
[legend]
Collaboration diagram for smt2irept:
[legend]

Public Member Functions

 smt2irept (std::istream &_in)
 
irept operator() ()
 
- Public Member Functions inherited from smt2_parsert
 smt2_parsert (std::istream &_in)
 
void operator() ()
 

Protected Member Functions

virtual void symbol ()
 
virtual void string_literal ()
 
virtual void numeral ()
 
virtual void open_expression ()
 
virtual void close_expression ()
 
virtual void keyword ()
 
virtual void error (const std::string &message)
 

Protected Attributes

irept result
 
std::stack< ireptstack
 
- Protected Attributes inherited from smt2_parsert
std::istream & in
 
std::string buffer
 

Detailed Description

Definition at line 16 of file smt2irep.cpp.

Constructor & Destructor Documentation

◆ smt2irept()

smt2irept::smt2irept ( std::istream &  _in)
inlineexplicit

Definition at line 19 of file smt2irep.cpp.

Member Function Documentation

◆ close_expression()

virtual void smt2irept::close_expression ( )
inlineprotectedvirtual

Implements smt2_parsert.

Definition at line 61 of file smt2irep.cpp.

References result, and stack.

◆ error()

virtual void smt2irept::error ( const std::string &  message)
inlineprotectedvirtual

Implements smt2_parsert.

Definition at line 80 of file smt2irep.cpp.

◆ keyword()

virtual void smt2irept::keyword ( )
inlineprotectedvirtual

Implements smt2_parsert.

Definition at line 75 of file smt2irep.cpp.

◆ numeral()

virtual void smt2irept::numeral ( )
inlineprotectedvirtual

Implements smt2_parsert.

Definition at line 48 of file smt2irep.cpp.

References symbol().

◆ open_expression()

virtual void smt2irept::open_expression ( )
inlineprotectedvirtual

Implements smt2_parsert.

Definition at line 54 of file smt2irep.cpp.

References stack.

◆ operator()()

irept smt2irept::operator() ( void  )
inline

Definition at line 23 of file smt2irep.cpp.

References smt2_parsert::operator()(), and result.

◆ string_literal()

virtual void smt2irept::string_literal ( )
inlineprotectedvirtual

Implements smt2_parsert.

Definition at line 43 of file smt2irep.cpp.

References symbol().

◆ symbol()

virtual void smt2irept::symbol ( )
inlineprotectedvirtual

Implements smt2_parsert.

Definition at line 35 of file smt2irep.cpp.

References smt2_parsert::buffer, result, and stack.

Referenced by numeral(), and string_literal().

Member Data Documentation

◆ result

irept smt2irept::result
protected

Definition at line 30 of file smt2irep.cpp.

Referenced by close_expression(), operator()(), and symbol().

◆ stack

std::stack<irept> smt2irept::stack
protected

Definition at line 31 of file smt2irep.cpp.

Referenced by close_expression(), open_expression(), and symbol().


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