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

typechecker.cc File Reference

#include <cmath>
#include <cstdio>
#include <cassert>
#include "utap/typechecker.hh"
#include "utap/systembuilder.hh"

Compounds

class  InitialiserException

Functions

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)
bool parseXMLBuffer (const char *buffer, ErrorHandler *error, TimedAutomataSystem *system, bool newxta)
bool parseXMLFile (const char *file, ErrorHandler *error, TimedAutomataSystem *system, bool newxta)

Function Documentation

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.

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

bool 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 Wed Jul 2 12:08:19 2003 for libutap by doxygen 1.3.2