prettyprinter.cpp File Reference

#include <stack>
#include <sstream>
#include <stdexcept>
#include "utap/prettyprinter.h"

Variables
static const char *const	prefix_label []

---

Variable Documentation

const char* const prefix_label[] [static]

Initial value:

 
{
    "", "const ", "urgent ", "", "broadcast ", "", "urgent broadcast ", "",
    "meta "
}

---