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

UTAP::AbstractBuilder Class Reference

#include <abstractbuilder.h>

Inheritance diagram for UTAP::AbstractBuilder:

UTAP::ParserBuilder UTAP::ExpressionBuilder UTAP::PrettyPrinter UTAP::SystemBuilder List of all members.

Public Member Functions

 AbstractBuilder ()
virtual void setPosition (uint32_t, uint32_t)
 Sets the current position.
virtual bool isType (const char *)
 Must return true if and only if name is registered in the symbol table as a named type, for instance, "int" or "bool" or a user defined type.
virtual bool isLocation (const char *)
virtual void typeDuplicate ()
 Duplicate type at the top of the type stack.
virtual void typePop ()
 Pop type at the topof the type stack.
virtual void typeBool (PREFIX)
 Called whenever a boolean type is parsed.
virtual void typeInt (PREFIX)
 Called whenever an integer type is parsed.
virtual void typeBoundedInt (PREFIX)
 Called whenever an integer type with a range is parsed.
virtual void typeChannel (PREFIX)
 Called whenever a channel type is parsed.
virtual void typeClock ()
 Called whenever a clock type is parsed.
virtual void typeVoid ()
 Called whenever a void type is parsed.
virtual void typeScalar (PREFIX)
 Called whenever a scalar type is parsed.
virtual void typeName (PREFIX, const char *name)
 Called when a type name has been parsed.
virtual void typeStruct (PREFIX, uint32_t fields)
 Called when a struct-type has been parsed.
virtual void typeArrayOfSize (size_t)
 Called to create an array type.
virtual void typeArrayOfType (size_t)
 Called to create an array type.
virtual void structField (const char *name)
 Called to declare a field of a structure.
virtual void declTypeDef (const char *name)
 Used when a typedef declaration was parsed.
virtual void declVar (const char *name, bool init)
 Called to when a variable declaration has been parsed.
virtual void declInitialiserList (uint32_t num)
virtual void declFieldInit (const char *name)
virtual void declProgress (bool)
 Guard progress measure declaration.
virtual void declParameter (const char *name, bool)
virtual void declFuncBegin (const char *name)
virtual void declFuncEnd ()
virtual void procBegin (const char *name)
virtual void procEnd ()
virtual void procState (const char *name, bool hasInvariant)
virtual void procStateCommit (const char *name)
virtual void procStateUrgent (const char *name)
virtual void procStateWinning (const char *name)
virtual void procStateLosing (const char *name)
virtual void procStateInit (const char *name)
virtual void procEdgeBegin (const char *from, const char *to, const bool control)
virtual void procEdgeEnd (const char *from, const char *to)
virtual void procSelect (const char *id)
virtual void procGuard ()
virtual void procSync (Constants::synchronisation_t type)
virtual void procUpdate ()
virtual void blockBegin ()
virtual void blockEnd ()
virtual void emptyStatement ()
virtual void forBegin ()
virtual void forEnd ()
virtual void iterationBegin (const char *name)
virtual void iterationEnd (const char *name)
virtual void whileBegin ()
virtual void whileEnd ()
virtual void doWhileBegin ()
virtual void doWhileEnd ()
virtual void ifBegin ()
virtual void ifElse ()
virtual void ifEnd (bool)
virtual void breakStatement ()
virtual void continueStatement ()
virtual void switchBegin ()
virtual void switchEnd ()
virtual void caseBegin ()
virtual void caseEnd ()
virtual void defaultBegin ()
virtual void defaultEnd ()
virtual void exprStatement ()
virtual void returnStatement (bool)
virtual void exprTrue ()
virtual void exprFalse ()
virtual void exprId (const char *varName)
virtual void exprNat (int32_t)
virtual void exprCallBegin ()
virtual void exprCallEnd (uint32_t n)
virtual void exprArray ()
virtual void exprPostIncrement ()
virtual void exprPreIncrement ()
virtual void exprPostDecrement ()
virtual void exprPreDecrement ()
virtual void exprAssignment (Constants::kind_t op)
virtual void exprUnary (Constants::kind_t unaryop)
virtual void exprBinary (Constants::kind_t binaryop)
virtual void exprInlineIf ()
virtual void exprComma ()
virtual void exprDot (const char *)
virtual void exprDeadlock ()
virtual void exprForAllBegin (const char *name)
virtual void exprForAllEnd (const char *name)
virtual void exprExistsBegin (const char *name)
virtual void exprExistsEnd (const char *name)
virtual void instantiationBegin (const char *, size_t, const char *)
virtual void instantiationEnd (const char *, size_t, const char *, size_t)
virtual void process (const char *)
virtual void done ()
virtual void property (Constants::kind_t)
virtual void beforeUpdate ()
virtual void afterUpdate ()
virtual void incProcPriority ()
virtual void incChanPriority ()
virtual void chanPriority ()
virtual void procPriority (const char *)
virtual void defaultChanPriority ()

Protected Attributes

position_t position

Constructor & Destructor Documentation

AbstractBuilder::AbstractBuilder  ) 
 


