cprover
|
#include <lispexpr.h>
Public Types | |
enum | { String, Symbol, Number, List } |
Public Member Functions | |
std::string | expr2string () const |
bool | parse (const std::string &s) |
bool | is_nil () const |
void | make_nil () |
Public Attributes | |
enum lispexprt:: { ... } | type |
lispsymbolt | value |
Protected Member Functions | |
bool | parse (const std::string &s, std::string::size_type &ptr) |
Definition at line 74 of file lispexpr.h.
anonymous enum |
Enumerator | |
---|---|
String | |
Symbol | |
Number | |
List |
Definition at line 77 of file lispexpr.h.
std::string lispexprt::expr2string | ( | ) | const |
Definition at line 13 of file lispexpr.cpp.
References escape(), List, Number, String, Symbol, type, and value.
Referenced by expr2ct::convert_norep(), expr2ct::convert_rec(), expr2cppt::convert_rec(), and operator<<().
|
inline |
Definition at line 81 of file lispexpr.h.
|
inline |
Definition at line 84 of file lispexpr.h.
bool lispexprt::parse | ( | const std::string & | s | ) |
Definition at line 52 of file lispexpr.cpp.
References size_type().
Referenced by parse(), and test_lispexpr().
|
protected |
enum { ... } lispexprt::type |
Referenced by expr2string(), irep2lisp(), is_nil(), lisp2irep(), make_nil(), and parse().
lispsymbolt lispexprt::value |
Definition at line 78 of file lispexpr.h.
Referenced by expr2string(), irep2lisp(), is_nil(), lisp2irep(), make_nil(), and parse().