Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

typechecker.cpp File Reference

#include <cmath>
#include <cstdio>
#include <cassert>
#include <list>
#include <stdexcept>
#include <boost/tuple/tuple.hpp>
#include "utap/utap.h"
#include "utap/typechecker.h"
#include "utap/systembuilder.h"

Functions

static bool isCost (expression_t expr)
static bool isVoid (expression_t expr)
static bool isScalar (expression_t expr)
static bool isInteger (expression_t expr)
static bool isIntegral (expression_t expr)
static bool isClock (expression_t expr)
static bool isRecord (expression_t expr)
static bool isArray (expression_t expr)
static bool isDiff (expression_t expr)
static bool isInvariant (expression_t expr)
static bool isGuard (expression_t expr)
static bool isConstraint (expression_t expr)
static bool isInvariantWR (expression_t expr)
 Returns true iff type is a valid invariant.
static bool isAssignable (type_t type)
 Returns true if values of this type can be assigned.
static bool isConstant (type_t type)
 Returns true if and only if all elements of the type are constant.
static bool isNonConstant (type_t type)
 Returns true if and only if all elements of the type are not constant.
static bool contains (frame_t frame, symbol_t symbol)
static bool validReturnType (type_t type)
static int channelCapability (type_t type)
 Returns a value indicating the capabilities of a channel.
static bool isSameScalarType (type_t t1, type_t t2)
 Returns true if two scalar types are name-equivalent.
bool parseXTA (FILE *file, TimedAutomataSystem *system, bool newxta)
bool parseXTA (const char *buffer, TimedAutomataSystem *system, bool newxta)
int32_t parseXMLBuffer (const char *buffer, TimedAutomataSystem *system, bool newxta)
int32_t parseXMLFile (const char *file, TimedAutomataSystem *system, bool newxta)
expression_t parseExpression (const char *str, TimedAutomataSystem *system, bool newxtr)

Function Documentation

static int channelCapability type_t  type  )  [static]
 

Returns a value indicating the capabilities of a channel.

For urgent channels this is 0, for non-urgent broadcast channels this is 1, and in all other cases 2. An argument to a channel parameter must have at least the same capability as the parameter.

static bool contains frame_t  frame,
symbol_t  symbol
[static]
 

static bool isArray expression_t  expr  )  [static]
 

static bool isAssignable type_t  type  )  [static]
 

Returns true if values of this type can be assigned.

This is the case for integers, booleans, clocks, cost, scalars and arrays and records of these. E.g. channels and processes are not assignable.

static bool isClock expression_t  expr  )  [static]
 

static bool isConstant type_t  type  )  [static]
 

Returns true if and only if all elements of the type are constant.

static bool isConstraint expression_t  expr  )  [static]
 

static bool isCost expression_t  expr  )  [static]
 

static bool isDiff expression_t  expr  )  [static]
 

static bool isGuard expression_t  expr  )  [static]
 

static bool isInteger expression_t  expr  )  [static]
 

static bool isIntegral expression_t  expr  )  [static]
 

static bool isInvariant expression_t  expr  )  [static]
 

static bool isInvariantWR expression_t  expr  )  [static]
 

Returns true iff type is a valid invariant.

A valid invariant is either an invariant expression or an integer expression.

static bool isNonConstant type_t  type  )  [static]
 

Returns true if and only if all elements of the type are not constant.

static bool isRecord expression_t  expr  )  [static]
 

static bool isSameScalarType type_t  t1,
type_t  t2
[static]
 

Returns true if two scalar types are name-equivalent.

static bool isScalar expression_t  expr  )  [static]
 

static bool isVoid expression_t  expr  )  [static]
 

expression_t parseExpression const char *  str,
TimedAutomataSystem system,
bool  newxtr
 

int32_t parseXMLBuffer const char *  buffer,
TimedAutomataSystem system,
bool  newxta
 

int32_t parseXMLFile const char *  file,
TimedAutomataSystem system,
bool  newxta
 

bool parseXTA const char *  buffer,
TimedAutomataSystem system,
bool  newxta
 

bool parseXTA FILE *  file,
TimedAutomataSystem system,
bool  newxta
 

static bool validReturnType type_t  type  )  [static]
 


Generated on Sat Apr 29 21:02:14 2006 for libutap by  doxygen 1.4.2