
{2 Overview}

See how to use the plugin in the 
{{:../../www/src/scope.html}user documentation}.

(see also {{:../../scope/scope.txt}there} for a discussion on how we arrived to
those definitions)

{2 Inside the plugin}

The code of this plugin is quite simple. It is only composed of :
- {!module:Datascope_gui} that handles the GUI part,
- and {!module:Datascope} that makes the computations.
Some explanations can be found in the code.


{2 API Documentation}

The Scope API is dynamically registered.

 - {{:../index.html}Frama-C} complete kernel API
 - {{:../html/Dynamic.html}Dynamic} kernel registry for plugins' API
 - {{:../dynamic_plugins/Dynamic_plugins.html} Dynamically registered plugins} API index

{2 Plugin Internal Documentation}

 - {{:modules.svg}Scope} architecture (SVG format)
 - Index of {{:index_modules.html}Modules}
 - Index of {{:index_types.html}Types}
 - Index of {{:index_values.html}Values}
 - Index of {{:index_exceptions.html}Exceptions}

