symbol.def

/* symbol.def: multi-character symbols and keywords
 * 
 * COPYRIGHT 2010. California Institute of Technology
 * 
 * This file is part of chpsim.
 * 
 * Chpsim 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 3 of the License, or
 * (at your option) any later version, and under the terms of the
 * following disclaimer of liability:
 * 
 * The California Institute of Technology shall allow RECIPIENT to use and
 * distribute this software subject to the terms of the included license
 * agreement with the understanding that:
 * 
 * THIS SOFTWARE AND ANY RELATED MATERIALS WERE CREATED BY THE CALIFORNIA
 * INSTITUTE OF TECHNOLOGY (CALTECH). THE SOFTWARE IS PROVIDED "AS-IS" TO THE
 * RECIPIENT WITHOUT WARRANTY OF ANY KIND, INCLUDING ANY WARRANTIES OF
 * PERFORMANCE OR MERCHANTABILITY OR FITNESS FOR A PARTICULAR USE OR PURPOSE
 * (AS SET FORTH IN UNITED STATES UCC Sect. 2312-2313) OR FOR ANY PURPOSE
 * WHATSOEVER, FOR THE SOFTWARE AND RELATED MATERIALS, HOWEVER USED.
 * 
 * IN NO EVENT SHALL CALTECH BE LIABLE FOR ANY DAMAGES AND/OR COSTS,
 * INCLUDING, BUT NOT LIMITED TO, INCIDENTAL OR CONSEQUENTIAL DAMAGES OF ANY
 * KIND, INCLUDING ECONOMIC DAMAGE OR INJURY TO PROPERTY AND LOST PROFITS,
 * REGARDLESS OF WHETHER CALTECH BE ADVISED, HAVE REASON TO KNOW, OR, IN FACT,
 * SHALL KNOW OF THE POSSIBILITY.
 * 
 * RECIPIENT BEARS ALL RISK RELATING TO QUALITY AND PERFORMANCE OF THE
 * SOFTWARE AND ANY RELATED MATERIALS, AND AGREES TO INDEMNIFY CALTECH FOR
 * ALL THIRD-PARTY CLAIMS RESULTING FROM THE ACTIONS OF RECIPIENT IN THE
 * USE OF THE SOFTWARE.
 * 
 * In addition, RECIPIENT also agrees that Caltech is under no obligation to
 * provide technical support for the Software.
 * 
 * Finally, Caltech places no restrictions on RECIPIENT's use, preparation of
 * Derivative Works, public display or redistribution of the Software other
 * than those specified in the GNU General Public License and the requirement
 * that all copies of the Software released be marked with the language
 * provided in this notice.
 * 
 * You should have received a copy of the GNU General Public License
 * along with chpsim.  If not, see <http://www.gnu.org/licenses/>.
 * 
 * Authors: Marcel van der Goot and Chris Moore
 */
#ifndef SYM
#define SYM(M, S)
#endif
#ifndef KW
#define KW(M)
#endif

/* Important: If one symbol is a prefix of another, the longer one
	      must be listed first.
*/
SYM(assign, ":=")
SYM(arrow, "->")
SYM(varargs, "...")
SYM(dots, "..")
SYM(loop, "*[")
SYM(bar, "[]")
SYM(arb, "[:]")
SYM(concat, "++")
SYM(neq, "!=")
SYM(lte, "<=")
SYM(gte, ">=")
SYM(peek, "#?")
SYM(equiv, "==")
SYM(keep, "?#")
SYM(andand, "&&")
SYM(oror, "||")
SYM(comment_close, "*/")
SYM(rep, "<<")
SYM(rep_end, ">>")
SYM(marked_paren, "`(")

/* keywords must be in lower-case, and satisfy the rules for identifiers.
   Note: lex.c:scan_id_kw() assumes that keywords consist of letters only.
	 If you add a keyword with an underscore or digit, please modify
	 that function.
*/
KW(after)
KW(all)
KW(atomic)
KW(array)
KW(bool)
KW(builtin)
KW(chp)
KW(connect)
KW(const)
KW(counter)
KW(default)
KW(delay)
KW(export)
KW(external)
KW(false)
KW(field)
KW(function)
KW(hse)
KW(instance)
KW(int)
KW(meta)
KW(mod)
KW(of)
KW(procedure)
KW(process)
KW(property)
KW(prs)
KW(record)
KW(requires)
KW(res)
KW(skip)
KW(symbol)
KW(type)
KW(true)
KW(union)
KW(val)
KW(valres)
KW(var)
KW(volatile)
KW(xor)

#undef SYM
#undef KW