FreitagsrundenWiki - Benutzerbeiträge [de]

Opal Syntax-Highlighting

2006-02-13T23:16:43Z

85.178.55.192: SciTE

Wenn man seine Zeit mit der Programmierung von [[OPAL]]-Programmen verbringt, möchte man natürlich auch von seinem Editor unterstützt werden.

Deshalb sammeln wir hier Links zu Syntaxfiles, mit denen man Editoren beibringen kann, OPAL-Sourcecode schön einzufärben. Wenn ihr weitere Syntaxfiles findet/erstellt, fügt sie bitte dieser Liste hinzu.

= Übersicht der Editoren mit Opal-Unterstützung =
{| border="0" cellpadding="4" cellspacing="2"
|- bgcolor="#E0E0E0"
!Editor
!Betriebssysteme
!Lizenz
!Homepage
|- bgcolor="#F0F0F0"
|[[Opal Syntax-Highlighting#ConTEXT|ConTEXT]]
|Windows
|Freeware
|[http://www.context.cx]
|- bgcolor="#F8F8F8"
|[[Opal Syntax-Highlighting#Emacs|Emacs]]
|Unix, Windows, MacOS
|Open Source
|[http://www.gnu.org/software/emacs/emacs.html]
|- bgcolor="#F0F0F0"
|[[Opal Syntax-Highlighting#EmEditor|EmEditor]]
|Windows
|Kommerziell, Freeware
|[http://www.emeditor.com/]
|- bgcolor="#F8F8F8"
|[[Opal Syntax-Highlighting#Kate|Kate]]
|Unix+KDE
|Open Source
|[http://kate.kde.org/]
|- bgcolor="#F0F0F0"
|[[Opal Syntax-Highlighting#nano|nano]]
|Unix, Mac OSX
|Open Source (GNU)
|[http://www.gnu.org/software/nano/]
|- bgcolor="#F8F8F8"
|[[Opal Syntax-Highlighting#Proton/Phase5|Proton/Phase5]]
|Windows
|Freeware
|[http://www.qhaut.de/forums/index.php?dlcategory=2]
|- bgcolor="#F0F0F0"
|[[Opal Syntax-Highlighting#SciTE|SciTE]]
|Unix (GTK), Windows
|Open Source
|[http://www.scintilla.org/]
|- bgcolor="#F8F8F8"
|[[Opal Syntax-Highlighting#Vim|Vim]]
|Unix, Windows, MacOS
|Open Source
|[http://www.vim.org/]
|}

= Details =
== ConTEXT ==
Die aktuelle Syntaxfile für ConTEXT ist auf [http://www.hartwork.org/ http://www.hartwork.org/] zu finden.

== Emacs ==
Für Emacs gibt es im OCS-Paket Dateien, die auch im Fakultätsnetz zu finden sind.
Um den Opal-Modus von Emacs verfügbar zu machen, füge man folgende Zeilen in die Datei ~/.emacs ein:
<pre>
(setq load-path
(cons "/home/uebb/uebb/infadm/emacs" load-path)
)
(defvar opal-novice t)
(require 'opal-mode)
</pre>
Den Opal-Modus startet man in Emacs mittels "M-x opal-mode [enter]".
M-x bedeutet: Meta-Taste und x gleichzeitig drücken, wobei Esc gefolgt von x die selbe Wirkung hat.

== EmEditor ==
Ein Syntaxfile für EmEditor ist auf [http://www.hartwork.org/ http://www.hartwork.org/] zu finden. Auf der offiziellen Seite des Editors gibt es auch eine Kopie.

Für Akademiker ist EmEditor kostenlos (siehe [http://www.emeditor.com/help/faq/academic/index.htm Academic License]).

== Kate ==
Für Kate/KWrite hat Sebastian Pipping eine Highlighting-Definition geschrieben. Die Datei <code>opal_kate.xml</code> kann unter [http://www.hartwork.org/ http://www.hartwork.org/] heruntergeladen werden.

Zur Installation einfach die Datei <code>opal_kate.xml</code> nach <code>~/.kde/share/apps/katepart/syntax</code> kopieren.

== nano ==
Auch nano unterstützt Syntax-Highlighting, wenn man entsprechende <code>nanorc</code>-Datei installiert. Die Datei und Installationsanleitung von gibt es auf der [http://user.cs.tu-berlin.de/~svens/nanorc_files/nano_opal.html Homepage von Sven Schneider].

== Proton/Phase5 ==
Die aktuelle Syntaxfile für Proton ist auf [http://www.hartwork.org/ http://www.hartwork.org/] zu finden.

== SciTE ==
Die aktuelle Version im CVS (>1.67) unterstützt bereits OPAL Highlighting.<BR>
An der Unix Shell ginge das dann etwa so:

<pre>
# Scintilla/SciTE aus dem CVS laden (bei Fehler wiederholen!)
mkdir -m744 scite_cvs
cd scite_cvs
cvs -z9 -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/scintilla co -P scintilla
cvs -z9 -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/scintilla co -P scite

# Kompilieren
cd scintilla/gtk
make
cd ../../scite/gtk
make
cd ../../..
</pre>

Danach müssen in ''scite/src/SciTEGlobal.properties'' noch zwei Zeilen de-kommentieren werden.<BR>
Am besten nach "opal" suchen - das geht am schnellsten:

<pre>
#Opal|impl||\
#import opal
</pre>

Global installieren wäre danach gegebenfalls mit

<pre>
sudo make install
</pre>

(aus Verzeichnis ''scite/gtk'' heraus) möglich.

== Vim ==
Für Vim gibt es zwei Highlighting-Definitionen. Eine Highlighting-Definition ist im OCS-Paket im Verzeichnis <code>ocs/lib/vim</code> enthalten (im cs-Netz also <code>/usr/ocs/lib/vim</code>). In der <code>README</code>-Datei der [http://uebb.cs.tu-berlin.de/~opal/ OPAL-Distribution] gibt es weitere Informationen. Userseitige Vim-Konfiguration besteht aus dem Kopieren von <code>opal.vim</code> nach <code>~/.vim/syntax/</code> und dem Einfügen von
augroup filetypedetect
au BufNewFile,BufRead *.sign,*.impl set ft=opal
augroup END
(ggf. nur der mittleren Zeile in einen bereits vorhandenen <code>augroup</code>-Block) in <code>~/.vim/filetype.vim</code>.

Es gibt auch eine alternative Highlighting-Definition: [[Opal.vim|opal.vim]].

Vim ist im cs-Netz unter <code>/home/pub/bin/vim</code> verfügbar.

[[Kategorie: Opal]]
__NOTOC__

Opal Syntax-Highlighting

2006-02-13T23:16:08Z

85.178.55.192:

Wenn man seine Zeit mit der Programmierung von [[OPAL]]-Programmen verbringt, möchte man natürlich auch von seinem Editor unterstützt werden.

Deshalb sammeln wir hier Links zu Syntaxfiles, mit denen man Editoren beibringen kann, OPAL-Sourcecode schön einzufärben. Wenn ihr weitere Syntaxfiles findet/erstellt, fügt sie bitte dieser Liste hinzu.

= Übersicht der Editoren mit Opal-Unterstützung =
{| border="0" cellpadding="4" cellspacing="2"
|- bgcolor="#E0E0E0"
!Editor
!Betriebssysteme
!Lizenz
!Homepage
|- bgcolor="#F0F0F0"
|[[Opal Syntax-Highlighting#ConTEXT|ConTEXT]]
|Windows
|Freeware
|[http://www.context.cx]
|- bgcolor="#F8F8F8"
|[[Opal Syntax-Highlighting#Emacs|Emacs]]
|Unix, Windows, MacOS
|Open Source
|[http://www.gnu.org/software/emacs/emacs.html]
|- bgcolor="#F0F0F0"
|[[Opal Syntax-Highlighting#EmEditor|EmEditor]]
|Windows
|Kommerziell, Freeware
|[http://www.emeditor.com/]
|- bgcolor="#F8F8F8"
|[[Opal Syntax-Highlighting#Kate|Kate]]
|Unix+KDE
|Open Source
|[http://kate.kde.org/]
|- bgcolor="#F0F0F0"
|[[Opal Syntax-Highlighting#nano|nano]]
|Unix, Mac OSX
|Open Source (GNU)
|[http://www.gnu.org/software/nano/]
|- bgcolor="#F8F8F8"
|[[Opal Syntax-Highlighting#Proton/Phase5|Proton/Phase5]]
|Windows
|Freeware
|[http://www.qhaut.de/forums/index.php?dlcategory=2]
|- bgcolor="#F0F0F0"
|[[Opal Syntax-Highlighting#SciTE|SciTE]]
|Unix (GTK), Windows
|Open Source
|[http://www.scintilla.org/]
|- bgcolor="#F8F8F8"
|[[Opal Syntax-Highlighting#Vim|Vim]]
|Unix, Windows, MacOS
|Open Source
|[http://www.vim.org/]
|}

= Details =
== ConTEXT ==
Die aktuelle Syntaxfile für ConTEXT ist auf [http://www.hartwork.org/ http://www.hartwork.org/] zu finden.

== Emacs ==
Für Emacs gibt es im OCS-Paket Dateien, die auch im Fakultätsnetz zu finden sind.
Um den Opal-Modus von Emacs verfügbar zu machen, füge man folgende Zeilen in die Datei ~/.emacs ein:
<pre>
(setq load-path
(cons "/home/uebb/uebb/infadm/emacs" load-path)
)
(defvar opal-novice t)
(require 'opal-mode)
</pre>
Den Opal-Modus startet man in Emacs mittels "M-x opal-mode [enter]".
M-x bedeutet: Meta-Taste und x gleichzeitig drücken, wobei Esc gefolgt von x die selbe Wirkung hat.

== EmEditor ==
Ein Syntaxfile für EmEditor ist auf [http://www.hartwork.org/ http://www.hartwork.org/] zu finden. Auf der offiziellen Seite des Editors gibt es auch eine Kopie.

Für Akademiker ist EmEditor kostenlos (siehe [http://www.emeditor.com/help/faq/academic/index.htm Academic License]).

== Kate ==
Für Kate/KWrite hat Sebastian Pipping eine Highlighting-Definition geschrieben. Die Datei <code>opal_kate.xml</code> kann unter [http://www.hartwork.org/ http://www.hartwork.org/] heruntergeladen werden.

Zur Installation einfach die Datei <code>opal_kate.xml</code> nach <code>~/.kde/share/apps/katepart/syntax</code> kopieren.

== nano ==
Auch nano unterstützt Syntax-Highlighting, wenn man entsprechende <code>nanorc</code>-Datei installiert. Die Datei und Installationsanleitung von gibt es auf der [http://user.cs.tu-berlin.de/~svens/nanorc_files/nano_opal.html Homepage von Sven Schneider].

== Proton/Phase5 ==
Die aktuelle Syntaxfile für Proton ist auf [http://www.hartwork.org/ http://www.hartwork.org/] zu finden.

== SciTE ==
Die aktuelle Version im CVS (>1.67) unterstützt bereits OPAL Highlighting.<BR>
An der Unix Shell ginge das dann etwa so:

<pre>
# Scintilla/SciTE aus dem CVS laden (bei Fehler wiederholen!)
mkdir -m744 scite_cvs
cd scite_cvs
cvs -z9 -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/scintilla co -P scintilla
cvs -z9 -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/scintilla co -P scite

# Kompilieren
cd scintilla/gtk
make
cd ../../scite/gtk
make
cd ../../..
</pre>

Danach müssen in ''scite/src/SciTEGlobal.properties'' noch zwei Zeilen de-kommentieren werden.<BR>
Am besten nach "opal" suchen - das geht am schnellsten:

<pre>
#Opal|impl||\
#import opal
</pre>

Global installieren wäre gegebenfalls mit

<pre>
sudo make install
</pre>

(aus Verzeichnis ''scite/gtk'' heraus) möglich.

== Vim ==
Für Vim gibt es zwei Highlighting-Definitionen. Eine Highlighting-Definition ist im OCS-Paket im Verzeichnis <code>ocs/lib/vim</code> enthalten (im cs-Netz also <code>/usr/ocs/lib/vim</code>). In der <code>README</code>-Datei der [http://uebb.cs.tu-berlin.de/~opal/ OPAL-Distribution] gibt es weitere Informationen. Userseitige Vim-Konfiguration besteht aus dem Kopieren von <code>opal.vim</code> nach <code>~/.vim/syntax/</code> und dem Einfügen von
augroup filetypedetect
au BufNewFile,BufRead *.sign,*.impl set ft=opal
augroup END
(ggf. nur der mittleren Zeile in einen bereits vorhandenen <code>augroup</code>-Block) in <code>~/.vim/filetype.vim</code>.

Es gibt auch eine alternative Highlighting-Definition: [[Opal.vim|opal.vim]].

Vim ist im cs-Netz unter <code>/home/pub/bin/vim</code> verfügbar.

[[Kategorie: Opal]]
__NOTOC__

PSS Gedächtnisprotokoll Klausur WS 0506

2006-02-13T20:51:14Z

85.178.55.192:

Hier fehlen ggf. noch ein paar Informationen, mein Gedächtnis ist da etwas lückenhaft!

== Aufgabe 1: Grammatikumformung ==
1. Forme die Grammatik so um, dass sie von einem '''recursive-descent'''-Parser geparst werden kann.

2. Entscheide und begründe, ob die umgeformte Grammatik und die ursprüngliche Grammatik die LL(1)-Eigenschaft erfüllen. Bilde die nötigen First-, Follow- und Directormengen.

S -> E#
E -> ide
| ide ( A )
A -> P
| {Epsilon}
P -> P , E
| E

== Aufgabe 2: Parser ==

DATA absy ==
node(val:seq[absy])
leaf(val:token)

Gegeben folgende Grammatik mit Directormenge:
S -> T #
T -> ide
<T T'>
T' -> {Epsilon}
| _ T T' {Das _ war ein ''space''}

Ein Wort der Sprache war: <<1 2 4> <1 4 5> 3>
Das ganze repräsentierte einen n-ären Baum

DATA token ==
Open
Close
space
id(val:int)
eof

1. Entwickle einen passenden Absy.

2. Schreibe einen Recursive-Descent-/Combinator-Parser ohne Fehlerbehandlung. Falls Combinator: Programmiere auch die Kombinatoren.

== Aufgabe 3: SECD ==

(\x. x(2))(\y. dup(y))

Ergebnis 4

''dup'' ist eine triviale Operation.

== Aufgabe 4: Codeerzeugung ==
int f(x:int, y:int){
if(x==0)
return y
else
return f(x-1, x*y)
}
1. Erzeuge Pseudocode für eine abstrakte stackbasierte Maschine.

2. Erläutere den Stackframe (überlappung und sowas)

== Aufgabe 5: Unifikation ==
1. Stelle die Gleichungen auf

<pre>
FUN _ o _ : (beta -> gamma) -> (alpha -> beta) -> (alpha -> beta)
FUN length: string -> nat
FUN even?: nat -> bool

FUN h: string -> bool
DEF h(s) == o(even?)(length)(s)

apply(tau1)
apply(tau2)
apply(tau4)
o(tau6)
even?(tau7)
length(tau5)
s (tau3)
</pre>
Zur Notation: Erst kommt ein Knoten, dann seine Kinder von links nach rechts
Der Baum gehört zu h und ist korrekt.

PSS Gedächtnisprotokoll Klausur WS 0506

2006-02-13T20:40:30Z

85.178.55.192: nicht umgeformte -> ursprüngliche

Hier fehlen ggf. noch ein paar Informationen, mein Gedächtnis ist da etwas lückenhaft!

== Aufgabe 1: Grammatikumformung ==
1. Forme die Grammatik so um, dass sie von einem '''recursive-descent'''-Parser geparst werden kann.

2. Entscheide und begründe, ob die umgeformte Grammatik und die ursprüngliche Grammatik die LL(1)-Eigenschaft erfüllen. Bilde die nötigen First-, Follow- und Directormengen.

S -> E#
E -> ide
| ide ( A )
A -> P
| {Epsilon}
P -> P , E
| E

== Aufgabe 2: Parser ==

DATA absy ==
node(val:seq[absy])
leaf(val:token)

Gegeben folgende Grammatik mit Directormenge:
S -> T #
T -> ide
<T T'>
T' -> {Epsilon}
| _ T T' {Das _ war ein ''space''}

Ein Wort der Sprache war: <<1 2 4> <1 4 5> 3>
Das ganze repräsentierte einen n-ären Baum

DATA token ==
Open
Close
space
id(val:int)
eof

1. Entwickle einen passenden Absy.

2. Schreibe einen Recursive-Descent-/Combinator-Parser ohne Fehlerbehandlung. Falls Combinator: Programmiere auch die Kombinatoren.

== Aufgabe 3: SECD ==

(\x. x(2))(\y. dup(y))

Ergebnis 4

''dup'' ist eine triviale Operation.

== Aufgabe 4: Codeerzeugung ==
int f(x:int, y:int){
if(x==0)
return y
else
return f(x-1, x*y)
}
1. Erzeuge Pseudocode für eine abstrakte stackbasierte Maschine.

2. Erläutere den Stackframe (überlappung und sowas)

== Aufgabe 5: Unifikation ==

FUN _ o _ : (beta -> gamma) -> (alpha -> beta) -> (alpha -> beta)
FUN length: string -> nat
FUN even?: nat -> bool

FUN h: string -> bool
DEF h(s) == o(even?)(length)(s)

apply (tau1)
apply(tau2) s (tau3)
apply(tau4) length(tau5)
o(tau6) even?(tau7)

PSS Gedächtnisprotokoll Klausur WS 0506

2006-02-13T20:27:00Z

85.178.55.192: aufgabe 1

Hier fehlen noch ein paar Informationen, mein Gedächtnis ist da etwas lückenhaft!
Außerdem scheint mir einiges falsch..? naja vorallem die 2. Grammatik ist nicht identisch
----
<pre>
1.
gegebene grammatik:

S -> E #
E -> ide
| ide ( A )
A -> P
|
P -> P , E
| E

1.1
forme die grammatik so um, dass sie für einen
top-down-parser geignet ist (--> LL(1)).

1.2
direktormengen aufstellen.
für die alte und die neue grammatik.

2.
schreibe einen recursive-decent-parser (combinator/hand)
ohne fehlerbehandlung für die grammatik:

S -> T #
T -> < T T' >
T' -> ide
|

???

in der sprache war: <<1 2 4> <1 4 5> 3>
das ganze repräsentierte einen n-ären baum
DATA absy ==
node(val:seq[absy])
leaf(val:token)
DATA token ==
Open
Close
space
id(val:int)

3. SECD
(\x. x(2))(\y. dup(y))
ergebnis 4
dup ist triviale operation

4. codeerzeugung
int f(x:int, y:int){
if(x==0)
return y
else
return f(x-1, x*y)
}
erzeuge pseudocode für eine stackartige maschine
erläutere den stackframe (überlappung und sowas)

5. unifikation
length: string -> nat
even?: nat -> bool
h: string -> ???
h(s) == ???
eval
eval s
eval length
??? even?
ergebnis war korrekt, aber das sah vllt. auch etwas anders aus..
</pre>