CBMC
Loading...
Searching...
No Matches
Functions
c_misc.cpp File Reference

ANSI-C Misc Utilities. More...

#include "c_misc.h"
#include <sstream>
+ Include dependency graph for c_misc.cpp:

Go to the source code of this file.

Functions

static void  MetaChar (std::ostringstream &out, char c, bool inString)
 
std::string  MetaString (const std::string &in)
 

Detailed Description

ANSI-C Misc Utilities.

Definition in file c_misc.cpp.

Function Documentation

◆  MetaChar()

static void MetaChar ( std::ostringstream &  out,
char  c,
bool  inString 
)
static

Definition at line 16 of file c_misc.cpp.

◆  MetaString()

std::string MetaString ( const std::string &  in )

Definition at line 95 of file c_misc.cpp.

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