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 "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 isValue (expression_t expr)
static bool isClock (expression_t expr)
static bool isRecord (expression_t expr)
static bool isDiff (expression_t expr)
static bool isInvariant (expression_t expr)
static bool isInvariantWR (expression_t expr)
 Returns true iff type is a valid invariant.
static bool isGuard (expression_t expr)
 Returns true iff type is a valid guard.
static bool isConstraint (expression_t expr)
static int channelCapability (type_t type)
 Returns a value indicating the capabilities of a channel.
bool parseXTA (FILE *file, ErrorHandler *error, TimedAutomataSystem *system, bool newxta)
bool parseXTA (const char *buffer, ErrorHandler *error, TimedAutomataSystem *system, bool newxta)
int32_t parseXMLBuffer (const char *buffer, ErrorHandler *error, TimedAutomataSystem *system, bool newxta)
int32_t parseXMLFile (const char *file, ErrorHandler *error, TimedAutomataSystem *system, bool newxta)
expression_t parseExpression (const char *str, ErrorHandler *error, 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 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 isGuard expression_t  expr  )  [static]
 

Returns true iff type is a valid guard.

A valid guard is either a valid invariant or a guard expression.

static bool isInteger 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 isRecord expression_t  expr  )  [static]
 

static bool isScalar expression_t  expr  )  [static]
 

static bool isValue expression_t  expr  )  [static]
 

static bool isVoid expression_t  expr  )  [static]
 

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

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

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

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

bool parseXTA FILE *  file,
ErrorHandler error,
TimedAutomataSystem system,
bool  newxta
 


Generated on Thu Nov 10 13:16:12 2005 for libutap by  doxygen 1.4.2