current/html/armoise-interp_8h_source.html

 /*

  * armoise-interp.h -- add a comment about this file

  *

  * This file is a part of the ARMOISE language library

 .

  *

  * Copyright (C) 2010 CNRS UMR 5800 & Université Bordeaux I (see AUTHORS file).

  *

  * 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., 51 Franklin Street, Fifth Floor, Boston, MA

  * 02110-1301  USA

  */


 #ifndef __ARMOISE_INTERP_H__

 # define __ARMOISE_INTERP_H__


 # include <ccl/ccl-exception.h>

 # include <armoise/armoise-tree.h>

 # include <armoise/armoise.h>


 BEGIN_C_DECLS


 CCL_DECLARE_EXCEPTION (armoise_interp_exception, exception);


 extern void

 armoise_interp_definition (armoise_context *context, armoise_tree *tdef,

                            ccl_list *ids)

   CCL_THROW (armoise_interp_exception);


 extern ccl_tree *

 armoise_interp_predicate (armoise_context *context, armoise_tree *P)

   CCL_THROW (armoise_interp_exception);


 END_C_DECLS


 #endif /* ! __ARMOISE_INTERP_H__ */

armoise_interp_definition
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.

armoise_interp_predicate
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.

armoise-tree.h
Syntactic tree for the Armoise language.

armoise_context
struct armoise_context_st armoise_context
Abstract type representing the context of a predicate.
Definition: armoise.h:46

ccl_tree_st
Structure storing a node of a generic tree.
Definition: ccl-tree.h:40

ccl_parse_tree_st
Structure encoding of a parse-tree node.
Definition: ccl-parse-tree.h:107

ccl_list
struct ccl_list_st ccl_list
Type of a generic list.
Definition: ccl-list.h:33

ccl-exception.h
An exception mechanism.

CCL_DECLARE_EXCEPTION
#define CCL_DECLARE_EXCEPTION(exc, super)
Macro-function used to declare an exception exc.
Definition: ccl-exception.h:167

armoise.h

CCL_THROW
#define CCL_THROW(_args_)
Dummy macro-function allowing to indicate exceptions thrown by a function.
Definition: ccl-exception.h:159