From 50fdf81cc4d9bbf2459d2ba64ab7e3ca3637a4b7 Mon Sep 17 00:00:00 2001
From: Renaud Pawlak <renaud.pawlak@gmail.com>
Date: Thu, 26 Nov 2015 19:40:22 +0100
Subject: [PATCH] try out syntax highlighting

---
 doc/jsweet-language-specifications.md  | 54 ++++++++++++++------------
 doc/jsweet-language-specifications.tex |  6 +--
 2 files changed, 33 insertions(+), 27 deletions(-)

diff --git a/doc/jsweet-language-specifications.md b/doc/jsweet-language-specifications.md
index a9736bd3..a57ae545 100644
--- a/doc/jsweet-language-specifications.md
+++ b/doc/jsweet-language-specifications.md
@@ -21,15 +21,17 @@ JSweet allows the use of Java primitive types (and associated literals).
 
 Examples of valid statements:
 
-    // warning '==' behaves like the JavaScript one at runtime
-    int i = 2;
-    assert i == 2;
-    double d = i + 4;
-    assert d == 6;
-    String s = "string" + '0' + i;
-    assert s == "string02"; // JavaScript '=='
-    boolean b = false;
-    assert !b;
+``` java
+// warning '==' behaves like the JavaScript one at runtime
+int i = 2;
+assert i == 2;
+double d = i + 4;
+assert d == 6;
+String s = "string" + '0' + i;
+assert s == "string02"; // JavaScript '=='
+boolean b = false;
+assert !b;
+```
 
 #### Allowed Java objects
 
@@ -125,26 +127,30 @@ Here follows the list of allowed Java classes in JSweet:
 
 Examples of valid statements:
 
-    // warning '==' behaves like the JavaScript one at runtime
-    Integer i = 2;
-    assert i == 2; // JavaScript '=='
-    Double d = i + 4;
-    assert d.toString() == "6"; // JavaScript '=='
-    assert d == "6"; // JavaScript '=='
-    BiFunction<String, Integer, String> f = (s, i) -> { return s.substring(i); };
-    assert "bc" == f.apply("abc", 1); // JavaScript '=='
+``` java
+// warning '==' behaves like the JavaScript one at runtime
+Integer i = 2;
+assert i == 2; // JavaScript '=='
+Double d = i + 4;
+assert d.toString() == "6"; // JavaScript '=='
+assert d == "6"; // JavaScript '=='
+BiFunction<String, Integer, String> f = (s, i) -> { return s.substring(i); };
+assert "bc" == f.apply("abc", 1); // JavaScript '=='
+```
 
 #### Java arrays
 
 Arrays can be used in JSweet and are transpiled to JavaScript arrays. Array initialization, accesses and and iteration are all valid statements.
 
-    int[] arrayOfInts = { 1, 2, 3, 4};
-    assert arrayOfInts.length == 4;  
-    assert arrayOfInts[0] == 1;
-    for(int i : arrayOfInts) {
-        arrayOfInts[i] = arrayOfInts[i] - 1;
-        assert arrayOfInts[i] == i;
-    }
+``` java
+int[] arrayOfInts = { 1, 2, 3, 4};
+assert arrayOfInts.length == 4;  
+assert arrayOfInts[0] == 1;
+for(int i : arrayOfInts) {
+    arrayOfInts[i] = arrayOfInts[i] - 1;
+    assert arrayOfInts[i] == i;
+}
+```
 
 #### Core JavaScript API
 
diff --git a/doc/jsweet-language-specifications.tex b/doc/jsweet-language-specifications.tex
index afe1e689..bbbd9734 100644
--- a/doc/jsweet-language-specifications.tex
+++ b/doc/jsweet-language-specifications.tex
@@ -96,7 +96,7 @@ JSweet allows the use of Java primitive types (and associated literals).
 \noindent
 Examples of valid statements:
 
-\begin{lstlisting}
+\begin{lstlisting}[language=Java]
 // warning '==' behaves like the JavaScript one at runtime
 int i = 2;
 assert i == 2;
@@ -194,7 +194,7 @@ Here follows the list of allowed Java classes in JSweet:
 \noindent
 Examples of valid statements:
 
-\begin{lstlisting}
+\begin{lstlisting}[language=Java]
 // warning '==' behaves like the JavaScript one at runtime
 Integer i = 2;
 assert i == 2; // JavaScript '=='
@@ -209,7 +209,7 @@ assert "bc" == f.apply("abc", 1); // JavaScript '=='
 
 Arrays can be used in JSweet and are transpiled to JavaScript arrays. Array initialization, accesses and and iteration are all valid statements.
 
-\begin{lstlisting}
+\begin{lstlisting}[language=Java]
 int[] arrayOfInts = { 1, 2, 3, 4};
 assert arrayOfInts.length == 4;  
 assert arrayOfInts[0] == 1;