95 \end{frame} |
95 \end{frame} |
96 |
96 |
97 \section[Stutus quo]{Ausgangssituation: das k\"unftige Isabelle Front-end} |
97 \section[Stutus quo]{Ausgangssituation: das k\"unftige Isabelle Front-end} |
98 \subsection[Scala-Layer]{Die Konzeption des Scala-Layers} |
98 \subsection[Scala-Layer]{Die Konzeption des Scala-Layers} |
99 \begin{frame}\frametitle{Die Konzeption des Scala-Layers} |
99 \begin{frame}\frametitle{Die Konzeption des Scala-Layers} |
100 \begin{figure} |
100 %\begin{figure} |
101 \begin{center} |
101 %\begin{center} |
102 \includegraphics[width=75mm]{fig/archi/fig-reuse-ml-scala-SD} |
102 %\includegraphics[width=75mm]{fig/archi/fig-reuse-ml-scala-SD} |
103 \end{center} |
103 %\end{center} |
104 %\nocaptionrule\caption{Reuse of Isabelle/Isar's Scala API.} |
104 %%\nocaptionrule\caption{Reuse of Isabelle/Isar's Scala API.} |
105 \label{fig-reuse-ml-scala} |
105 %\label{fig-reuse-ml-scala} |
106 \end{figure} |
106 %\end{figure} |
107 \end{frame} |
107 \end{frame} |
108 |
108 |
109 \begin{frame}\frametitle{Kommunikationsprotokoll \\Scala --- SML} |
109 \begin{frame}\frametitle{Kommunikationsprotokoll \\Scala --- SML} |
110 \begin{itemize} |
110 \begin{itemize} |
111 \item Das Protokoll ist \textbf{asynchron}: \\ |
111 \item Das Protokoll ist \textbf{asynchron}: \\ |
284 \end{tabbing} |
284 \end{tabbing} |
285 } |
285 } |
286 \end{frame} |
286 \end{frame} |
287 |
287 |
288 \subsection[NetBeans]{Aufsetzen des Projektes in der NetBeans IDE} |
288 \subsection[NetBeans]{Aufsetzen des Projektes in der NetBeans IDE} |
|
289 \begin{frame}\frametitle{Grundlegender Aufbau eines jEdit-Plugin} |
|
290 \begin{itemize} |
|
291 \item Ein Plugin besteht aus: |
|
292 \pause |
|
293 \begin{itemize} |
|
294 \item Source-Files: \textbf{Scala} |
|
295 \pause |
|
296 \item Property file |
|
297 \pause |
|
298 \item XML-Files: \textit{Klebstoff} zwischen \textbf{Java} (Editor) und \textbf{Scala} (Plugin) |
|
299 \end{itemize} |
|
300 \pause |
|
301 \item Bestehendes Java-Plugin in Scala transferieren |
|
302 \pause |
|
303 \item Neue Ordnerstruktur in bestehende Isabelle-Ordner-Hierachie integrieren |
|
304 \end{itemize} |
|
305 \end{frame} |
|
306 |
|
307 \begin{frame}\frametitle{Die Konzeption des Scala-Layers} |
|
308 \begin{figure} |
|
309 \begin{center} |
|
310 \includegraphics[width=75mm]{fig/block-frontend} |
|
311 \end{center} |
|
312 %\nocaptionrule\caption{Reuse of Isabelle/Isar's Scala API.} |
|
313 \label{Frontend des jEdit} |
|
314 \end{figure} |
|
315 \end{frame} |
|
316 |
|
317 \begin{frame}\frametitle{Anforderungen an das Versuchs-Plugin} |
|
318 Folgende Funktionalit\"at wurde zu Testzwecken umgesetzt: |
|
319 \pause |
|
320 \begin{itemize} |
|
321 \item Grunds\"atzlicher Aufbau eines GUIs |
|
322 \pause |
|
323 \item Kopieren von Text zwischen den einzelnen Buffern |
|
324 \pause |
|
325 \begin{itemize} |
|
326 \item \alert{Somit auch Zugriff auf andere Plugins!} |
|
327 \end{itemize} |
|
328 \pause |
|
329 \item Ansatz f\"ur die Einbindung des SD-Parsers |
|
330 \pause |
|
331 \begin{itemize} |
|
332 \item Zugriff auf Isabelle-Pure: \alert{parsen von SD parallel zu Isabelle/Isar} |
|
333 \end{itemize} |
|
334 \pause |
|
335 \item \textit{DEMO} |
|
336 \end{itemize} |
|
337 \end{frame} |
|
338 |
289 \subsection[Implementation]{Komponenten zur von SD} |
339 \subsection[Implementation]{Komponenten zur von SD} |
290 \subsection[Parser]{Ein funktionaler Parser f\"ur SD (in SML)} |
340 \subsection[Parser]{Ein funktionaler Parser f\"ur SD (in SML)} |
291 |
341 |
292 \section[Summary]{Zusammenfassung} |
342 \section[Summary]{Zusammenfassung} |
293 \begin{frame}\frametitle{Zusammenfassung} |
343 \begin{frame}\frametitle{Zusammenfassung} |