CBMC: /home/runner/work/cbmc/cbmc/src/ansi-c/c_misc.cpp Source File

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

17{

18 switch(c)

19 {

20 case '\'':

21 if(inString)

22 out << "'";

23 else

24 out << "\\'";

25 break;

26

27 case '"':

28 if(inString)

29 out << "\\\"";

30 else

31 out << "\"";

32 break;

33

34 case '0円':

35 out << "\0円";

36 break;

37

38 case '\\':

39 out << "\\\\";

40 break;

41

42 case '\n':

43 out << "\\n";

44 break;

45

46 case '\t':

47 out << "\\t";

48 break;

49

50 case '\r':

51 out << "\\r";

52 break;

53

54 case '\f':

55 out << "\\f";

56 break;

57

58 case '\b':

59 out << "\\b";

60 break;

61

62 case '\v':

63 out << "\\v";

64 break;

65

66 case '\a':

67 out << "\\a";

68 break;

69

70 default:

71 // Show low and certain high ascii as octal

72 if((static_cast<unsigned char>(c)<' ') || (c==127))

73 {

74 out << "\\" << std::oct << static_cast<unsigned char>(c);

75 }

76 else

77 {

78 // leave everything else to permit UTF-8 and 8-bit codepages

79 out << c;

80 }

81

82 break;

83 }

84}

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

96{

97 std::ostringstream result;

98

99 for(const auto &ch : in)

100 MetaChar(result, ch, true);

101

102 return result.str();

103}

MetaString

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

Definition c_misc.cpp:95

MetaChar

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

Definition c_misc.cpp:16

c_misc.h

ANSI-C Misc Utilities.

ait

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:566