00001 /*************************************************************************** 00002 * Copyright (C) 2006 by Rick L. Vinyard, Jr. * 00003 * rvinyard@cs.nmsu.edu * 00004 * * 00005 * This file is part of the clipsmm library. * 00006 * * 00007 * The clipsmm library is free software; you can redistribute it and/or * 00008 * modify it under the terms of the GNU General Public License * 00009 * version 3 as published by the Free Software Foundation. * 00010 * * 00011 * The clipsmm library is distributed in the hope that it will be * 00012 * useful, but WITHOUT ANY WARRANTY; without even the implied warranty * 00013 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * 00014 * General Public License for more details. * 00015 * * 00016 * You should have received a copy of the GNU General Public License * 00017 * along with this software. If not see <http://www.gnu.org/licenses/>. * 00018 ***************************************************************************/ 00019 #ifndef CLIPSMODULE_H 00020 #define CLIPSMODULE_H 00021 00022 #include <clipsmm/environmentobject.h> 00023 00024 namespace CLIPS { 00025 00029 class Module: public EnvironmentObject { 00030 public: 00031 typedef CLIPSPointer<Module> pointer; 00032 00033 Module( Environment& environment, void* cobj=NULL ); 00034 00035 static Module::pointer create( Environment& environment, void* cobj=NULL ); 00036 00037 ~Module(); 00038 00039 std::string name(); 00040 00041 std::string formatted(); 00042 00043 Module::pointer next(); 00044 00045 // TODO add accessors for getting items associated with a module 00046 00048 Module::pointer set_current(); 00049 00050 void focus(); 00051 00052 }; 00053 00054 } 00055 00056 #endif