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.

References Symbol, type, and value.

◆ make_nil()

void lispexprt::make_nil ( )
inline

Definition at line 84 of file lispexpr.h.

References Symbol, type, and value.

◆ 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(), is_nil(), lisp2irep(), make_nil(), and parse().


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