5 |
|
|
6 |
;; Author: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
;; Author: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
7 |
;; Maintainer: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
;; Maintainer: Vinicius Jose Latorre <viniciusjl@ig.com.br> |
8 |
;; Time-stamp: <2004/04/04 21:40:30 vinicius> |
;; Time-stamp: <2004/11/19 21:51:40 vinicius> |
9 |
;; Keywords: wp, ebnf, PostScript |
;; Keywords: wp, ebnf, PostScript |
10 |
;; Version: 4.2 |
;; Version: 4.2 |
11 |
;; X-URL: http://www.cpqd.com.br/~vinicius/emacs/ |
;; X-URL: http://www.cpqd.com.br/~vinicius/emacs/ |
1138 |
(defgroup postscript nil |
(defgroup postscript nil |
1139 |
"PostScript Group" |
"PostScript Group" |
1140 |
:tag "PostScript" |
:tag "PostScript" |
1141 |
|
:version "20" |
1142 |
:group 'emacs) |
:group 'emacs) |
1143 |
|
|
1144 |
|
|
1145 |
(defgroup ebnf2ps nil |
(defgroup ebnf2ps nil |
1146 |
"Translate an EBNF to a syntactic chart on PostScript" |
"Translate an EBNF to a syntactic chart on PostScript" |
1147 |
:prefix "ebnf-" |
:prefix "ebnf-" |
1148 |
|
:version "20" |
1149 |
:group 'wp |
:group 'wp |
1150 |
:group 'postscript) |
:group 'postscript) |
1151 |
|
|
1154 |
"Special customization" |
"Special customization" |
1155 |
:prefix "ebnf-" |
:prefix "ebnf-" |
1156 |
:tag "Special" |
:tag "Special" |
1157 |
|
:version "20" |
1158 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1159 |
|
|
1160 |
|
|
1162 |
"Except customization" |
"Except customization" |
1163 |
:prefix "ebnf-" |
:prefix "ebnf-" |
1164 |
:tag "Except" |
:tag "Except" |
1165 |
|
:version "20" |
1166 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1167 |
|
|
1168 |
|
|
1170 |
"Repeat customization" |
"Repeat customization" |
1171 |
:prefix "ebnf-" |
:prefix "ebnf-" |
1172 |
:tag "Repeat" |
:tag "Repeat" |
1173 |
|
:version "20" |
1174 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1175 |
|
|
1176 |
|
|
1178 |
"Terminal customization" |
"Terminal customization" |
1179 |
:prefix "ebnf-" |
:prefix "ebnf-" |
1180 |
:tag "Terminal" |
:tag "Terminal" |
1181 |
|
:version "20" |
1182 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1183 |
|
|
1184 |
|
|
1186 |
"Non-Terminal customization" |
"Non-Terminal customization" |
1187 |
:prefix "ebnf-" |
:prefix "ebnf-" |
1188 |
:tag "Non-Terminal" |
:tag "Non-Terminal" |
1189 |
|
:version "20" |
1190 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1191 |
|
|
1192 |
|
|
1194 |
"Production customization" |
"Production customization" |
1195 |
:prefix "ebnf-" |
:prefix "ebnf-" |
1196 |
:tag "Production" |
:tag "Production" |
1197 |
|
:version "20" |
1198 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1199 |
|
|
1200 |
|
|
1202 |
"Shapes customization" |
"Shapes customization" |
1203 |
:prefix "ebnf-" |
:prefix "ebnf-" |
1204 |
:tag "Shape" |
:tag "Shape" |
1205 |
|
:version "20" |
1206 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1207 |
|
|
1208 |
|
|
1210 |
"Displacement customization" |
"Displacement customization" |
1211 |
:prefix "ebnf-" |
:prefix "ebnf-" |
1212 |
:tag "Displacement" |
:tag "Displacement" |
1213 |
|
:version "20" |
1214 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1215 |
|
|
1216 |
|
|
1218 |
"Syntactic customization" |
"Syntactic customization" |
1219 |
:prefix "ebnf-" |
:prefix "ebnf-" |
1220 |
:tag "Syntactic" |
:tag "Syntactic" |
1221 |
|
:version "20" |
1222 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1223 |
|
|
1224 |
|
|
1226 |
"Optimization customization" |
"Optimization customization" |
1227 |
:prefix "ebnf-" |
:prefix "ebnf-" |
1228 |
:tag "Optimization" |
:tag "Optimization" |
1229 |
|
:version "20" |
1230 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1231 |
|
|
1232 |
|
|
1233 |
(defcustom ebnf-horizontal-orientation nil |
(defcustom ebnf-horizontal-orientation nil |
1234 |
"*Non-nil means productions are drawn horizontally." |
"*Non-nil means productions are drawn horizontally." |
1235 |
:type 'boolean |
:type 'boolean |
1236 |
|
:version "20" |
1237 |
:group 'ebnf-displacement) |
:group 'ebnf-displacement) |
1238 |
|
|
1239 |
|
|
1242 |
|
|
1243 |
It is only used when `ebnf-horizontal-orientation' is non-nil." |
It is only used when `ebnf-horizontal-orientation' is non-nil." |
1244 |
:type 'boolean |
:type 'boolean |
1245 |
|
:version "20" |
1246 |
:group 'ebnf-displacement) |
:group 'ebnf-displacement) |
1247 |
|
|
1248 |
|
|
1251 |
|
|
1252 |
Value less or equal to zero forces ebnf2ps to set a proper default value." |
Value less or equal to zero forces ebnf2ps to set a proper default value." |
1253 |
:type 'number |
:type 'number |
1254 |
|
:version "20" |
1255 |
:group 'ebnf-displacement) |
:group 'ebnf-displacement) |
1256 |
|
|
1257 |
|
|
1260 |
|
|
1261 |
Value less or equal to zero forces ebnf2ps to set a proper default value." |
Value less or equal to zero forces ebnf2ps to set a proper default value." |
1262 |
:type 'number |
:type 'number |
1263 |
|
:version "20" |
1264 |
:group 'ebnf-displacement) |
:group 'ebnf-displacement) |
1265 |
|
|
1266 |
|
|
1274 |
any other value centralize" |
any other value centralize" |
1275 |
:type '(radio :tag "Sequence Justification" |
:type '(radio :tag "Sequence Justification" |
1276 |
(const left) (const right) (other :tag "center" center)) |
(const left) (const right) (other :tag "center" center)) |
1277 |
|
:version "20" |
1278 |
:group 'ebnf-displacement) |
:group 'ebnf-displacement) |
1279 |
|
|
1280 |
|
|
1281 |
(defcustom ebnf-special-show-delimiter t |
(defcustom ebnf-special-show-delimiter t |
1282 |
"*Non-nil means special delimiter (character `?') is shown." |
"*Non-nil means special delimiter (character `?') is shown." |
1283 |
:type 'boolean |
:type 'boolean |
1284 |
|
:version "20" |
1285 |
:group 'ebnf-special) |
:group 'ebnf-special) |
1286 |
|
|
1287 |
|
|
1303 |
(const underline) (const strikeout) |
(const underline) (const strikeout) |
1304 |
(const overline) (const shadow) |
(const overline) (const shadow) |
1305 |
(const box) (const outline)))) |
(const box) (const outline)))) |
1306 |
|
:version "20" |
1307 |
:group 'ebnf-special) |
:group 'ebnf-special) |
1308 |
|
|
1309 |
|
|
1313 |
See documentation for `ebnf-non-terminal-shape'." |
See documentation for `ebnf-non-terminal-shape'." |
1314 |
:type '(radio :tag "Special Shape" |
:type '(radio :tag "Special Shape" |
1315 |
(const miter) (const round) (const bevel)) |
(const miter) (const round) (const bevel)) |
1316 |
|
:version "20" |
1317 |
:group 'ebnf-special) |
:group 'ebnf-special) |
1318 |
|
|
1319 |
|
|
1320 |
(defcustom ebnf-special-shadow nil |
(defcustom ebnf-special-shadow nil |
1321 |
"*Non-nil means special box will have a shadow." |
"*Non-nil means special box will have a shadow." |
1322 |
:type 'boolean |
:type 'boolean |
1323 |
|
:version "20" |
1324 |
:group 'ebnf-special) |
:group 'ebnf-special) |
1325 |
|
|
1326 |
|
|
1327 |
(defcustom ebnf-special-border-width 0.5 |
(defcustom ebnf-special-border-width 0.5 |
1328 |
"*Specify border width for special box." |
"*Specify border width for special box." |
1329 |
:type 'number |
:type 'number |
1330 |
|
:version "20" |
1331 |
:group 'ebnf-special) |
:group 'ebnf-special) |
1332 |
|
|
1333 |
|
|
1334 |
(defcustom ebnf-special-border-color "Black" |
(defcustom ebnf-special-border-color "Black" |
1335 |
"*Specify border color for special box." |
"*Specify border color for special box." |
1336 |
:type 'string |
:type 'string |
1337 |
|
:version "20" |
1338 |
:group 'ebnf-special) |
:group 'ebnf-special) |
1339 |
|
|
1340 |
|
|
1356 |
(const underline) (const strikeout) |
(const underline) (const strikeout) |
1357 |
(const overline) (const shadow) |
(const overline) (const shadow) |
1358 |
(const box) (const outline)))) |
(const box) (const outline)))) |
1359 |
|
:version "20" |
1360 |
:group 'ebnf-except) |
:group 'ebnf-except) |
1361 |
|
|
1362 |
|
|
1366 |
See documentation for `ebnf-non-terminal-shape'." |
See documentation for `ebnf-non-terminal-shape'." |
1367 |
:type '(radio :tag "Except Shape" |
:type '(radio :tag "Except Shape" |
1368 |
(const miter) (const round) (const bevel)) |
(const miter) (const round) (const bevel)) |
1369 |
|
:version "20" |
1370 |
:group 'ebnf-except) |
:group 'ebnf-except) |
1371 |
|
|
1372 |
|
|
1373 |
(defcustom ebnf-except-shadow nil |
(defcustom ebnf-except-shadow nil |
1374 |
"*Non-nil means except box will have a shadow." |
"*Non-nil means except box will have a shadow." |
1375 |
:type 'boolean |
:type 'boolean |
1376 |
|
:version "20" |
1377 |
:group 'ebnf-except) |
:group 'ebnf-except) |
1378 |
|
|
1379 |
|
|
1380 |
(defcustom ebnf-except-border-width 0.25 |
(defcustom ebnf-except-border-width 0.25 |
1381 |
"*Specify border width for except box." |
"*Specify border width for except box." |
1382 |
:type 'number |
:type 'number |
1383 |
|
:version "20" |
1384 |
:group 'ebnf-except) |
:group 'ebnf-except) |
1385 |
|
|
1386 |
|
|
1387 |
(defcustom ebnf-except-border-color "Black" |
(defcustom ebnf-except-border-color "Black" |
1388 |
"*Specify border color for except box." |
"*Specify border color for except box." |
1389 |
:type 'string |
:type 'string |
1390 |
|
:version "20" |
1391 |
:group 'ebnf-except) |
:group 'ebnf-except) |
1392 |
|
|
1393 |
|
|
1409 |
(const underline) (const strikeout) |
(const underline) (const strikeout) |
1410 |
(const overline) (const shadow) |
(const overline) (const shadow) |
1411 |
(const box) (const outline)))) |
(const box) (const outline)))) |
1412 |
|
:version "20" |
1413 |
:group 'ebnf-repeat) |
:group 'ebnf-repeat) |
1414 |
|
|
1415 |
|
|
1419 |
See documentation for `ebnf-non-terminal-shape'." |
See documentation for `ebnf-non-terminal-shape'." |
1420 |
:type '(radio :tag "Repeat Shape" |
:type '(radio :tag "Repeat Shape" |
1421 |
(const miter) (const round) (const bevel)) |
(const miter) (const round) (const bevel)) |
1422 |
|
:version "20" |
1423 |
:group 'ebnf-repeat) |
:group 'ebnf-repeat) |
1424 |
|
|
1425 |
|
|
1426 |
(defcustom ebnf-repeat-shadow nil |
(defcustom ebnf-repeat-shadow nil |
1427 |
"*Non-nil means repeat box will have a shadow." |
"*Non-nil means repeat box will have a shadow." |
1428 |
:type 'boolean |
:type 'boolean |
1429 |
|
:version "20" |
1430 |
:group 'ebnf-repeat) |
:group 'ebnf-repeat) |
1431 |
|
|
1432 |
|
|
1433 |
(defcustom ebnf-repeat-border-width 0.0 |
(defcustom ebnf-repeat-border-width 0.0 |
1434 |
"*Specify border width for repeat box." |
"*Specify border width for repeat box." |
1435 |
:type 'number |
:type 'number |
1436 |
|
:version "20" |
1437 |
:group 'ebnf-repeat) |
:group 'ebnf-repeat) |
1438 |
|
|
1439 |
|
|
1440 |
(defcustom ebnf-repeat-border-color "Black" |
(defcustom ebnf-repeat-border-color "Black" |
1441 |
"*Specify border color for repeat box." |
"*Specify border color for repeat box." |
1442 |
:type 'string |
:type 'string |
1443 |
|
:version "20" |
1444 |
:group 'ebnf-repeat) |
:group 'ebnf-repeat) |
1445 |
|
|
1446 |
|
|
1462 |
(const underline) (const strikeout) |
(const underline) (const strikeout) |
1463 |
(const overline) (const shadow) |
(const overline) (const shadow) |
1464 |
(const box) (const outline)))) |
(const box) (const outline)))) |
1465 |
|
:version "20" |
1466 |
:group 'ebnf-terminal) |
:group 'ebnf-terminal) |
1467 |
|
|
1468 |
|
|
1472 |
See documentation for `ebnf-non-terminal-shape'." |
See documentation for `ebnf-non-terminal-shape'." |
1473 |
:type '(radio :tag "Terminal Shape" |
:type '(radio :tag "Terminal Shape" |
1474 |
(const miter) (const round) (const bevel)) |
(const miter) (const round) (const bevel)) |
1475 |
|
:version "20" |
1476 |
:group 'ebnf-terminal) |
:group 'ebnf-terminal) |
1477 |
|
|
1478 |
|
|
1479 |
(defcustom ebnf-terminal-shadow nil |
(defcustom ebnf-terminal-shadow nil |
1480 |
"*Non-nil means terminal box will have a shadow." |
"*Non-nil means terminal box will have a shadow." |
1481 |
:type 'boolean |
:type 'boolean |
1482 |
|
:version "20" |
1483 |
:group 'ebnf-terminal) |
:group 'ebnf-terminal) |
1484 |
|
|
1485 |
|
|
1486 |
(defcustom ebnf-terminal-border-width 1.0 |
(defcustom ebnf-terminal-border-width 1.0 |
1487 |
"*Specify border width for terminal box." |
"*Specify border width for terminal box." |
1488 |
:type 'number |
:type 'number |
1489 |
|
:version "20" |
1490 |
:group 'ebnf-terminal) |
:group 'ebnf-terminal) |
1491 |
|
|
1492 |
|
|
1493 |
(defcustom ebnf-terminal-border-color "Black" |
(defcustom ebnf-terminal-border-color "Black" |
1494 |
"*Specify border color for terminal box." |
"*Specify border color for terminal box." |
1495 |
:type 'string |
:type 'string |
1496 |
|
:version "20" |
1497 |
:group 'ebnf-terminal) |
:group 'ebnf-terminal) |
1498 |
|
|
1499 |
|
|
1500 |
(defcustom ebnf-production-name-p t |
(defcustom ebnf-production-name-p t |
1501 |
"*Non-nil means production name will be printed." |
"*Non-nil means production name will be printed." |
1502 |
:type 'boolean |
:type 'boolean |
1503 |
|
:version "20" |
1504 |
:group 'ebnf-production) |
:group 'ebnf-production) |
1505 |
|
|
1506 |
|
|
1516 |
(const :tag "Ascending" ascending) |
(const :tag "Ascending" ascending) |
1517 |
(const :tag "Descending" descending) |
(const :tag "Descending" descending) |
1518 |
(other :tag "No Sort" nil)) |
(other :tag "No Sort" nil)) |
1519 |
|
:version "20" |
1520 |
:group 'ebnf-production) |
:group 'ebnf-production) |
1521 |
|
|
1522 |
|
|
1559 |
(const underline) (const strikeout) |
(const underline) (const strikeout) |
1560 |
(const overline) (const shadow) |
(const overline) (const shadow) |
1561 |
(const box) (const outline)))) |
(const box) (const outline)))) |
1562 |
|
:version "20" |
1563 |
:group 'ebnf-production) |
:group 'ebnf-production) |
1564 |
|
|
1565 |
|
|
1581 |
(const underline) (const strikeout) |
(const underline) (const strikeout) |
1582 |
(const overline) (const shadow) |
(const overline) (const shadow) |
1583 |
(const box) (const outline)))) |
(const box) (const outline)))) |
1584 |
|
:version "20" |
1585 |
:group 'ebnf-non-terminal) |
:group 'ebnf-non-terminal) |
1586 |
|
|
1587 |
|
|
1605 |
Any other value is treated as `miter'." |
Any other value is treated as `miter'." |
1606 |
:type '(radio :tag "Non-Terminal Shape" |
:type '(radio :tag "Non-Terminal Shape" |
1607 |
(const miter) (const round) (const bevel)) |
(const miter) (const round) (const bevel)) |
1608 |
|
:version "20" |
1609 |
:group 'ebnf-non-terminal) |
:group 'ebnf-non-terminal) |
1610 |
|
|
1611 |
|
|
1612 |
(defcustom ebnf-non-terminal-shadow nil |
(defcustom ebnf-non-terminal-shadow nil |
1613 |
"*Non-nil means non-terminal box will have a shadow." |
"*Non-nil means non-terminal box will have a shadow." |
1614 |
:type 'boolean |
:type 'boolean |
1615 |
|
:version "20" |
1616 |
:group 'ebnf-non-terminal) |
:group 'ebnf-non-terminal) |
1617 |
|
|
1618 |
|
|
1619 |
(defcustom ebnf-non-terminal-border-width 1.0 |
(defcustom ebnf-non-terminal-border-width 1.0 |
1620 |
"*Specify border width for non-terminal box." |
"*Specify border width for non-terminal box." |
1621 |
:type 'number |
:type 'number |
1622 |
|
:version "20" |
1623 |
:group 'ebnf-non-terminal) |
:group 'ebnf-non-terminal) |
1624 |
|
|
1625 |
|
|
1626 |
(defcustom ebnf-non-terminal-border-color "Black" |
(defcustom ebnf-non-terminal-border-color "Black" |
1627 |
"*Specify border color for non-terminal box." |
"*Specify border color for non-terminal box." |
1628 |
:type 'string |
:type 'string |
1629 |
|
:version "20" |
1630 |
:group 'ebnf-non-terminal) |
:group 'ebnf-non-terminal) |
1631 |
|
|
1632 |
|
|
1683 |
(const full) (const semi-up-hollow) |
(const full) (const semi-up-hollow) |
1684 |
(const semi-down-hollow) (const semi-up-full) |
(const semi-down-hollow) (const semi-up-full) |
1685 |
(const semi-down-full) (const user)) |
(const semi-down-full) (const user)) |
1686 |
|
:version "20" |
1687 |
:group 'ebnf-shape) |
:group 'ebnf-shape) |
1688 |
|
|
1689 |
|
|
1693 |
See documentation for `ebnf-non-terminal-shape'." |
See documentation for `ebnf-non-terminal-shape'." |
1694 |
:type '(radio :tag "Chart Flow Shape" |
:type '(radio :tag "Chart Flow Shape" |
1695 |
(const miter) (const round) (const bevel)) |
(const miter) (const round) (const bevel)) |
1696 |
|
:version "20" |
1697 |
:group 'ebnf-shape) |
:group 'ebnf-shape) |
1698 |
|
|
1699 |
|
|
1733 |
The variable `ebnf-user-arrow' is only used when `ebnf-arrow-shape' is set to |
The variable `ebnf-user-arrow' is only used when `ebnf-arrow-shape' is set to |
1734 |
symbol `user'." |
symbol `user'." |
1735 |
:type '(sexp :tag "User Arrow Shape") |
:type '(sexp :tag "User Arrow Shape") |
1736 |
|
:version "20" |
1737 |
:group 'ebnf-shape) |
:group 'ebnf-shape) |
1738 |
|
|
1739 |
|
|
1777 |
:type '(radio :tag "Syntax" |
:type '(radio :tag "Syntax" |
1778 |
(const ebnf) (const abnf) (const iso-ebnf) |
(const ebnf) (const abnf) (const iso-ebnf) |
1779 |
(const yacc) (const ebnfx) (const dtd)) |
(const yacc) (const ebnfx) (const dtd)) |
1780 |
|
:version "20" |
1781 |
:group 'ebnf-syntactic) |
:group 'ebnf-syntactic) |
1782 |
|
|
1783 |
|
|
1786 |
|
|
1787 |
It's used only when `ebnf-syntax' is `ebnf'." |
It's used only when `ebnf-syntax' is `ebnf'." |
1788 |
:type 'character |
:type 'character |
1789 |
|
:version "20" |
1790 |
:group 'ebnf-syntactic) |
:group 'ebnf-syntactic) |
1791 |
|
|
1792 |
|
|
1795 |
|
|
1796 |
It's used only when `ebnf-syntax' is `ebnf'." |
It's used only when `ebnf-syntax' is `ebnf'." |
1797 |
:type 'character |
:type 'character |
1798 |
|
:version "20" |
1799 |
:group 'ebnf-syntactic) |
:group 'ebnf-syntactic) |
1800 |
|
|
1801 |
|
|
1809 |
It's used only when `ebnf-syntax' is `ebnf'." |
It's used only when `ebnf-syntax' is `ebnf'." |
1810 |
:type '(radio :tag "Terminal Name" |
:type '(radio :tag "Terminal Name" |
1811 |
(const nil) regexp) |
(const nil) regexp) |
1812 |
|
:version "20" |
1813 |
:group 'ebnf-syntactic) |
:group 'ebnf-syntactic) |
1814 |
|
|
1815 |
|
|
1819 |
It's only used when `ebnf-terminal-regexp' is non-nil and when `ebnf-syntax' is |
It's only used when `ebnf-terminal-regexp' is non-nil and when `ebnf-syntax' is |
1820 |
`ebnf'." |
`ebnf'." |
1821 |
:type 'boolean |
:type 'boolean |
1822 |
|
:version "20" |
1823 |
:group 'ebnf-syntactic) |
:group 'ebnf-syntactic) |
1824 |
|
|
1825 |
|
|
1838 |
} ==> :) |
} ==> :) |
1839 |
; ==> ." |
; ==> ." |
1840 |
:type 'boolean |
:type 'boolean |
1841 |
|
:version "20" |
1842 |
:group 'ebnf-syntactic) |
:group 'ebnf-syntactic) |
1843 |
|
|
1844 |
|
|
1850 |
|
|
1851 |
It's only used when `ebnf-syntax' is `iso-ebnf'." |
It's only used when `ebnf-syntax' is `iso-ebnf'." |
1852 |
:type 'boolean |
:type 'boolean |
1853 |
|
:version "20" |
1854 |
:group 'ebnf-syntactic) |
:group 'ebnf-syntactic) |
1855 |
|
|
1856 |
|
|
1859 |
|
|
1860 |
See `ebnf-eps-directory' command." |
See `ebnf-eps-directory' command." |
1861 |
:type 'regexp |
:type 'regexp |
1862 |
|
:version "20" |
1863 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1864 |
|
|
1865 |
|
|
1868 |
|
|
1869 |
See `ebnf-eps-buffer' and `ebnf-eps-region' commands." |
See `ebnf-eps-buffer' and `ebnf-eps-region' commands." |
1870 |
:type 'string |
:type 'string |
1871 |
|
:version "20" |
1872 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1873 |
|
|
1874 |
|
|
1877 |
|
|
1878 |
It must be a float between 0.0 (top) and 1.0 (bottom)." |
It must be a float between 0.0 (top) and 1.0 (bottom)." |
1879 |
:type 'number |
:type 'number |
1880 |
|
:version "20" |
1881 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1882 |
|
|
1883 |
|
|
1885 |
"*Specify additional border width over default terminal, non-terminal or |
"*Specify additional border width over default terminal, non-terminal or |
1886 |
special." |
special." |
1887 |
:type 'number |
:type 'number |
1888 |
|
:version "20" |
1889 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1890 |
|
|
1891 |
|
|
1894 |
(fboundp 'color-instance-rgb-components)) ; XEmacs |
(fboundp 'color-instance-rgb-components)) ; XEmacs |
1895 |
"*Non-nil means use color." |
"*Non-nil means use color." |
1896 |
:type 'boolean |
:type 'boolean |
1897 |
|
:version "20" |
1898 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1899 |
|
|
1900 |
|
|
1901 |
(defcustom ebnf-line-width 1.0 |
(defcustom ebnf-line-width 1.0 |
1902 |
"*Specify flow line width." |
"*Specify flow line width." |
1903 |
:type 'number |
:type 'number |
1904 |
|
:version "20" |
1905 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1906 |
|
|
1907 |
|
|
1908 |
(defcustom ebnf-line-color "Black" |
(defcustom ebnf-line-color "Black" |
1909 |
"*Specify flow line color." |
"*Specify flow line color." |
1910 |
:type 'string |
:type 'string |
1911 |
|
:version "20" |
1912 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1913 |
|
|
1914 |
|
|
1917 |
|
|
1918 |
It is intended to help PostScript programmers in debugging." |
It is intended to help PostScript programmers in debugging." |
1919 |
:type 'boolean |
:type 'boolean |
1920 |
|
:version "20" |
1921 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1922 |
|
|
1923 |
|
|
1933 |
|
|
1934 |
when executing ebnf2ps, set `ebnf-use-float-format' to nil." |
when executing ebnf2ps, set `ebnf-use-float-format' to nil." |
1935 |
:type 'boolean |
:type 'boolean |
1936 |
|
:version "20" |
1937 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1938 |
|
|
1939 |
|
|
1940 |
(defcustom ebnf-stop-on-error nil |
(defcustom ebnf-stop-on-error nil |
1941 |
"*Non-nil means signal error and stop. Nil means signal error and continue." |
"*Non-nil means signal error and stop. Nil means signal error and continue." |
1942 |
:type 'boolean |
:type 'boolean |
1943 |
|
:version "20" |
1944 |
:group 'ebnf2ps) |
:group 'ebnf2ps) |
1945 |
|
|
1946 |
|
|
1949 |
|
|
1950 |
It's only used when `ebnf-syntax' is `yacc'." |
It's only used when `ebnf-syntax' is `yacc'." |
1951 |
:type 'boolean |
:type 'boolean |
1952 |
|
:version "20" |
1953 |
:group 'ebnf-syntactic) |
:group 'ebnf-syntactic) |
1954 |
|
|
1955 |
|
|
1959 |
It's interesting to set this variable if your Yacc/Bison grammar has a lot of |
It's interesting to set this variable if your Yacc/Bison grammar has a lot of |
1960 |
middle action rule." |
middle action rule." |
1961 |
:type 'boolean |
:type 'boolean |
1962 |
|
:version "20" |
1963 |
:group 'ebnf-optimization) |
:group 'ebnf-optimization) |
1964 |
|
|
1965 |
|
|
1986 |
|
|
1987 |
The above optimizations are specially useful when `ebnf-syntax' is `yacc'." |
The above optimizations are specially useful when `ebnf-syntax' is `yacc'." |
1988 |
:type 'boolean |
:type 'boolean |
1989 |
|
:version "20" |
1990 |
:group 'ebnf-optimization) |
:group 'ebnf-optimization) |
1991 |
|
|
1992 |
|
|