| 392 | } |
| 393 | |
| 394 | static void PrintStateLabel(FLispString &out, const ZCC_TreeNode *node) |
| 395 | { |
| 396 | ZCC_StateLabel *snode = (ZCC_StateLabel *)node; |
| 397 | out.Open("state-label"); |
| 398 | out.AddName(snode->Label); |
| 399 | out.Close(); |
| 400 | } |
| 401 | |
| 402 | static void PrintStateStop(FLispString &out, const ZCC_TreeNode *node) |
| 403 | { |