Kapitel 1. Überblick

Ein sehr einfacher FileHandler, welcher erlaubt, ein Stückchen einfachen Java Quellcode zu editieren und dann dynamisch zu kompilieren und auszuführen.

Damit dies funktioniert, muss die Variable ${JavaCodeSnippetEditor.JdkHome} das Verzeichnis eines JDK angeben, damit dessen javac Compiler verwendet werden kann. Normalerweise genügt dafür ein Wert von ${java.home}, falls dies tatsächlich ein JDK referenziert und nicht bloss eine JRE. Falls das angegebene Verzeichnis eine JRE innerhalb eines JDK spezifiziert, so wird dies erkannt und das übergeordnete JDK wird automatisch verwendet.

Wenn neben den standard Java Plattformklassen noch eigene Klassen benötigt werden, so kann ein entsprechender classpath in der Variable ${JavaCodeSnippetEditor.Classpath} angegeben werden. Darin sollten alle benötigten JAR-Dateien und Verzeichnisse aufgeführt sein. Der classpath der Anwendung und des Plugins sind standardmässig nicht enthalten.

Hinweis: es werden keine Restriktionen erzwungen, was die Möglichkeiten des kompilierten Codes anbelangt. Dieser kann alles tun, was ihm die JVM erlaubt. Daher muss vorsichtig entschieden werden, wer auf dieses Plugin zugreifen darf, um nicht anderweitige (sicherheitsrelevante) Konfigurationsziele zu unterlaufen!