@ignore                                                                        
@ignore                                                                        
@ignore  This file is part of Frama-C.                                         
@ignore                                                                        
@ignore  Copyright (C) 2007-2009                                               
@ignore    CEA   (Commissariat à l'Énergie Atomique)                           
@ignore    INRIA (Institut National de Recherche en Informatique et en         
@ignore           Automatique)                                                 
@ignore                                                                        
@ignore  you can redistribute it and/or modify it under the terms of the GNU   
@ignore  Lesser General Public License as published by the Free Software       
@ignore  Foundation, version 2.1.                                              
@ignore                                                                        
@ignore  It is distributed in the hope that it will be useful,                 
@ignore  but WITHOUT ANY WARRANTY; without even the implied warranty of        
@ignore  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         
@ignore  GNU Lesser General Public License for more details.                   
@ignore                                                                        
@ignore  See the GNU Lesser General Public License version v2.1                
@ignore  for more details (enclosed in the file licenses/LGPLv2.1).            
@ignore                                                                        
@ignore                                                                        


{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.

