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!