|
cprover
|
#include <lispexpr.h>
Inheritance diagram for lispexprt:
Collaboration diagram for lispexprt: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 15 of file lispexpr.cpp.
|
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 54 of file lispexpr.cpp.
|
protected |
Definition at line 60 of file lispexpr.cpp.
| enum { ... } lispexprt::type |
| lispsymbolt lispexprt::value |
Definition at line 78 of file lispexpr.h.