cmd.h
External header file
cmdInt.h
Internal header file
cmdCommand.c
Main module for a simple traversal of finite state machine
cmdMain.c
Command management for the pdtrav package.
cmdMgr.c
Utility functions to create, free, duplicate, and access fieds of a CMD Manager.
cmdTable.c
Command management for the pdtrav package.

cmd.h

External header file

By: Gianpiero Cabodi and Stefano Quer


cmdInt.h

Internal header file

By: Gianpiero Cabodi and Stefano Quer


cmdCommand.c

Main module for a simple traversal of finite state machine

By: Gianpiero Cabodi and Stefano Quer

External procedures included in this file are:

CmdReadCommand()
Read new options setting

cmdMain.c

Command management for the pdtrav package.

By: Gianpiero Cabodi and Stefano Quer

External procedures included in this module are:

Static procedures included in this module are:

main()
Main program for PdTRAV.
InterpreteCommands()
Read and interpret commands from a file

cmdMgr.c

Utility functions to create, free, duplicate, and access fieds of a CMD Manager.

By: Gianpiero Cabodi and Stefano Quer

The CMD manager structure contains pointer to the main informations PdTRAV is dealing with.
It contains pointer to the other managers (fsm, tr, trav) and to a set of "temporary" user defined registers.
Managers can be singularly created and deleted.
Registers can be assign with a BDD or array of BDD values. Their name is user defined.

Cmd_MgrInit()
Initializes the CMD structure.
Cmd_MgrFree()
Frees the CMD structure.
Cmd_MgrDup()
Duplicates a CMD structure.
Cmd_MgrReadName()
Reads the name of a CMD manager.
Cmd_MgrReadVerbosity()
Read the "default" verbosity level of the CMD manager.
Cmd_MgrSetName()
Set the name of the CMD manager.
Cmd_MgrSetVerbosity()
Set the "default" verbosity value of the CMD manager.

cmdTable.c

Command management for the pdtrav package.

By: Gianpiero Cabodi and Stefano Quer

In the PdTRAV-cmd package commands are defined in a command table Cmd_Table_s. This table is initialized in this files allowing compiler checks. For each command it contains: