| 233 | // ---------------------------------------------------------------------------------------- |
| 234 | |
| 235 | bool is_formal_comment ( |
| 236 | const string& str |
| 237 | ) |
| 238 | { |
| 239 | if (str.size() < 6) |
| 240 | return false; |
| 241 | |
| 242 | if (str[0] == '/' && |
| 243 | str[1] == '*' && |
| 244 | str[2] == '!' && |
| 245 | str[3] != 'P' && |
| 246 | str[3] != 'p' && |
| 247 | str[str.size()-3] == '!' && |
| 248 | str[str.size()-2] == '*' && |
| 249 | str[str.size()-1] == '/' ) |
| 250 | return true; |
| 251 | |
| 252 | return false; |
| 253 | } |
| 254 | |
| 255 | // ---------------------------------------------------------------------------------------- |
| 256 |