#*************************************************************************# #* # #* This file is part of Frama-C. # #* # #* Copyright (C) 2007-2016 # #* CEA (Commissariat à l'énergie atomique et aux énergies # #* alternatives) # #* # #* you can redistribute it and/or modify it under the terms of the GNU # #* Lesser General Public License as published by the Free Software # #* Foundation, version 2.1. # #* # #* It is distributed in the hope that it will be useful, # #* but WITHOUT ANY WARRANTY; without even the implied warranty of # #* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # #* GNU Lesser General Public License for more details. # #* # #* See the GNU Lesser General Public License version 2.1 # #* for more details (enclosed in the file licenses/LGPLv2.1). # #* # #*************************************************************************# {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.