view tests/agcl/parsifal/factor.syn @ 8:ec2b657edf13

Add explicit lint-comment-style fallthrough annotations. GCC now assumes that if you don't have these you're making a mistake, which is annoying. XXX: This changeset updates the AG output files only (by hand) and is XXX: abusive - rebuilding them will erase the change. However, I need XXX: to get things to build before I can try to get AG to issue the XXX: annotations itself, so this seems like a reasonable expedient.
author David A. Holland
date Mon, 30 May 2022 23:51:43 -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}
]