cprover
smt2_parsert Class Referenceabstract

#include <smt2_parser.h>

Inheritance diagram for smt2_parsert:
[legend]
Collaboration diagram for smt2_parsert:
[legend]

Public Member Functions

 smt2_parsert (std::istream &_in)
 
void operator() ()
 

Protected Member Functions

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

Protected Attributes

std::istream & in
 
std::string buffer
 

Private Member Functions

void get_decimal_numeral ()
 
void get_hex_numeral ()
 
void get_bin_numeral ()
 
void get_simple_symbol ()
 
void get_quoted_symbol ()
 
void get_string_literal ()
 
bool is_simple_symbol_character (char ch)
 

Detailed Description

Definition at line 16 of file smt2_parser.h.

Constructor & Destructor Documentation

◆ smt2_parsert()

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

Definition at line 19 of file smt2_parser.h.

Member Function Documentation

◆ close_expression()

virtual void smt2_parsert::close_expression ( )
protectedpure virtual

Implemented in smt2irept.

Referenced by operator()().

◆ error()

virtual void smt2_parsert::error ( const std::string &  )
protectedpure virtual

Implemented in smt2irept.

Referenced by get_string_literal(), and operator()().

◆ get_bin_numeral()

void smt2_parsert::get_bin_numeral ( )
private

Definition at line 75 of file smt2_parser.cpp.

References buffer, and in.

Referenced by operator()().

◆ get_decimal_numeral()

void smt2_parsert::get_decimal_numeral ( )
private

Definition at line 52 of file smt2_parser.cpp.

References buffer, and in.

Referenced by operator()().

◆ get_hex_numeral()

void smt2_parsert::get_hex_numeral ( )
private

Definition at line 100 of file smt2_parser.cpp.

References buffer, and in.

Referenced by operator()().

◆ get_quoted_symbol()

void smt2_parsert::get_quoted_symbol ( )
private

Definition at line 125 of file smt2_parser.cpp.

References buffer, and in.

Referenced by operator()().

◆ get_simple_symbol()

void smt2_parsert::get_simple_symbol ( )
private

Definition at line 27 of file smt2_parser.cpp.

References buffer, in, and is_simple_symbol_character().

Referenced by operator()().

◆ get_string_literal()

void smt2_parsert::get_string_literal ( )
private

Definition at line 145 of file smt2_parser.cpp.

References buffer, error(), and in.

Referenced by operator()().

◆ is_simple_symbol_character()

bool smt2_parsert::is_simple_symbol_character ( char  ch)
private

Definition at line 14 of file smt2_parser.cpp.

Referenced by get_simple_symbol(), and operator()().

◆ keyword()

virtual void smt2_parsert::keyword ( )
protectedpure virtual

Implemented in smt2irept.

Referenced by operator()().

◆ numeral()

virtual void smt2_parsert::numeral ( )
protectedpure virtual

Implemented in smt2irept.

Referenced by operator()().

◆ open_expression()

virtual void smt2_parsert::open_expression ( )
protectedpure virtual

Implemented in smt2irept.

Referenced by operator()().

◆ operator()()

◆ string_literal()

virtual void smt2_parsert::string_literal ( )
protectedpure virtual

Implemented in smt2irept.

Referenced by operator()().

◆ symbol()

virtual void smt2_parsert::symbol ( )
protectedpure virtual

Implemented in smt2irept.

Referenced by operator()().

Member Data Documentation

◆ buffer

std::string smt2_parsert::buffer
protected

◆ in

std::istream& smt2_parsert::in
protected

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