@@ -0,0 +1,1940 @@
+package de.bmoth.app;%0A%0Aimport org.fxmisc.richtext.model.StyleSpans;%0Aimport org.junit.Test;%0A%0Aimport java.util.Collection;%0A%0Aimport static org.junit.Assert.assertEquals;%0A%0Apublic class HighlighterTest %7B%0A    @Test%0A    public void simpleHighlighterTest() %7B%0A        String machine = %22MACHINE SimpleMachine%5Cn%22;%0A        machine += %22VARIABLES x%5Cn%22;%0A        machine += %22INVARIANT x : NATURAL%5Cn%22;%0A        machine += %22INITIALISATION x := 0%5Cn%22;%0A        machine += %22END%22;%0A        StyleSpans%3CCollection%3CString%3E%3E styleSpans = Highlighter.computeHighlighting(machine);%0A%0A        assertEquals(9, styleSpans.getSpanCount());%0A        assertEquals(7, styleSpans.getStyleSpan(0).getLength());%0A        assertEquals(%22%5Bstart%5D%22, styleSpans.getStyleSpan(0).getStyle().toString());%0A        assertEquals(15, styleSpans.getStyleSpan(1).getLength());%0A        assertEquals(%22%5B%5D%22, styleSpans.getStyleSpan(1).getStyle().toString());%0A        assertEquals(9, styleSpans.getStyleSpan(2).getLength());%0A        assertEquals(%22%5Bkeyword%5D%22, styleSpans.getStyleSpan(2).getStyle().toString());%0A        assertEquals(3, styleSpans.getStyleSpan(3).getLength());    %0A        assertEquals(%22%5B%5D%22, styleSpans.getStyleSpan(3).getStyle().toString());%0A        assertEquals(9, styleSpans.getStyleSpan(4).getLength());%0A        assertEquals(%22%5Bkeyword%5D%22, styleSpans.getStyleSpan(4).getStyle().toString());%0A        assertEquals(13, styleSpans.getStyleSpan(5).getLength());%0A        assertEquals(%22%5B%5D%22, styleSpans.getStyleSpan(5).getStyle().toString());%0A        assertEquals(14, styleSpans.getStyleSpan(6).getLength());%0A        assertEquals(%22%5Bkeyword%5D%22, styleSpans.getStyleSpan(6).getStyle().toString());%0A        assertEquals(8, styleSpans.getStyleSpan(7).getLength());%0A        assertEquals(%22%5B%5D%22, styleSpans.getStyleSpan(7).getStyle().toString());%0A        assertEquals(3, styleSpans.getStyleSpan(8).getLength());%0A        assertEquals(%22%5Bkeyword2%5D%22, styleSpans.getStyleSpan(8).getStyle().toString());%0A    %7D%0A%7D%0A

add first simple test for highlighter