GDBMIPrinter.st
changeset 200 e9250da35d87
parent 199 cb411138b295
child 208 b0d2028189fa
--- a/GDBMIPrinter.st	Mon Jul 08 10:58:09 2019 +0100
+++ b/GDBMIPrinter.st	Mon Jul 08 12:34:18 2019 +0100
@@ -81,6 +81,16 @@
     "Created: / 11-07-2017 / 21:21:58 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
+!GDBMIPrinter class methodsFor:'utilities'!
+
+cescaped: string
+    "Return `string` with C-style escaping"
+
+    ^ String streamContents:[:s|(self on: s) printCEscapedString: string ]
+
+    "Created: / 08-07-2019 / 11:21:42 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+! !
+
 !GDBMIPrinter methodsFor:'initialization'!
 
 setStream: aStream