view tests/agcl/parsifal/factor.syn @ 3:e23ad76d0588

Document the LaTeX packages used in the install notes.
author David A. Holland
date Sun, 26 Apr 2009 18:23:33 -0400
parents 13d2b8934445
children
line wrap: on
line source

/*
 * AnaGram, A System for Syntax Directed Programming
 * Copyright 1993-2002 Parsifal Software. All Rights Reserved.
 * See the file COPYING for license and usage terms.
 */

 factor $
   -> "if", '(', true logical or exp, ',',
               conditional exp:x, ',',
               skip, ')'               =x;

 factor
   -> "if", '(', false logical or exp, ',',
               skip, ',',
               conditional exp:y, ')'               =y;

false logical or exp, true logical or exp
 -> logical or exp:c        ={if (c) CHANGE_REDUCTION("true_logical_or_exp");}


skip
 -> skip char...

skip char
 -> ~(eof + '(' + ')' + ',' + space)
 -> balanced parens

balanced parens
 -> '(', [~(eof + '(' + ')') | balanced parens]..., ')'

white space
 -> space
 -> comment

[
  disregard white space
  lexeme {skip char}
]