TaPAS  0.2
armoise-interp.h
Go to the documentation of this file.
1 /*
2  * armoise-interp.h -- add a comment about this file
3  *
4  * This file is a part of the ARMOISE language library
5 .
6  *
7  * Copyright (C) 2010 CNRS UMR 5800 & Université Bordeaux I (see AUTHORS file).
8  *
9  * This program is free software; you can redistribute it and/or modify
10  * it under the terms of the GNU General Public License as published by
11  * the Free Software Foundation; either version 2 of the License, or
12  * (at your option) any later version.
13  *
14  * This program is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17  * GNU General Public License for more details.
18  *
19  * You should have received a copy of the GNU General Public License
20  * along with this program; if not, write to the Free Software
21  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
22  * 02110-1301 USA
23  */
24 
37 #ifndef __ARMOISE_INTERP_H__
38 # define __ARMOISE_INTERP_H__
39 
40 # include <ccl/ccl-exception.h>
41 # include <armoise/armoise-tree.h>
42 # include <armoise/armoise.h>
43 
44 BEGIN_C_DECLS
45 
49 CCL_DECLARE_EXCEPTION (armoise_interp_exception, exception);
50 
72 extern void
74  ccl_list *ids)
75  CCL_THROW (armoise_interp_exception);
76 
101 extern ccl_tree *
103  CCL_THROW (armoise_interp_exception);
104 
105 END_C_DECLS
106 
107 #endif /* ! __ARMOISE_INTERP_H__ */
void armoise_interp_definition(armoise_context *context, armoise_tree *tdef, ccl_list *ids) CCL_THROW(armoise_interp_exception)
Interpretation of the ARMOISE definition tdef and integration to the context context.
ccl_tree * armoise_interp_predicate(armoise_context *context, armoise_tree *P) CCL_THROW(armoise_interp_exception)
Interpretation of the ARMOISE predicate P under the context context.
Syntactic tree for the Armoise language.
struct armoise_context_st armoise_context
Abstract type representing the context of a predicate.
Definition: armoise.h:46
Structure storing a node of a generic tree.
Definition: ccl-tree.h:40
Structure encoding of a parse-tree node.
struct ccl_list_st ccl_list
Type of a generic list.
Definition: ccl-list.h:33
An exception mechanism.
#define CCL_DECLARE_EXCEPTION(exc, super)
Macro-function used to declare an exception exc.
#define CCL_THROW(_args_)
Dummy macro-function allowing to indicate exceptions thrown by a function.