|
libutap
0.93
Uppaal Timed Automata Parser
|
#include "utap/statementbuilder.h"#include <vector>#include <climits>#include <cmath>#include <cstdio>#include <cassert>#include <cinttypes>#include <stdexcept>#include <sstream>#include <boost/tuple/tuple.hpp>
Go to the source code of this file.
Functions | |
| static bool | initRec (type_t type, int thisTypeOnly) |
| static bool | initialisable (type_t type) |
| static bool | mustInitialise (type_t type) |
|
static |
Definition at line 234 of file statementbuilder.cpp.
References initRec().
Referenced by UTAP::StatementBuilder::declVar(), and UTAP::TypeChecker::TypeChecker().


|
static |
Definition at line 203 of file statementbuilder.cpp.
References UTAP::Constants::ARRAY, UTAP::type_t::getArraySize(), UTAP::type_t::getKind(), UTAP::type_t::getSub(), UTAP::type_t::isClock(), UTAP::type_t::isDouble(), UTAP::type_t::isIntegral(), UTAP::type_t::isScalar(), UTAP::Constants::RECORD, UTAP::type_t::size(), and UTAP::type_t::strip().
Referenced by initialisable().


|
static |
Definition at line 239 of file statementbuilder.cpp.
References UTAP::Constants::CONSTANT, UTAP::Constants::FUNCTION, UTAP::type_t::getKind(), UTAP::Constants::INSTANCE, UTAP::Constants::LSCINSTANCE, UTAP::Constants::PROCESS, UTAP::Constants::RECORD, and UTAP::type_t::size().
Referenced by UTAP::StatementBuilder::declVar().

