diff options
| author | Alasdair Armstrong | 2018-01-05 17:50:39 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-05 17:50:39 +0000 |
| commit | 90bfc9c8e401e41a2f4616b84976a57f357664df (patch) | |
| tree | f1ded7f454b4015873afb772d1c149c7f42c342b /src/pre_parser.mly | |
| parent | cb796f509c412c4f354e045f7b83f233d8863181 (diff) | |
Removed legacy parser/lexer and pretty printer
Diffstat (limited to 'src/pre_parser.mly')
| -rw-r--r-- | src/pre_parser.mly | 94 |
1 files changed, 0 insertions, 94 deletions
diff --git a/src/pre_parser.mly b/src/pre_parser.mly deleted file mode 100644 index 0b4833a1..00000000 --- a/src/pre_parser.mly +++ /dev/null @@ -1,94 +0,0 @@ -/**************************************************************************/ -/* Sail */ -/* */ -/* Copyright (c) 2013-2017 */ -/* Kathyrn Gray */ -/* Shaked Flur */ -/* Stephen Kell */ -/* Gabriel Kerneis */ -/* Robert Norton-Wright */ -/* Christopher Pulte */ -/* Peter Sewell */ -/* Alasdair Armstrong */ -/* Brian Campbell */ -/* Thomas Bauereiss */ -/* Anthony Fox */ -/* Jon French */ -/* Dominic Mulligan */ -/* Stephen Kell */ -/* Mark Wassell */ -/* */ -/* All rights reserved. */ -/* */ -/* This software was developed by the University of Cambridge Computer */ -/* Laboratory as part of the Rigorous Engineering of Mainstream Systems */ -/* (REMS) project, funded by EPSRC grant EP/K008528/1. */ -/* */ -/* Redistribution and use in source and binary forms, with or without */ -/* modification, are permitted provided that the following conditions */ -/* are met: */ -/* 1. Redistributions of source code must retain the above copyright */ -/* notice, this list of conditions and the following disclaimer. */ -/* 2. Redistributions in binary form must reproduce the above copyright */ -/* notice, this list of conditions and the following disclaimer in */ -/* the documentation and/or other materials provided with the */ -/* distribution. */ -/* */ -/* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' */ -/* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED */ -/* TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A */ -/* PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR */ -/* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, */ -/* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT */ -/* LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF */ -/* USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND */ -/* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, */ -/* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT */ -/* OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF */ -/* SUCH DAMAGE. */ -/**************************************************************************/ - -%{ - -let r = fun x -> x (* Ulib.Text.of_latin1 *) - -%} - -/*Terminals with no content*/ - -%token Scattered Typedef Def Other Eof - -%token <string> Id -%start file -%type <string list> file - -%% - -id_found: - | Typedef Id - { $2 } - | Def Other Id - { $3 } - -skip: - | Scattered - { () } - | Id - { () } - | Other - { () } - -scan_file: - | id_found Eof - { [$1] } - | skip Eof - { [] } - | id_found scan_file - { $1::$2 } - | skip scan_file - { $2 } - -file: - | scan_file - { $1 } - |