Member Function Documentation

void AbstractBuilder::afterUpdate  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::beforeUpdate  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::blockBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::blockEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::breakStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter.

void AbstractBuilder::caseBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

void AbstractBuilder::caseEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void AbstractBuilder::chanPriority  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::continueStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter.

void AbstractBuilder::declFieldInit const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declFuncBegin const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declFuncEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declInitialiserList uint32_t  num  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declParameter const char *  name,
bool 
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declProgress bool   )  [virtual]
 

Guard progress measure declaration.

Requires two expressions if hasGuard is true, otherwise one.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::declTypeDef const char *  name  )  [virtual]
 

Used when a typedef declaration was parsed.

name is the name of the new type.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declVar const char *  name,
bool  init
[virtual]
 

Called to when a variable declaration has been parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::defaultBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

void AbstractBuilder::defaultChanPriority  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::defaultEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void AbstractBuilder::done  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::doWhileBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::doWhileEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::emptyStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::exprArray  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprAssignment Constants::kind_t  op  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprBinary Constants::kind_t  binaryop  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprCallBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::exprCallEnd uint32_t  n  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprComma  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprDeadlock  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprDot const char *   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprExistsBegin const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprExistsEnd const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprFalse  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprForAllBegin const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprForAllEnd const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprId const char *  varName  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprInlineIf  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprNat int32_t   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprPostDecrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprPostIncrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprPreDecrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprPreIncrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::exprTrue  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprUnary Constants::kind_t  unaryop  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::forBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::forEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::ifBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::ifElse  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::ifEnd bool   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::incChanPriority  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::incProcPriority  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::instantiationBegin const char *  ,
size_t  ,
const char * 
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::instantiationEnd const char *  ,
size_t  ,
const char *  ,
size_t 
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

bool AbstractBuilder::isLocation const char *   )  [virtual]
 

Reimplemented in UTAP::ExpressionBuilder.

bool AbstractBuilder::isType const char *   )  [virtual]
 

Must return true if and only if name is registered in the symbol table as a named type, for instance, "int" or "bool" or a user defined type.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

void AbstractBuilder::iterationBegin const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::iterationEnd const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procBegin const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procEdgeBegin const char *  from,
const char *  to,
const bool  control
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procEdgeEnd const char *  from,
const char *  to
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::process const char *   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procGuard  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procPriority const char *   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::procSelect const char *  id  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procState const char *  name,
bool  hasInvariant
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procStateCommit const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procStateInit const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procStateLosing const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procStateUrgent const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procStateWinning const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procSync Constants::synchronisation_t  type  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procUpdate  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::property Constants::kind_t   )  [virtual]
 

Implements UTAP::ParserBuilder.

void AbstractBuilder::returnStatement bool   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::setPosition uint32_t  ,
uint32_t 
[virtual]
 

Sets the current position.

The current position indicates where in the input file the current productions can be found.

Implements UTAP::ParserBuilder.

void AbstractBuilder::structField const char *  name  )  [virtual]
 

Called to declare a field of a structure.

The type of the field has been reported using a typeXXX method prior to the call of structField(). In case of array fields, 'dim' expressions indicating the array sizes have been reported.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::switchBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

void AbstractBuilder::switchEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

void AbstractBuilder::typeArrayOfSize size_t   )  [virtual]
 

Called to create an array type.

The size of the array was previously pushed as an expression.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::typeArrayOfType size_t   )  [virtual]
 

Called to create an array type.

The size of the array was previously pushed as a type.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::typeBool PREFIX   )  [virtual]
 

Called whenever a boolean type is parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::typeBoundedInt PREFIX   )  [virtual]
 

Called whenever an integer type with a range is parsed.

Expressions for the lower and upper have been pushed before.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::typeChannel PREFIX   )  [virtual]
 

Called whenever a channel type is parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::typeClock  )  [virtual]
 

Called whenever a clock type is parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::typeDuplicate  )  [virtual]
 

Duplicate type at the top of the type stack.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

void AbstractBuilder::typeInt PREFIX   )  [virtual]
 

Called whenever an integer type is parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::typeName PREFIX  ,
const char *  name
[virtual]
 

Called when a type name has been parsed.

Prefix indicates whether the type named was prefixed (e.g. with 'const').

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::typePop  )  [virtual]
 

Pop type at the topof the type stack.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

void AbstractBuilder::typeScalar PREFIX   )  [virtual]
 

Called whenever a scalar type is parsed.

The size of the scalar set was pushed as an expression before.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::typeStruct PREFIX  ,
uint32_t  fields
[virtual]
 

Called when a struct-type has been parsed.

Prior to the call 'fields' fields must have been declared using the structXXX methods.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::typeVoid  )  [virtual]
 

Called whenever a void type is parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::whileBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::whileEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.


Member Data Documentation

position_t UTAP::AbstractBuilder::position [protected]
 


The documentation for this class was generated from the following files:
Generated on Sat Apr 29 21:02:14 2006 for libutap by  doxygen 1.4.2