// // This program is free software; you can redistribute it and/or // modify it under the terms of the GNU General Public License // as published by the Free Software Foundation; either version 2 // of the License, or (at your option) any later version. // // This program 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 General Public License for more details. // // You should have received a copy of the GNU General Public License // along with this program; if not, write to the Free Software // Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. // import "BootstrapOracle", "GlobalStatistics", "GlobalParameters", "GlobalTraceManager", "GlobalFunctions"; // // global module that contains the bootstrapOracle and the globalStatistics module // module GlobalObserver parameters: useGlobalFunctions: numeric, // are globalFunctions used? globalFunctionsType: string; // type of globalFunctions submodules: bootstrapOracle: BootstrapOracle; display: "p=60,60;i=block/control"; globalStatistics: GlobalStatistics; display: "p=180,60;i=block/control"; globalParameters: GlobalParameters; display: "p=180,180;i=block/control"; globalTraceManager: GlobalTraceManager; display: "p=60,180;i=block/control"; globalFunctions: globalFunctionsType[min(1, useGlobalFunctions)] like GlobalFunctions; display: "p=60,300;i=block/control"; endmodule