ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
language_uit Class Reference

#include <language_ui.h>

Inheritance diagram for language_uit:
[legend]

Public Types

typedef std::map< language_idt, std::unique_ptr< languaget > > langmapt

Public Member Functions

 language_uit ()
virtual ~language_uit () noexcept=default
virtual bool parse (const cmdlinet &cmdline)
virtual bool parse (const std::string &filename)
virtual bool typecheck ()
virtual bool final ()
virtual void clear_parse ()
virtual void show_symbol_table ()
virtual void show_symbol_table_plain (std::ostream &out)
virtual void show_symbol_table_xml_ui ()

Public Attributes

langmapt langmap
contextt context
namespacet ns

Protected Member Functions

 language_uit (language_uit &&) noexcept
language_uit & operator= (language_uit &&) noexcept

Member Typedef Documentation

◆ langmapt

typedef std::map<language_idt, std::unique_ptr<languaget> > language_uit::langmapt

Constructor & Destructor Documentation

◆ language_uit() [1/2]

language_uit::language_uit ( )

◆ ~language_uit()

virtual language_uit::~language_uit ( )
virtualdefaultnoexcept

◆ language_uit() [2/2]

language_uit::language_uit ( language_uit && o)
protectednoexcept

Member Function Documentation

◆ clear_parse()

virtual void language_uit::clear_parse ( )
inlinevirtual

◆ final()

bool language_uit::final ( )
virtual

◆ operator=()

language_uit & language_uit::operator= ( language_uit && o)
protectednoexcept

◆ parse() [1/2]

bool language_uit::parse ( const cmdlinet & cmdline)
virtual

◆ parse() [2/2]

bool language_uit::parse ( const std::string & filename)
virtual

◆ show_symbol_table()

void language_uit::show_symbol_table ( )
virtual

◆ show_symbol_table_plain()

void language_uit::show_symbol_table_plain ( std::ostream & out)
virtual

◆ show_symbol_table_xml_ui()

void language_uit::show_symbol_table_xml_ui ( )
virtual

◆ typecheck()

bool language_uit::typecheck ( )
virtual

Member Data Documentation

◆ context

contextt language_uit::context

◆ langmap

langmapt language_uit::langmap

◆ ns

namespacet language_uit::ns

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