--- /dev/null
+/************************************************************************
+ ************************************************************************
+ FAUST compiler
+ Copyright (C) 2003-2004 GRAME, Centre National de Creation Musicale
+ ---------------------------------------------------------------------
+ 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., 675 Mass Ave, Cambridge, MA 02139, USA.
+ ************************************************************************
+ ************************************************************************/
+
+
+
+#ifndef _SIGTYPERULES_
+#define _SIGTYPERULES_
+
+#include "signals.hh"
+#include "sigtype.hh"
+#include "sigraterules.hh"
+
+
+extern bool gVectorSwitch;
+
+
+/** \file sigtyperules.hh
+ * API to the typing system of signals
+ *
+ * Two functions are provided :
+ *
+ * \li void typeAnnotation(Tree term) : annotates a signal term and its subterms with type information
+ * \li Type getCertifiedSigType(Tree term) : return the type of a previously annotated signal term
+ *
+ * TypeAnnotation must be called first to annotate a signal or a list of signals, before being able to
+ * call getCertifiedType on any subterms. GetCertifiedType will produce an error if a term was not
+ * previously annotated.
+ *
+ **/
+
+
+
+
+/**
+ * Annotates a signal term and its subterms with type information
+ */
+void typeAnnotation(Tree term);
+
+
+
+/**
+ * Return the type of a previously annotated signal term
+ */
+Type getCertifiedSigType(Tree term);
+
+
+/**
+ * print annotation statistics
+ */
+void annotationStatistics();
+
+#endif
+