diff --git a/.gitignore b/.gitignore index 13bec8df..2d0d6112 100644 --- a/.gitignore +++ b/.gitignore @@ -19,4 +19,13 @@ bin .DS_Store .project .settings/ +/target/ +# +manually/ + +logFiles/** +!logFiles/.gitkeep + +src/main/java/de/dhbwstuttgart/parser/antlr/ +src/main/java/de/dhbwstuttgart/sat/asp/parser/antlr/ diff --git a/doc/Generics/generics.tex b/doc/Generics/generics.tex new file mode 100644 index 00000000..bacd9f92 --- /dev/null +++ b/doc/Generics/generics.tex @@ -0,0 +1,25 @@ +\documentclass{article} + +\begin{document} + +\section{Generics sind notwendig} +Generics können nicht ignoriert werden. +Folgender Fall ist Typisierbar: + +\begin{program} + T m1(T x){ + return m2(x); +} + +m2(x){ + m1(1); + m2("Test"); + return m1(x); +} +\end{program} + +Beim weglassen des Generics T wäre es aber nicht mehr möglich. +Dann erhält jeder Constraint, welcher in Verbindung mit der Methode m1 steht +den selben TPH. + +\end{document} diff --git a/doc/LambdaJavadoc/de/dhbwstuttgart/syntaxtree/statement/BoolLiteral.html b/doc/LambdaJavadoc/de/dhbwstuttgart/syntaxtree/statement/BoolLiteral.html index 35ca0132..be892a1e 100644 --- a/doc/LambdaJavadoc/de/dhbwstuttgart/syntaxtree/statement/BoolLiteral.html +++ b/doc/LambdaJavadoc/de/dhbwstuttgart/syntaxtree/statement/BoolLiteral.html @@ -112,7 +112,7 @@ var activeTableTab = "activeTableTab";
  • de.dhbwstuttgart.syntaxtree.statement.Expr