From c56e341d25e35a5207c4eea12bac9bf0ddd8b652 Mon Sep 17 00:00:00 2001
From: Jared Barocsi
Date: Tue, 1 Mar 2022 16:28:33 -0800
Subject: Convert firrtl specification to Markdown file (#2236)

- Convert FIRRTL spec to Markdown file.
- Add PDF generation via pandoc.
- Remove old LaTeX specification.

Co-authored-by: Schuyler Eldridge <schuyler.eldridge@sifive.com>
Signed-off-by: Schuyler Eldridge <schuyler.eldridge@sifive.com>---
 spec/ebnf.xml | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 spec/ebnf.xml

(limited to 'spec/ebnf.xml')

diff --git a/spec/ebnf.xml b/spec/ebnf.xml
new file mode 100644
index 00000000..772335f0
--- /dev/null
+++ b/spec/ebnf.xml
@@ -0,0 +1,41 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<language name="EBNF" version="1" kateversion="2.4" section="Sources" extensions="*.ebnf">
+  <highlighting>
+    <contexts>
+      <context name = "lhs" attribute="Keyword" lineEndContext="#stay">
+        <DetectChar char="=" attribute="Operator" context="rhs"/>
+        <Detect2Chars char="(" char1="*" attribute="Comment" context="comment"/>
+      </context>
+      <context name = "rhs" attribute="Variable" lineEndContext="#stay">
+        <AnyChar String="|" attribute="Operator" context="#stay"/>
+        <AnyChar String=",()[]{}" attribute="Separator" context="#stay"/>
+        <DetectChar char=";" attribute="Separator" context="#pop"/>
+        <DetectChar attribute="String" context="stringdoublequote" char="&quot;" />
+        <DetectChar attribute="String" context="stringsinglequote" char="&apos;" />
+        <DetectChar char="?" attribute="Operator" context="special"/>
+      </context>
+      <context name="stringdoublequote" attribute="String" lineEndContext="#stay">
+        <DetectChar attribute="String" context="#pop" char="&quot;"/>
+      </context>
+      <context name="stringsinglequote" attribute="String" lineEndContext="#stay">
+        <DetectChar attribute="String" context="#pop" char="&apos;"/>
+      </context>
+      <context name="comment" attribute="Comment" lineEndContext="#stay">
+        <Detect2Chars char="*" char1=")" context="#pop"/>
+      </context>
+      <context name="special" attribute="Special" lineEndContext="#stay">
+        <DetectChar char="?" attribute="Operator" context="#pop"/>
+      </context>
+    </contexts>
+    <itemDatas>
+      <itemData name="Normal Text" defStyleNum="dsNormal" />
+      <itemData name="Keyword" defStyleNum="dsKeyword" />
+      <itemData name="Operator" defStyleNum="dsOperator" />
+      <itemData name="Separator" defStyleNum="dsOperator" />
+      <itemData name="String" defStyleNum="dsString" />
+      <itemData name="Variable" defStyleNum="dsVariable" />
+      <itemData name="Comment" defStyleNum="dsComment"/>
+      <itemData name="Special" defStyleNum="dsVerbatimString"/>
+    </itemDatas>
+  </highlighting>
+</language>
-- 
cgit v1.2.3