system.cpp File Reference

#include "utap/builder.h"
#include "utap/system.h"
#include "utap/statement.h"
#include "libparser.h"
#include <stack>
#include <algorithm>
#include <cstdio>
#include <cstring>
#include <climits>
#include <cassert>
#include <sstream>

Include dependency graph for system.cpp:

Go to the source code of this file.

Functions
static deque< int >	messages_nr (deque< message_t > messages)
static deque< int >	conditions_nr (deque< condition_t > conditions)
static deque< int >	updates_nr (deque< update_t > updates)
static void	visit (SystemVisitor &visitor, frame_t frame)

Variables
static const char *const	unsupported = "Internal error: Feature not supported in this mode."
static const char *const	invalid_type = "$Invalid_type"

Function Documentation

conditions_nr()

static deque<int> conditions_nr ( deque< condition_t >  conditions )

static

Definition at line 427 of file system.cpp.

Referenced by UTAP::template_t::getSimregions().

Here is the caller graph for this function:

messages_nr()

static deque<int> messages_nr ( deque< message_t >  messages )

static

Definition at line 415 of file system.cpp.

Referenced by UTAP::template_t::getSimregions().

Here is the caller graph for this function:

updates_nr()

static deque<int> updates_nr ( deque< update_t >  updates )

static

Definition at line 439 of file system.cpp.

Referenced by UTAP::template_t::getSimregions().

Here is the caller graph for this function:

visit()

static void visit ( SystemVisitor &  visitor, frame_t  frame  )

static

Definition at line 1198 of file system.cpp.

References UTAP::Constants::BOOL, UTAP::Constants::CHANNEL, UTAP::Constants::CLOCK, UTAP::Constants::DOUBLE, UTAP::Constants::FUNCTION, UTAP::type_t::getKind(), UTAP::frame_t::getSize(), UTAP::Constants::INSTANCELINE, UTAP::Constants::INT, UTAP::type_t::is(), UTAP::Constants::LOCATION, UTAP::Constants::RECORD, UTAP::Constants::SCALAR, UTAP::type_t::stripArray(), UTAP::Constants::TYPEDEF, UTAP::SystemVisitor::visitFunction(), UTAP::SystemVisitor::visitInstanceLine(), UTAP::SystemVisitor::visitState(), UTAP::SystemVisitor::visitTypeDef(), and UTAP::SystemVisitor::visitVariable().

Referenced by UTAP::TimedAutomataSystem::accept().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

invalid_type

const char* const invalid_type = "$Invalid_type"

static

Definition at line 53 of file system.cpp.

unsupported

const char* const unsupported = "Internal error: Feature not supported in this mode."

static

Definition at line 52 of file system.cpp.