dlvhex
2.5.0
|
00001 /* dlvhex -- Answer-Set Programming with external interfaces. 00002 * Copyright (C) 2005-2007 Roman Schindlauer 00003 * Copyright (C) 2006-2015 Thomas Krennwallner 00004 * Copyright (C) 2009-2016 Peter Schüller 00005 * Copyright (C) 2011-2016 Christoph Redl 00006 * Copyright (C) 2015-2016 Tobias Kaminski 00007 * Copyright (C) 2015-2016 Antonius Weinzierl 00008 * 00009 * This file is part of dlvhex. 00010 * 00011 * dlvhex is free software; you can redistribute it and/or modify it 00012 * under the terms of the GNU Lesser General Public License as 00013 * published by the Free Software Foundation; either version 2.1 of 00014 * the License, or (at your option) any later version. 00015 * 00016 * dlvhex is distributed in the hope that it will be useful, but 00017 * WITHOUT ANY WARRANTY; without even the implied warranty of 00018 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00019 * Lesser General Public License for more details. 00020 * 00021 * You should have received a copy of the GNU Lesser General Public 00022 * License along with dlvhex; if not, write to the Free Software 00023 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 00024 * 02110-1301 USA. 00025 */ 00026 00034 #ifndef QUERY_PLUGIN__HPP_INCLUDED_1518 00035 #define QUERY_PLUGIN__HPP_INCLUDED_1518 00036 00037 #include "dlvhex2/PlatformDefinitions.h" 00038 #include "dlvhex2/PluginInterface.h" 00039 00040 DLVHEX_NAMESPACE_BEGIN 00041 00043 class QueryPlugin: 00044 public PluginInterface 00045 { 00046 public: 00047 // stored in ProgramCtx, accessed using getPluginData<QueryPlugin>() 00048 class CtxData: 00049 public PluginData 00050 { 00051 public: 00053 bool enabled; 00054 00059 enum Mode 00060 { 00061 DEFAULT, 00063 BRAVE, 00065 CAUTIOUS 00066 }; 00068 Mode mode; 00069 00071 bool ground; 00072 00076 Tuple query; 00077 00079 ID varAuxPred; 00081 ID novarAuxPred; 00082 00084 Tuple variableIDs; 00085 00089 bool allWitnesses; 00090 00091 CtxData(); 00092 virtual ~CtxData() {}; 00093 }; 00094 00095 public: 00097 QueryPlugin(); 00099 virtual ~QueryPlugin(); 00100 00101 // output help message for this plugin 00102 virtual void printUsage(std::ostream& o) const; 00103 00104 // accepted options: --query-enable --query-brave --query-cautious 00105 // 00106 // processes options for this plugin, and removes recognized options from pluginOptions 00107 // (do not free the pointers, the const char* directly come from argv) 00108 virtual void processOptions(std::list<const char*>& pluginOptions, ProgramCtx&); 00109 00110 // create parser modules that extend and the basic hex grammar 00111 // this parser also stores the query information into the plugin 00112 virtual std::vector<HexParserModulePtr> createParserModules(ProgramCtx&); 00113 00114 // rewrite program by adding auxiliary query rules 00115 virtual PluginRewriterPtr createRewriter(ProgramCtx&); 00116 00117 // change model callback and register final callback 00118 virtual void setupProgramCtx(ProgramCtx&); 00119 00120 // no atoms! 00121 }; 00122 00123 DLVHEX_NAMESPACE_END 00124 #endif 00125 00126 // vim:expandtab:ts=4:sw=4: 00127 // mode: C++ 00128 // End: