|
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().