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

typechecker.cc File Reference

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

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 Sat May 15 12:33:41 2004 for libutap by doxygen 1.3.7