00001 // This file is a part of Aurelia. 00002 // Copyright (C) 2010 Valentin David 00003 // Copyright (C) 2010 University of Bergen 00004 // 00005 // This program is free software: you can redistribute it and/or modify 00006 // it under the terms of the GNU General Public License as published by 00007 // the Free Software Foundation, either version 3 of the License, or 00008 // (at your option) any later version. 00009 // 00010 // This program is distributed in the hope that it will be useful, 00011 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00012 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00013 // GNU General Public License for more details. 00014 // 00015 // You should have received a copy of the GNU General Public License 00016 // along with this program. If not, see <http://www.gnu.org/licenses/>. 00017 00018 #ifndef __TERM_CONCEPT_HH 00019 # define __TERM_CONCEPT_HH 00020 00021 namespace aurelia { 00022 00028 template <typename Model> 00029 struct term_concept: public Model { 00030 public: 00031 typedef typename Model::type type; 00032 00033 #ifdef DOC_GEN 00034 00035 template <typename Strat> 00036 typename strategy_model<Strat, Type>::model::output; 00037 all_primitive(Strat, Type); 00038 00040 template <typename Strat> 00041 typename strategy_model<Strat, Type>::model::output; 00042 one_primitive(Strat, Type); 00043 00044 #endif 00045 00046 typedef void check; 00047 }; 00050 template <typename T> 00051 struct term_model { 00052 typedef void no_model; 00053 }; 00054 } 00055 00056 #endif