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 isInteger (expression_t expr)
static bool isIntegral (expression_t expr)
static bool isClock (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 isFormula (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 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 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 isConstraint ( expression_t  expr  )  [static]

static bool isCost ( expression_t  expr  )  [static]

static bool isDiff ( expression_t  expr  )  [static]

static bool isFormula ( 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 isSameScalarType ( type_t  t1,
type_t  t2 
) [static]

Returns true if two scalar types are name-equivalent.

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 Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7