CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | Protected Member Functions | List of all members
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)
 
 
 

Public Attributes

enum lispexprt:: { ... }   type
 
 

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

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:

AltStyle によって変換されたページ (->オリジナル) /