cprover
lispexprt Class Reference

#include <lispexpr.h>

Inheritance diagram for lispexprt:
[legend]
Collaboration diagram for lispexprt:
[legend]

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)
 

Detailed Description

Definition at line 74 of file lispexpr.h.

Member Enumeration Documentation

§ anonymous enum

anonymous enum
Enumerator
String 
Symbol 
Number 
List 

Definition at line 77 of file lispexpr.h.

Member Function Documentation

§ expr2string()

std::string lispexprt::expr2string ( ) const

§ is_nil()

bool lispexprt::is_nil ( ) const
inline

Definition at line 81 of file lispexpr.h.

§ make_nil()

void lispexprt::make_nil ( )
inline

Definition at line 84 of file lispexpr.h.

References size_type().

§ parse() [1/2]

bool lispexprt::parse ( const std::string &  s)

Definition at line 52 of file lispexpr.cpp.

References size_type().

Referenced by parse(), and test_lispexpr().

§ parse() [2/2]

bool lispexprt::parse ( const std::string &  s,
std::string::size_type ptr 
)
protected

Definition at line 58 of file lispexpr.cpp.

References dot(), List, Number, parse(), String, Symbol, type, and value.

Member Data Documentation

§ type

enum { ... } lispexprt::type

§ value

lispsymbolt lispexprt::value

Definition at line 78 of file lispexpr.h.

Referenced by expr2string(), irep2lisp(), lisp2irep(), and parse().


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