/****
 *
 * This file maps the nice-and-clean token names used in the parser to the
 * old-and-ugly names used in the type checker and symbol table modules.  This
 * file is an interim measure, to forgo the rather wide-spread changes that
 * need to happen to change all occurrences of the old token names to the new
 * ones.  These changes will happen in due course.
 *
 */

#ifndef tokenMappingIncluded
#define tokenMappingIncluded

#define YAEQ AEQ
#define YAND AND
#define YARRAY ARRAY
#define YASSMNT SET
#define YATTRIBUTE ATTRIBUTE
#define YATTRSELECT ATTRIBUTE_SELECT
#define YAX AXIOM
#define YAXIOM AXIOM
#define YCHKINSTANCE CHECK_INSTANCE
#define YCOMPONENTS COMPONENTS
#define YCONST CONST
#define YDATAFLOW DATAFLOW
#define YDEFINE DEFINE
#define YDIV DIV
#define YDOTDOT DOTDOT
#define YELSE ELSE
#define YEND END
#define YEQ EQ
#define YEQEQ EQEQ
#define YEQUATIONS EQUATIONS
#define YEXCEPT EXCEPT
#define YEXISTS EXISTS
#define YEXPORT EXPORT
#define YEXTENDS EXTENDS
#define YFORALL FORALL
#define YFOREACH FOREACH
#define YFUNC FUNCTION
#define YFUNCTION FUNCTION
#define YGEQ GEQ
#define YGETINSTANCE GET_INSTANCE
#define YIF IF
#define YIFF IFF
#define YIMPLIES IMPLIES
#define YIMPORT IMPORT
#define YIN IN
#define YINCLUDE INCLUDE
#define YINHERITS INHERITS
#define YINPUTS INPUTS
#define YIS IS
#define YISA CHECK_UNION
#define YLAMBDA LAMBDA
#define YLEQ LEQ
#define YLET LET
#define YLIST LIST
#define YMOD MOD
#define YMODULE MODULE
#define YNEQ NEQ
#define YNOT NOT
#define YOBJ OBJECT
#define YOBJECT OBJECT
#define YOP OPERATION
#define YOPERATION OPERATION
#define YOPERATIONS OPERATIONS
#define YOPS OPERATIONS
#define YOR OR
#define YOUT OUTPUTS
#define YOUTPUTS OUTPUTS
#define YPARENTS PARENTS
#define YPARTS PARTS
#define YPOST POSTCONDITION
#define YPOSTCONDITION POSTCONDITION
#define YPOUNDPOUND POUNDPOUND
#define YPRE PRECONDITION
#define YPRECONDITION PRECONDITION
#define YQRTARROW QARROW
#define YRECORD RECORD
#define YREF REF
#define YRTARROW ARROW
#define YSELECT SELECT
#define YSET SET
#define YTHEN THEN
#define YTHEOREM THEOREM
#define YTHM THEOREM
#define YTYPE TYPE
#define YUNYMINUS UNARY_MINUS
#define YUNYPLUS UNARY_PLUS
#define YVAL VALUE
#define YVALUE VALUE
#define YVAR VARIABLE
#define YVARIABLE VARIABLE
#define YWHERE WHERE
#define YWILE WHILE
#define YXOR XOR
#define Yattr ATTRIBUTE_IDENTIFIER
#define Yident IDENTIFIER
#define Yinteger INTEGER_LITERAL
#define Ynil NIL_LITERAL
#define Yreal REAL_LITERAL
#define Ystring STRING_LITERAL
#define Ytext ATTRIBUTE_TEXT

#endif