1 ^\chapter{Definition der Aufgabenstellung} |
1 \chapter{Definition der Aufgabenstellung} |
2 \section{Detaillierte Beschreibung der Aufgabenstellung} |
2 \section{Detaillierte Beschreibung der Aufgabenstellung} |
3 Zu Beginn des Projekts wurden einige Vorgaben und Ziele des Projektes erarbeitet und im Laufe des Projekts etwas angepasst. Es wurde bewusst auf eine zu einschr\"ankende Aufgabenstellung verzichtet, da Entwicklungen und Erarbeitungen von verschiedenen Umsetzungsstrategien erw\"unscht war. |
3 Zu Beginn des Projekts wurden einige Vorgaben und Ziele des Projektes erarbeitet und im Laufe des Projekts etwas angepasst. Es wurde bewusst auf eine zu einschr\"ankende Aufgabenstellung verzichtet, da Entwicklungen und Erarbeitungen von verschiedenen Umsetzungsstrategien erw\"unscht war. |
4 |
4 |
5 Hauptaugenmerk war dabei auf die Erstellung eines jEdit-Plugins, dass die Verarbeitung von Back's Structured Derivations m\"oglich machen soll, gelegt worden. Mit anderen Worten, es sollte so viel Plugin-Code, wie im begrenzten Projektzeitraum m\"oglich, implementiert werden. |
5 Hauptaugenmerk war dabei auf die Erstellung eines jEdit-Plugins, dass die Verarbeitung von Back's Structured Derivations m\"oglich machen soll, gelegt worden. Mit anderen Worten, es sollte so viel Plugin-Code, wie im begrenzten Projektzeitraum m\"oglich, implementiert werden. |
6 |
6 |
228 \end{enumerate} |
228 \end{enumerate} |
229 \item Wenn Fehler: ``/usr/local/isabisac/src/Tools/jEditC/\${project.jEdit}/modes does not exist'' |
229 \item Wenn Fehler: ``/usr/local/isabisac/src/Tools/jEditC/\${project.jEdit}/modes does not exist'' |
230 \begin{enumerate} |
230 \begin{enumerate} |
231 \item grep -r "project.jEdit" * |
231 \item grep -r "project.jEdit" * |
232 \item nbproject/project.properties:project.jEdit=contrib/jEdit |
232 \item nbproject/project.properties:project.jEdit=contrib/jEdit |
233 \item |
233 \item TODO? |
234 \item |
|
235 |
|
236 \begin{itemize} |
|
237 \item |
|
238 \begin{itemize} |
|
239 \item |
|
240 \item |
|
241 \item |
|
242 \end{itemize} |
|
243 \item |
|
244 \item |
|
245 \end{itemize} |
|
246 \item |
|
247 \item |
|
248 \end{enumerate} |
234 \end{enumerate} |
249 \item |
|
250 \item |
|
251 \end{enumerate} |
235 \end{enumerate} |
|
236 \end{enumerate} |
|
237 \item error in project files, not in build.xml etc (1) |
|
238 \begin{enumerate} |
|
239 \item follow link to testSD.scala:22 |
|
240 \item val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\ |
|
241 val str1: String = ``TEST'' //isabelle.Isac.parse(``Testdaten aus dem Parser!'')\\ |
|
242 \item build once again ... successful\\ |
|
243 \item watch in console what is being copied and compare build.xml, |
|
244 $<$target name=''-pre-jar''$>$ |
|
245 $<$target name=''-post-jar''$>$ |
|
246 \item essential: a new Pure.jar has been generated, which has been extended with a new class ``Isac''; this class has been defined in scr/Pure/Isac/isac.scala |
|
247 \item restore ``val str1: String = isabelle.Isac.parse(``Testdaten aus dem Parser!'')" requires new Pure.jar at the right place \dots |
|
248 \item \dots the shellscript bin/testSD\_jedit creates this new Pure.jar |
|
249 \end{enumerate} |
|
250 \item error in bin/testSD |
|
251 \begin{enumerate} |
|
252 \item look at error messages, eg. src/Pure/: no such file or directory \dots |
|
253 \item \dots means that the script has not been started from $\approx\approx$ --- this behaviour shall be improved a.s.a.p. |
|
254 \item function test: \\ |
|
255 \#\#\#\\ |
|
256 \#\#\# Building Isabelle/Scala layer\\ |
|
257 \#\#\#\\ |
|
258 \item |
|
259 \item |
252 \end{enumerate} |
260 \end{enumerate} |
253 $<$ $>$ |
261 $<$ $>$ |
254 Men\"u $>$ $>$ $>$ $>$ $>$ $>$ |
262 Men\"u $>$ $>$ $>$ $>$ $>$ $>$ |
255 ``Project''-View $>$ rightMouse $>$ $>$ $>$ $>$ $>$ |
263 ``Project''-View $>$ rightMouse $>$ $>$ $>$ $>$ $>$ |
256 \item |
264 \item |