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 can either use the framework interface, either directly call the analysis services. The framework interface is described in the call_framework.ads package.

The following programs use the call_framework.ads interface :


If you required to call services which are not currently available from call_framework.adb, the followings program show you some examples :



HOWEVER, IT IS STRONGLY RECOMMENDED TO USE call_framework.ads since the implementation of the framework can change in the next release. If an analysis service can not be called from call_framework.ads, please, let us know and it will be added as soon as possible.