There is currently no document on the Cheddar's framework but this directoty provides somes examples of
programs that you can use in order to directly call the framework without the machine-man interface.
To call the framework, you must use the framework interface.
The framework interface is described in the call_framework.ads package. The
call_framework.ads package implements the facade design pattern : it means that all the
services provided by the framework is available from this package.
The following programs use the call_framework.ads interface :
- build_schedule_from_xml.adb : this program computes a scheduling from an XML
Cheddar project file and save the result into a second XML file.
This is an example which shows how to use cheddar through the command line.
The XML file name of the system to analyze must be given with the "-i" switch.
The XML file name of the scheduling to save must be given with the "-o" switch.
This program also takes one argument : the period on which the scheduling
must be computed. The resulting scheduling is in fact the event table
produced by the scheduling engine.
- parse_and_display_schedule.adb : this program shows how to read and parse an
XML file containing a schedule computed by Cheddar. This schedule is in fact, the event table
produced by the scheduling engine. The "-s" switch must be used to provide the anayzed
system (eg. its XML file name).
The "-e" switch must be used to provide the event table (eg. its XML file name).
- read_sys.adb : this program gives an examples on how to load a XML Cheddar project file into the framework.
- write_sys.adb : this program gives an examples on how to save a model in a XML Cheddar project file.
- comprehensive_call.adb : this
program is an example of a call to the framework. This call includes the analysis of a scheduling.
The result is formatted as a simple ASCII text.
- xml_comprehensive_call.adb : this program implements the same calls to the framework
than comprehensive_call.adb but the result produced by this program is generated with XML tags
(in order to be displayed by an Internet browser).