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().