X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/c7f552fd8888da2f0d8cfb228fe0f28d3df3a12c..b4b6f2ea75b9f0f3ca918f5b84016610bf7a4d4f:/interpretor/faust-0.9.47mr3/compiler/signals/sigtyperules.hh

diff --git a/interpretor/faust-0.9.47mr3/compiler/signals/sigtyperules.hh b/interpretor/faust-0.9.47mr3/compiler/signals/sigtyperules.hh
deleted file mode 100644
index e8d405e..0000000
--- a/interpretor/faust-0.9.47mr3/compiler/signals/sigtyperules.hh
+++ /dev/null
@@ -1,71 +0,0 @@
-/************************************************************************
- ************************************************************************
-    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
-