#include "utap/prettyprinter.h"#include <cstring>#include <stack>#include <sstream>#include <stdexcept>
Include dependency graph for prettyprinter.cpp:
Go to the source code of this file.
Functions | |
| static const char * | getBuiltinFunName (kind_t kind) |
Variables | |
| static const char *const | prefix_label [] |
Function Documentation
◆ getBuiltinFunName()
|
static |
Definition at line 823 of file prettyprinter.cpp.
References UTAP::Constants::ABS_F, and UTAP::Constants::RANDOM_TRI_F.
Referenced by UTAP::PrettyPrinter::exprBuiltinFunction1(), UTAP::PrettyPrinter::exprBuiltinFunction2(), and UTAP::PrettyPrinter::exprBuiltinFunction3().
Here is the caller graph for this function:
Variable Documentation
◆ prefix_label
|
static |
Initial value:
=
{
"", "const ", "urgent ", "", "broadcast ", "", "urgent broadcast ", "",
"meta "
}
Definition at line 39 of file prettyprinter.cpp.
Referenced by UTAP::PrettyPrinter::typeBool(), UTAP::PrettyPrinter::typeBoundedInt(), UTAP::PrettyPrinter::typeChannel(), UTAP::PrettyPrinter::typeClock(), UTAP::PrettyPrinter::typeDouble(), UTAP::PrettyPrinter::typeInt(), UTAP::PrettyPrinter::typeName(), UTAP::PrettyPrinter::typeScalar(), and UTAP::PrettyPrinter::typeStruct().
