Adding comments on the non-standard patternt

thk123 · thk123 · commit 4a538d20bfe9 · 2018-02-05T17:54:27.000Z
diff --git a/src/java_bytecode/java_bytecode_convert_method.cpp b/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -45,6 +45,9 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <unordered_set>
 #include <regex>
 
+/// Given a string of the format '?blah?', will return true when compared
+/// against a string that matches appart from any characters that are '?'
+/// in the original string. Equivalent to doing a regex match on '.blah.'
 class patternt
 {
 public:

Original file line number	Diff line number	Diff line change
`@@ -45,6 +45,9 @@ Author: Daniel Kroening, kroening@kroening.com`
`45`	`45`	`#include <unordered_set>`
`46`	`46`	`#include <regex>`
`47`	`47`
	`48`	`+/// Given a string of the format '?blah?', will return true when compared`
	`49`	`+/// against a string that matches appart from any characters that are '?'`
	`50`	`+/// in the original string. Equivalent to doing a regex match on '.blah.'`
`48`	`51`	`class patternt`
`49`	`52`	`{`
`50`	`53`	`public:`