/***********************************
  (C) Copyright 1992-1993; dit/upm
   Distributed under the conditions stated in the
   TOPO General Public License (see file LICENSE)
 ***********************************
 $Log: emit.h,v $
 * Revision 1.2  1993/06/23  16:27:36  lotos
 * adapt code generation to drive new ildi grammar
 *
 * Revision 1.1  1993/01/20  13:43:24  lotos
 * Initial revision
 *
 ***********************************/

#include "swbus.h"

/* KJT 20/01/23: added "int" type */
SHARED int flagtopo;
SHARED int flaglola;
SHARED int flagildi;

PUBLIC void EmitSpecification ();
PUBLIC void EmitObject ();
PUBLIC void EmitTestCaseBlock ();
PUBLIC void EmitTestCaseList ();
PUBLIC void EmitTestCase ();
PUBLIC void EmitAssertion ();
PUBLIC int  EmitPremisses ();
PUBLIC void EmitPremiss ();
PUBLIC void EmitSimpleEquation ();
PUBLIC void EmitValueExpressionList ();
PUBLIC void EmitValueExpression ();
PUBLIC void EmitTermExpression ();

