49 lines
4.5 KiB
Plaintext
49 lines
4.5 KiB
Plaintext
\babel@toc {ngerman}{}\relax
|
|
\addvspace {10\p@ }
|
|
\addvspace {10\p@ }
|
|
\contentsline {lstlisting}{\numberline {1.1}List.of() mit explizitem Typ}{2}{lstlisting.1.1}%
|
|
\contentsline {lstlisting}{\numberline {1.2}List.of() mit implizitem Typ}{2}{lstlisting.1.2}%
|
|
\contentsline {lstlisting}{\numberline {1.3}Verbesserungen für Typinferenz in Java 8 (Beispiel aus {\blx@tocontentsinit {0}\cite {oracle_type_nodate}[Target Types]})}{2}{lstlisting.1.3}%
|
|
\contentsline {lstlisting}{\numberline {1.4}Java 7 Diamond Operator}{2}{lstlisting.1.4}%
|
|
\contentsline {lstlisting}{\numberline {1.5}Java Generics ohne Diamond Operator}{3}{lstlisting.1.5}%
|
|
\contentsline {lstlisting}{\numberline {1.6}Java 8 Lambda-Ausdrücke}{3}{lstlisting.1.6}%
|
|
\contentsline {lstlisting}{\numberline {1.7}Lambda-Ausdruck mit explizitem Typ}{3}{lstlisting.1.7}%
|
|
\contentsline {lstlisting}{\numberline {1.8}Java 10 var Platzhalter}{4}{lstlisting.1.8}%
|
|
\contentsline {lstlisting}{\numberline {1.9}Ungültige Verwendung des \lstinline |var| Schlüsselworts}{4}{lstlisting.1.9}%
|
|
\contentsline {lstlisting}{\numberline {1.10}Funktion add in Haskell}{4}{lstlisting.1.10}%
|
|
\contentsline {lstlisting}{\numberline {1.11}Untypisierte Methode add}{5}{lstlisting.1.11}%
|
|
\contentsline {lstlisting}{\numberline {1.12}Von Typinferenz errechnete Typen für \autoref {lst:simple_typeinference_wo_types}}{5}{lstlisting.1.12}%
|
|
\contentsline {lstlisting}{\numberline {1.13}Methodenüberladungen durch Typinferenz}{6}{lstlisting.1.13}%
|
|
\contentsline {lstlisting}{\numberline {1.14}Resultat der Typinferenz für \autoref {lst:globaltypeinference2}}{6}{lstlisting.1.14}%
|
|
\contentsline {lstlisting}{\numberline {1.15}Erstellung eines Threads mit einer anonymen Klasse}{7}{lstlisting.1.15}%
|
|
\contentsline {lstlisting}{\numberline {1.16}Erstellung eines Threads mit einem Lambda Ausdruck}{8}{lstlisting.1.16}%
|
|
\contentsline {lstlisting}{\numberline {1.17}Lambda Ausdruck mit var}{8}{lstlisting.1.17}%
|
|
\contentsline {lstlisting}{\numberline {1.18}Varianz in Java}{11}{lstlisting.1.18}%
|
|
\contentsline {lstlisting}{\numberline {1.19}Subtypisierung von Funktionstypen in Java-TX}{12}{lstlisting.1.19}%
|
|
\contentsline {lstlisting}{\numberline {1.20}Lambda Ausdruck ohne Typkontext}{12}{lstlisting.1.20}%
|
|
\contentsline {lstlisting}{\numberline {1.21}Aufbau einer Makefile-Regel aus {\blx@tocontentsinit {0}\cite {stallman_gnu_2004}[S.3]}}{12}{lstlisting.1.21}%
|
|
\contentsline {lstlisting}{\numberline {1.22}Beispiel eines Makefiles aus {\blx@tocontentsinit {0}\cite {stallman_gnu_2004}[S.4]}}{13}{lstlisting.1.22}%
|
|
\addvspace {10\p@ }
|
|
\contentsline {lstlisting}{\numberline {2.1}Makefile für die Kompilierung des \glqq {}Java-TX Compiler in Java-TX\grqq {}{}}{18}{lstlisting.2.1}%
|
|
\contentsline {lstlisting}{\numberline {2.2}Skript zum Kompilieren und Ausführen der Tests}{24}{lstlisting.2.2}%
|
|
\addvspace {10\p@ }
|
|
\contentsline {lstlisting}{\numberline {3.1}For-Each Schleife in Java}{27}{lstlisting.3.1}%
|
|
\contentsline {lstlisting}{\numberline {3.2}For-Each Schleife in Java-TX}{27}{lstlisting.3.2}%
|
|
\contentsline {lstlisting}{\numberline {3.3}Verwenden von Klassen im JVM Classpath}{30}{lstlisting.3.3}%
|
|
\contentsline {lstlisting}{\numberline {3.4}Verwendung der Stream API in Java}{32}{lstlisting.3.4}%
|
|
\contentsline {lstlisting}{\numberline {3.5}Aktuell nicht lauffähiger \ac {Java-TX} Code I}{33}{lstlisting.3.5}%
|
|
\contentsline {lstlisting}{\numberline {3.6}Aktuell nicht lauffähiger \ac {Java-TX} Code II}{34}{lstlisting.3.6}%
|
|
\contentsline {lstlisting}{\numberline {3.7}Überschreiben von Methoden mit primitiven Datentypen in Java-TX}{35}{lstlisting.3.7}%
|
|
\contentsline {lstlisting}{\numberline {3.8}Ergebnis der Typinferenz für die Methode \texttt {hashCode} in Java-TX}{35}{lstlisting.3.8}%
|
|
\contentsline {lstlisting}{\numberline {3.9}Kovariante Methodenüberladung in Java}{36}{lstlisting.3.9}%
|
|
\contentsline {lstlisting}{\numberline {3.10}Dekompilierter Bytecode der Klasse A}{37}{lstlisting.3.10}%
|
|
\contentsline {lstlisting}{\numberline {3.11}Überladene Methoden in Java}{38}{lstlisting.3.11}%
|
|
\addvspace {10\p@ }
|
|
\contentsline {lstlisting}{\numberline {4.1}Beispielklasse aus dem \glqq {}Java-TX Compiler\grqq {}{}}{40}{lstlisting.4.1}%
|
|
\contentsline {lstlisting}{\numberline {4.2}\autoref {lst:prinzipal_type_example} ohne Typinformationen}{41}{lstlisting.4.2}%
|
|
\contentsline {lstlisting}{\numberline {4.3}Inferierte Typen für \autoref {lst:prinzipal_type_example_javatx}}{42}{lstlisting.4.3}%
|
|
\addvspace {10\p@ }
|
|
\addvspace {10\p@ }
|
|
\addvspace {10\p@ }
|
|
\providecommand \tocbasic@end@toc@file {}\tocbasic@end@toc@file
|