libutap
Functions | Variables
system.cpp File Reference
#include <stack>
#include <algorithm>
#include <cstdio>
#include <climits>
#include <cassert>
#include <sstream>
#include <boost/bind.hpp>
#include "utap/builder.h"
#include "utap/system.h"
#include "utap/statement.h"
#include "libparser.h"
#include <string.h>

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

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

Variable Documentation

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