Skip to content
GitLab
Commit 17a5efb2 authored by Akim Demaille's avatar Akim Demaille
Browse files

2003-09-30 Akim Demaille <akim@epita.fr> 

	* meta-sdf-boxed.prj: More ignore patterns.
	* configure.ac: Add copyright notice.
	Quote arguments.
	Make sure we can find unpack-sdf.
	Set $prefix if still NONE.
	* README: Add copyright notice.
parent 79ead33e
Hide whitespace changes
Inline Side-by-side
meta-sdf-boxed/ChangeLog
View file @ 17a5efb2
2003-09-30 Akim Demaille <akim@epita.fr>
* meta-sdf-boxed.prj: More ignore patterns.
* configure.ac: Add copyright notice.
Quote arguments.
Make sure we can find unpack-sdf.
Set $prefix if still NONE.
* README: Add copyright notice.
2003-07-11 Valentin David <valentin@lrde.epita.fr>
* test/simple.pp.ref, test/simple.def.ref, test/merge-pp.sdf.ref: New.
......
meta-sdf-boxed/README
View file @ 17a5efb2
BoxedSdf
BoxedSdf -*- Text -*-
--------
This package is to make easier the writing of Pretty-Print tables for Generic
......@@ -23,15 +23,15 @@ Working with BoxedSdf grammar
A common using is:
$ pack-boxedsdf -i MyGrammar.ppsdf | \
$ pack-boxedsdf -i MyGrammar.ppsdf |
asfix-yield -o MyGrammar.ppdef
$ parse-boxedsdf -i MyGrammar.ppdef | \
boxed2sdf | \
$ parse-boxedsdf -i MyGrammar.ppdef |
boxed2sdf |
pp-sdf -o MyGrammar.def
$ parse-boxedsdf -i MyGrammar.ppdef | \
boxed2pp-table | \
$ parse-boxedsdf -i MyGrammar.ppdef |
boxed2pp-table |
pp-pp-table -o MyGrammar.pp
Note: if you have to use sdf-cons on your grammar, you should do it before the
......@@ -43,8 +43,8 @@ Using old grammars
If you want to use an already written grammar, you can merge PP information
into the Sdf grammar. Let's suppose having MyOldGrammar.def and MyOldGrammar.pp
$ parse-sdf -i MyOldGrammar.def | \
boxedsdf-merge -p MyOldGrammar.pp | \
$ parse-sdf -i MyOldGrammar.def |
boxedsdf-merge -p MyOldGrammar.pp |
pp-boxedsdf -o MyOldGrammar.ppdef
If you want to get modular files, you can use the unpack-sdf of the StrategoXT
......@@ -57,8 +57,8 @@ Sometimes, when updating grammar, it is possible to forget to change some
pp entries. boxedsdf-update is a tool that can test it. If the pp entries were
not modified, it is deleted so as to be regenerated by boxed2pp-table.
$ parse-boxedsdf -i MyUpdatedGrammar.ppdef | \
boxedsdf-merge -d MuOldGrammar.ppdef --verbose 1 | \
$ parse-boxedsdf -i MyUpdatedGrammar.ppdef |
boxedsdf-merge -d MuOldGrammar.ppdef --verbose 1 |
pp-boxedsdf -o MyCorrectedGrammar.ppdef
Production has changed, but not the pp. Reseting it: "constructor1"
Production has changed, but not the pp. Reseting it: "constructor2"
......@@ -74,10 +74,10 @@ you want to use your own grammar, you just have to use the -s/--syntax option.
example of use:
$ pack-boxedsdf -I /path/to/your/syntax -s YourSdfSyntax -i YourGrammar | \
implode-asfix | \
YourSdfSyntax-to-BoxedSdf | \
boxed2pp-table | \
$ pack-boxedsdf -I /path/to/your/syntax -s YourSdfSyntax -i YourGrammar |
implode-asfix |
YourSdfSyntax-to-BoxedSdf |
boxed2pp-table |
pp-pp-table -o YourGrammar.pp
Writing in BoxedSdf
......@@ -95,3 +95,24 @@ exports
When a pp entry is not specified, boxed2pp-table will generate the default one
(with ppgen). So, many production do not have to have pp entries.
--
Copyright (C) 2003 Laboratoire de Recherche et Developpement de l'EPITA.
This file is part of Boxed SDF.
This program 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 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
02111-1307 USA
meta-sdf-boxed/configure.ac
View file @ 17a5efb2
# Configure template for Boxed SDF. -*-Autoconf-*-
#
# Copyright (C) 2003 Laboratoire de Recherche et Developpement de l'EPITA.
#
# This program 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 2 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
# 02111-1307 USA
AC_PREREQ(2.57)
AC_INIT(boxedsdf, 0.2, valentin@lrde.epita.fr)
AC_INIT([boxedsdf], 0.2, [valentin@lrde.epita.fr])
AC_CONFIG_AUX_DIR(config)
AC_CONFIG_FILES(config/Makefile)
AC_CONFIG_AUX_DIR([config])
AC_CONFIG_FILES([config/Makefile])
AM_INIT_AUTOMAKE([foreign 1.7.1 dist-bzip2])
AM_INIT_AUTOMAKE([foreign 1.7.7 dist-bzip2])
# Make sure $prefix is defined.
test "x$prefix" = xNONE && prefix=$ac_default_prefix
USE_XT_PACKAGES
test -f $UNPACK_SDF ||
AC_MSG_ERROR([cannot find unpack-sdf. Did you set --with-xt?])
AC_PROG_CC
AC_PROG_INSTALL
......
meta-sdf-boxed/prj 0 → 100644
View file @ 17a5efb2
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 2)
(Project-Description "")
(Project-Version meta-sdf-boxed 0 34)
(Parent-Version meta-sdf-boxed 0 33)
(New-Version-Log "")
(Version-Log "2003-09-30 Akim Demaille <akim@epita.fr>
* meta-sdf-boxed.prj: More ignore patterns.
* configure.ac: Add copyright notice.
Quote arguments.
Make sure we can find unpack-sdf.
Set $prefix if still NONE.
* README: Add copyright notice.")
(Checkin-Time "Tue, 30 Sep 2003 18:25:54 +0200")
(Checkin-Login akim)
(Populate-Ignore
(
;; Generated from the C++ Grammar (.def).
"src/syn/.*\\.str$"
;; Generated from Stratego.
".rtree$"
;; Fetched in the Grammar Base.
"lib/sdf-2\\.1/.*\\.sdf$"
;; Generated by StrategoXT.
"\\.\\(af\\|def\\|tbl\\)$"
;; Generated by the GNU Build System.
"^aclocal\\.m4$"
"^configure$"
"config\\.\\(status\\|log\\|h.in\\|h\\|cache\\)"
"autom4te.cache"
"Makefile\\(.in\\)\\?$"
"\\.\\([co]\\|dep\\|Po\\)$"
"^test/defs$"
;; Generic.
"^config/autoxt.m4$"
"^config/depcomp$"
"^config/install-sh$"
"^config/Makefile.xt$"
"^config/missing$"
"^config/mkinstalldirs$"
;; Executable.
"^src/boxed2pp-table/boxed2pp-table$"
"^src/boxed2sdf/boxed2sdf$"
"^src/boxedsdf-merge/boxedsdf-merge$"
"^src/boxedsdf-update/boxedsdf-update$"
"^src/pack-boxedsdf/pack-boxedsdf$"
"^src/parser/parse-boxedsdf$"
"^src/pp/pp-boxedsdf$"
)
)
(Project-Keywords)
(Files
(prj (meta-sdf-boxed.prj) :symlink)
(AUTHORS (meta-sdf-boxed/b/26_AUTHORS 1.1 644))
(bootstrap (meta-sdf-boxed/41_autogen.sh 1.4 755))
(ChangeLog (meta-sdf-boxed/38_ChangeLog 1.34 644))
(config/Makefile.am (meta-sdf-boxed/40_Makefile.a 1.1 644))
(configure.ac (meta-sdf-boxed/42_configure. 1.12 644))
(COPYING (meta-sdf-boxed/b/32_COPYING 1.1 644))
(INSTALL (meta-sdf-boxed/b/33_INSTALL 1.1 644))
(lib/Makefile.am (meta-sdf-boxed/7_Makefile.a 1.4 644))
(lib/ppgen/Makefile.am (meta-sdf-boxed/b/10_Makefile.a 1.2 644))
(lib/ppgen/sdf-2-pp-lib.str (meta-sdf-boxed/b/9_sdf-2-pp-l 1.2 644))
(lib/sdf-2.1/Makefile.am (meta-sdf-boxed/b/31_Makefile.a 1.2 644))
(lib/sdf-2.1/sdf.def (meta-sdf-boxed/b/30_sdf.def 1.1 644))
(Makefile.am (meta-sdf-boxed/39_Makefile.a 1.6 644))
(NEWS (meta-sdf-boxed/b/29_NEWS 1.2 644))
(README (meta-sdf-boxed/b/24_README 1.8 644))
(src/boxed2pp-table/boxed2pp-table.str (meta-sdf-boxed/b/2_boxed2pp-t 1.9 644))
(src/boxed2pp-table/Makefile.am (meta-sdf-boxed/b/1_Makefile.a 1.5 644))
(src/boxed2sdf/boxed2sdf.str (meta-sdf-boxed/b/3_boxed2sdf. 1.6 644))
(src/boxed2sdf/Makefile.am (meta-sdf-boxed/b/4_Makefile.a 1.4 644))
(src/boxedsdf-merge/boxedsdf-merge.str (meta-sdf-boxed/b/15_boxedsdf-m 1.10 644))
(src/boxedsdf-merge/Makefile.am (meta-sdf-boxed/b/14_Makefile.a 1.5 644))
(src/boxedsdf-update/boxedsdf-update.str (meta-sdf-boxed/b/34_boxedsdf-u 1.1 644))
(src/boxedsdf-update/Makefile.am (meta-sdf-boxed/b/35_Makefile.a 1.1 644))
(src/Makefile.am (meta-sdf-boxed/b/0_Makefile.a 1.7 644))
(src/pack-boxedsdf/Makefile.am (meta-sdf-boxed/49_Makefile.a 1.6 644))
(src/pack-boxedsdf/pack-boxedsdf.str (meta-sdf-boxed/47_pack-boxed 1.7 644))
(src/pack-boxedsdf/sglr.str (meta-sdf-boxed/48_sglr.str 1.3 644))
(src/parser/Makefile.am (meta-sdf-boxed/b/23_Makefile.a 1.5 644))
(src/parser/parse-boxedsdf.str (meta-sdf-boxed/b/22_parse-boxe 1.4 644))
(src/pp/BoxedSdf2-pretty.pp (meta-sdf-boxed/b/13_BoxedSdf2- 1.2 644))
(src/pp/Makefile.am (meta-sdf-boxed/b/11_Makefile.a 1.5 644))
(src/pp/pp-boxedsdf.str (meta-sdf-boxed/b/12_pp-boxedsd 1.4 644))
(src/syn/BoxedSdf2.sdf (meta-sdf-boxed/b/6_BoxedSdf2. 1.7 644))
(src/syn/Makefile.am (meta-sdf-boxed/b/5_Makefile.a 1.4 644))
(src/syn/unrename.sh (meta-sdf-boxed/b/8_unrename.s 1.2 755))
(test/2pp.test (meta-sdf-boxed/b/21_2pp.test 1.4 755))
(test/2sdf.test (meta-sdf-boxed/b/20_2sdf.test 1.4 755))
(test/defs.in (meta-sdf-boxed/3_defs.in 1.8 644))
(test/inclusion.sdf (meta-sdf-boxed/1_inclusion. 1.3 644))
(test/Makefile.am (meta-sdf-boxed/4_Makefile.a 1.5 644))
(test/merge.pp (meta-sdf-boxed/b/18_merge.pp 1.1 644))
(test/merge-pp.sdf.ref (meta-sdf-boxed/b/38_merge-pp.s 1.1 644))
(test/merge.sdf (meta-sdf-boxed/b/17_merge.sdf 1.1 644))
(test/merge.test (meta-sdf-boxed/b/16_merge.test 1.4 755))
(test/simple.def.ref (meta-sdf-boxed/b/37_simple.def 1.1 644))
(test/simple.pp.ref (meta-sdf-boxed/b/36_simple.pp. 1.1 644))
(test/simple.sdf (meta-sdf-boxed/0_simple.sdf 1.4 644))
)
(Merge-Parents)
(New-Merge-Parents)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment