parsert Class Reference

#include <parser.h>

Public Member Functions
virtual void	clear ()
	parsert ()
	parsert (const parsert &obj)=delete
parsert &	operator= (const parsert &rhs)=delete
virtual bool	read (char &ch)
virtual bool	parse ()
virtual bool	peek (char &ch)
virtual bool	eof ()
void	parse_error (const std::string &message, const std::string &before)
void	set_location (exprt &e)

Public Attributes
std::istream *	in
irep_idt	filename
irep_idt	function
unsigned	line_no
std::string	last_line
std::vector< exprt >	stack

Constructor & Destructor Documentation

parsert() [1/2]

parsert::parsert ( )

inline

parsert() [2/2]

parsert::parsert ( const parsert & obj )

delete

Member Function Documentation

clear()

virtual void parsert::clear ( )

inlinevirtual

eof()

virtual bool parsert::eof ( )

inlinevirtual

operator=()

parsert & parsert::operator= ( const parsert & rhs )

delete

parse()

virtual bool parsert::parse ( )

inlinevirtual

parse_error()

void parsert::parse_error	(	const std::string &	message,
		const std::string &	before )

peek()

virtual bool parsert::peek ( char & ch )

inlinevirtual

read()

virtual bool parsert::read ( char & ch )

inlinevirtual

set_location()

void parsert::set_location ( exprt & e )

inline

Member Data Documentation

filename

irep_idt parsert::filename

function

irep_idt parsert::function

in

std::istream* parsert::in

last_line

std::string parsert::last_line

line_no

unsigned parsert::line_no

stack

std::vector<exprt> parsert::stack

---

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

• src/util/lang/parser.h
• src/util/lang/parser.cpp