lispexprt Class Reference

#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)

Detailed Description

Definition at line 73 of file lispexpr.h.

Member Enumeration Documentation

anonymous enum

anonymous enum

Enumerator
String
Symbol
Number
List

Definition at line 76 of file lispexpr.h.

Member Function Documentation

expr2string()

std::string lispexprt::expr2string

(

)

const

Definition at line 15 of file lispexpr.cpp.

is_nil()

bool lispexprt::is_nil ( ) const

inline

Definition at line 80 of file lispexpr.h.

make_nil()

void lispexprt::make_nil ( )

inline

Definition at line 83 of file lispexpr.h.

parse() [1/2]

bool lispexprt::parse

(

const std::string &

s

)

Definition at line 54 of file lispexpr.cpp.

parse() [2/2]

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

protected

Definition at line 60 of file lispexpr.cpp.

Member Data Documentation

enum { ... } lispexprt::type

value

lispsymbolt lispexprt::value

Definition at line 77 of file lispexpr.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/lispexpr.h
• /home/runner/work/cbmc/cbmc/src/util/lispexpr.cpp