christoph/lecture-compilers
1
Fork 0
Code Actions Activity

add ll1parser tests from blatt4

Browse Source
This commit is contained in:
ChUrl
2020-12-01 16:14:02 +01:00
parent f3b9b5ecf5
commit d710eec348
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
build.gradle
View File

@ -18,7 +18,4 @@ dependencies {
test { test {
useJUnitPlatform() useJUnitPlatform()
testLogging {
events "passed", "skipped", "failed"
}
} }

7
src/test/java/util/dfa/DFATest.java
View File

@ -2,6 +2,7 @@ package util.dfa;
import org.junit.jupiter.api.DisplayName; import org.junit.jupiter.api.DisplayName;
import org.junit.jupiter.api.Test; import org.junit.jupiter.api.Test;
import util.tools.DFAViewUtil;
import java.util.HashSet; import java.util.HashSet;
import java.util.Set; import java.util.Set;
@ -25,6 +26,7 @@ class DFATest {
edges.add(new Edge(c, '1', b)); edges.add(new Edge(c, '1', b));
DFA dfa = new DFA(nodes, c, edges); // Hier werden die Nodes mit Edges befüllt DFA dfa = new DFA(nodes, c, edges); // Hier werden die Nodes mit Edges befüllt
System.out.println(DFAViewUtil.toDot(dfa));
assertThat(c.getNext('0').getName()).isEqualTo("C"); assertThat(c.getNext('0').getName()).isEqualTo("C");
assertThat(c.getNext('1').getName()).isEqualTo("B"); assertThat(c.getNext('1').getName()).isEqualTo("B");
@ -43,6 +45,7 @@ class DFATest {
edges.add(new Edge(c, '0', c)); edges.add(new Edge(c, '0', c));
DFA dfa = new DFA(nodes, c, edges); DFA dfa = new DFA(nodes, c, edges);
System.out.println(DFAViewUtil.toDot(dfa));
assertThat(c.getNext('0').getName()).isEqualTo("C"); assertThat(c.getNext('0').getName()).isEqualTo("C");
assertThatThrownBy(() -> c.getNext('1')).isInstanceOf(DFANoSuchEdgeException.class); assertThatThrownBy(() -> c.getNext('1')).isInstanceOf(DFANoSuchEdgeException.class);
@ -76,7 +79,7 @@ class DFATest {
edges.add(new Edge(e, '1', c)); edges.add(new Edge(e, '1', c));
DFA dfa = new DFA(nodes, c, edges); DFA dfa = new DFA(nodes, c, edges);
// System.out.println(DFAViewUtil.toDot(dfa)); System.out.println(DFAViewUtil.toDot(dfa));
assertThat(dfa.accept("10010")).isEqualTo("CBEDDA ablehnen"); assertThat(dfa.accept("10010")).isEqualTo("CBEDDA ablehnen");
assertThat(dfa.accept("11001")).isEqualTo("CBABEC akzeptieren"); assertThat(dfa.accept("11001")).isEqualTo("CBABEC akzeptieren");
@ -124,7 +127,7 @@ class DFATest {
edges.add(new Edge(e, 'a', d)); edges.add(new Edge(e, 'a', d));
DFA dfa = new DFA(nodes, a, edges); DFA dfa = new DFA(nodes, a, edges);
// System.out.println(ViewUtil.toDot(dfa)); System.out.println(DFAViewUtil.toDot(dfa));
assertThat(dfa.accept("a")).isEqualTo("AB akzeptieren"); assertThat(dfa.accept("a")).isEqualTo("AB akzeptieren");
assertThat(dfa.accept("aa")).isEqualTo("ABD akzeptieren"); assertThat(dfa.accept("aa")).isEqualTo("ABD akzeptieren");