Class AOT
java.lang.Object
|
+----java.awt.Component
|
+----java.awt.Container
|
+----java.awt.Panel
|
+----java.applet.Applet
|
+----AOT
- public class AOT
- extends Applet
-
access_mode
- Zugriffs-Modus (siehe Applet-Parameter 3 "Access")
-
Aot
- es gibt immer genau ein Applet
-
aotframe
- Frame "simuliert" im Standalone-Modus den Browser
-
APPLET_NAME
-
-
APPLET_NAME_ABBREVIATION
-
-
application
- optionales Frame zur "anwendungsartigen" Darstellung des Applets (resizeable, Pulldown-Menue usw.)
-
BROWSER_Navigator
-
-
BUFFERED_PAINTING
-
-
CATEGORIES_FILE_TYPE
- Dateiendung "Baum"
-
clipboard
- Zwischenablage (ein Extra-Baum)
-
clipboard_frame
- Fenster, in dem optional das Clipboard dargestellt wird
-
config
-
-
COPYRIGHT
-
-
current_browser
- interner HTML-Viewer-Kontext (nur falls external_html_viewer=false)
-
current_directory
-
-
DEVELOPER
-
-
doc_file
-
-
document
- Baum (Modell und Darstellung)
-
dummy
- einige AWT-Methoden benoetigen unter Motif immer
irgendein first-level Fenster als Bezug
-
external_html_viewer
- HTML-Viewer als externen Prozess oder per class jb (immer fuer Java 1.0.2!)
-
force_cntrl_swap
-
-
form_mode
- Schalter: Formular-Modus (siehe Applet-Parameter 6 "Form")
-
frame_mode
- Darstellungs-Modus (siehe Applet-Parameter 4 "Frame")
-
GUI_Windows
-
-
history_list
-
-
history_list_pos
-
-
host
- URL des Hosts.
-
host_port
- Port beim Host zur Kommunikation via communicate_with_host()
-
html_proc
-
-
html_viewers
- (relevant wenn external_html_viewer=true)
HTML-Viewer (z.B.
-
initial_height
- vert.
-
initial_width
- horiz.
-
INTERPRETER_Jview
-
-
java_102
- folgende Werte sind leider sehr wichtig in einigen Situationen:
-
m_fStandAlone
-
-
m_param1
- Baumtext-Datei, falls diese nicht in der Kommandozeile angegeben wurde
-
m_param10
-
-
m_param2
- Selektionstext-Datei, falls diese nicht in der Kommandozeile angegeben wurde
-
m_param3
- Steuerung der Zugriffsbeschraenkung, falls Parameter nicht in der Kommandozeile angegeben wurde
-
m_param4
- Aufrufmodus (als Fenster(yes) oder in HTML-Seite(no)), falls Parameter nicht in der Kommandozeile angegeben wurde
-
m_param5
- Datei mit Endanwender-Selektion
-
m_param6
- Formularmodus (als Fenster(yes) oder in HTML-Seite(no)), falls Parameter nicht in der Kommandozeile angegeben wurde
-
m_param7
- Host-Port
-
m_param8
- URL von Pseudo-Host (wird nur gebraucht, wenn Cats sich nicht im Applet-Modus befindet)
-
m_param9
- Erzwingt einen Windows-aehnlichen Darstellungsmodus unter Motif (noetig bei neueren Java-Builds)
-
MODIFY_MESSAGE
-
-
online_documentation
-
-
PARAM_Param1
- Parameter-Schluessel:
-
PARAM_Param10
-
-
PARAM_Param2
-
-
PARAM_Param3
-
-
PARAM_Param4
-
-
PARAM_Param5
-
-
PARAM_Param6
-
-
PARAM_Param7
-
-
PARAM_Param8
-
-
PARAM_Param9
-
-
secure
- Sicherheitsmodus: wenn true, unterbleiben einige sicherheitsrelevanten Aktionen.
-
SELECTION_FILE_TYPE
- Dateiendung "Selektion"
-
SELECTION_MODIFY_MESSAGE
-
-
SUPERUSER
- access_mode-Schluessel "voller Zugriff"
-
title
-
-
toggle_insertion
- schaltet zwischen Embedded- und Application-Modus um
im Embedded-Modus ist das Haupt-Dokument in die HTML-Seite eingebettet, andernfalls ins application-Frame
-
USER
- access_mode-Schluessel "Abfrage" (Endanwender)
-
user_file_operation_LOAD_CAT
- Operationstypen fuer Funktion user_file_operation()
-
user_file_operation_LOAD_SEL
-
-
user_file_operation_MESSAGE
-
-
user_file_operation_SAVE_CAT
-
-
user_file_operation_SAVE_SEL
-
-
user_selection_file
- Datei fuer Endanwender-Selektionen (Parameter 5)
-
VERSION
-
-
wait
- "Bitte warten" Dialog fuer Startup-Phase
-
AOT()
- dieser Konstruktor oeffnet noch kein Dokumenten-Fenster.
-
action(Event, Object)
-
-
communicate_with_host(String[])
- Internet Client-Server-Verbindung zum Applet-Host aufbauen und Daten uebertragen.
-
destroy()
- wird nach stop() vom Browser aufgerufen
-
detach_document()
- Umkehrung zu insert_document()
-
get_document()
- Liefert aktuelles Hauptdokument
-
get_tree()
- liefert die Textdarstellung ("Quellcode") des Baums im Hauptdokument
-
get_URL(String)
- Datei zu Datei oder URL in Stringform (lokal bzw.
-
get_URL(String, boolean, boolean)
- Datei zu Datei oder URL in Stringform (lokal bzw.
-
getAppletInfo()
- diese Infos koennen nicht alle Browser lesen:
-
GetParameter(String, String[])
- Eintrag der Parameter, die in der HTML-Seite oder der Kommandozeile (Standalone-Variante) stehen
-
getParameterInfo()
- diese Tabelle kann nicht jeder Browser lesen:
-
GetParameters(String[])
-
-
init()
- wird vom AWT und ggf.
-
inquire_filename(String, String, int)
- Dateiauswahlbox anzeigen
-
inquire_filename(String, String, int, Frame)
-
-
inquire_filename(String, String, int, Frame, String)
- type ist die Dateiendung der zu erfragenden Datei (z.B.
-
insert_document(boolean)
- (re-)integriert Haupt-document in die HTML-Seite
-
is_java_102()
-
-
java_version()
-
-
load_selection(String)
-
-
load_tree(String)
- Uebersetzung eines Und-/Oder-Baums (zeigt im Dokumentenfenster einen neuen Und-/Oder-Baum an)
-
main(String[])
- nur relevant fuer Standalone-Version (sonst init())
-
on_quit(boolean)
- falls warn=true, prueft on_quit(), ob das Dokument gesichert werden muss
andernfalls erfolgte diese Pruefung schon in class QuitDialog
-
online_help(String)
-
-
online_help(String, String)
- Dokumentation anzeigen bzw.
-
open(Document, String, boolean)
- Laed neues Anwender-Dokument, fordert ggf.
-
paint(Graphics)
-
-
print_info(boolean, boolean)
-
-
read(String, boolean)
- Liest Datei/URL-Inhalt (MIME: plain text) in einen Zwischenpuffer
Relative Dateipfade beziehen sich auf current_directory.
-
save(String, String, boolean)
- Speichert einen String content als Datei.
-
set_dir(String)
- wechselt in das Verzeichnis der Datei filename
-
set_title(String)
-
-
start()
- Aufruf wenn HTML-Seite mit Applet (erneut) sichtbar wird;
zeitgleich startet auch der einzige Thread; vgl.
-
stop()
- Webseite mit Aot wird geschlossen
-
user_file_operation(int, String, Document, boolean, boolean)
- Anwender nach Dateinamen fragen und Datei speichern/laden
-
user_file_operation(int, String, Document, boolean, boolean, boolean)
- Anwender nach Dateinamen fragen und Datei speichern/laden
APPLET_NAME_ABBREVIATION
public static String APPLET_NAME_ABBREVIATION
APPLET_NAME
public static String APPLET_NAME
COPYRIGHT
public static final String COPYRIGHT
DEVELOPER
public static final String DEVELOPER
VERSION
public static final String VERSION
CATEGORIES_FILE_TYPE
public static final String CATEGORIES_FILE_TYPE
- Dateiendung "Baum"
SELECTION_FILE_TYPE
public static final String SELECTION_FILE_TYPE
- Dateiendung "Selektion"
initial_width
private static int initial_width
- horiz. Ausdehnung des Applets in der HTML-Seite (Aenderungen sind auch in deren Quelltext vorzunehmen)
initial_height
private static int initial_height
- vert. Ausdehnung des Applets in der HTML-Seite (Aenderungen sind auch in deren Quelltext vorzunehmen)
PARAM_Param1
private static final String PARAM_Param1
- Parameter-Schluessel:
PARAM_Param2
private static final String PARAM_Param2
PARAM_Param3
private static final String PARAM_Param3
PARAM_Param4
private static final String PARAM_Param4
PARAM_Param5
private static final String PARAM_Param5
PARAM_Param6
private static final String PARAM_Param6
PARAM_Param7
private static final String PARAM_Param7
PARAM_Param8
private static final String PARAM_Param8
PARAM_Param9
private static final String PARAM_Param9
PARAM_Param10
private static final String PARAM_Param10
USER
public static final int USER
- access_mode-Schluessel "Abfrage" (Endanwender)
SUPERUSER
public static final int SUPERUSER
- access_mode-Schluessel "voller Zugriff"
user_file_operation_LOAD_CAT
public static final int user_file_operation_LOAD_CAT
- Operationstypen fuer Funktion user_file_operation()
user_file_operation_SAVE_CAT
public static final int user_file_operation_SAVE_CAT
user_file_operation_LOAD_SEL
public static final int user_file_operation_LOAD_SEL
user_file_operation_SAVE_SEL
public static final int user_file_operation_SAVE_SEL
user_file_operation_MESSAGE
public static final String user_file_operation_MESSAGE[]
MODIFY_MESSAGE
public static final String MODIFY_MESSAGE
SELECTION_MODIFY_MESSAGE
public static final String SELECTION_MODIFY_MESSAGE
online_documentation
static String online_documentation
external_html_viewer
static boolean external_html_viewer
- HTML-Viewer als externen Prozess oder per class jb (immer fuer Java 1.0.2!)
html_viewers
static String html_viewers[]
- (relevant wenn external_html_viewer=true)
HTML-Viewer (z.B. Web-Browser) zur Anzeige der Dokumentation.
Fuer %s wird ueberall die URL der anzuzeigenden Seite eingesetzt:
title
private static String title
doc_file
static URL doc_file
html_proc
private static Process html_proc
current_browser
static jb current_browser
- interner HTML-Viewer-Kontext (nur falls external_html_viewer=false)
host_port
private static int host_port
- Port beim Host zur Kommunikation via communicate_with_host()
host
private static String host
- URL des Hosts. Wenn nicht im Applet-Modus, wird die Vorgabe hier verwendet
java_102
public static boolean java_102
- folgende Werte sind leider sehr wichtig in einigen Situationen:
GUI_Windows
public static boolean GUI_Windows
BROWSER_Navigator
public static boolean BROWSER_Navigator
INTERPRETER_Jview
public static boolean INTERPRETER_Jview
force_cntrl_swap
public static boolean force_cntrl_swap
config
public static int config
m_fStandAlone
public boolean m_fStandAlone
BUFFERED_PAINTING
public boolean BUFFERED_PAINTING
m_param1
private String m_param1
- Baumtext-Datei, falls diese nicht in der Kommandozeile angegeben wurde
m_param2
private String m_param2
- Selektionstext-Datei, falls diese nicht in der Kommandozeile angegeben wurde
m_param3
private int m_param3
- Steuerung der Zugriffsbeschraenkung, falls Parameter nicht in der Kommandozeile angegeben wurde
m_param4
private String m_param4
- Aufrufmodus (als Fenster(yes) oder in HTML-Seite(no)), falls Parameter nicht in der Kommandozeile angegeben wurde
m_param5
private String m_param5
- Datei mit Endanwender-Selektion
m_param6
private String m_param6
- Formularmodus (als Fenster(yes) oder in HTML-Seite(no)), falls Parameter nicht in der Kommandozeile angegeben wurde
m_param7
private int m_param7
- Host-Port
m_param8
private String m_param8
- URL von Pseudo-Host (wird nur gebraucht, wenn Cats sich nicht im Applet-Modus befindet)
m_param9
private String m_param9
- Erzwingt einen Windows-aehnlichen Darstellungsmodus unter Motif (noetig bei neueren Java-Builds)
m_param10
private String m_param10
access_mode
int access_mode
- Zugriffs-Modus (siehe Applet-Parameter 3 "Access")
frame_mode
boolean frame_mode
- Darstellungs-Modus (siehe Applet-Parameter 4 "Frame")
form_mode
boolean form_mode
- Schalter: Formular-Modus (siehe Applet-Parameter 6 "Form")
user_selection_file
String user_selection_file
- Datei fuer Endanwender-Selektionen (Parameter 5)
current_directory
static String current_directory
document
Document document
- Baum (Modell und Darstellung)
clipboard
Document clipboard
- Zwischenablage (ein Extra-Baum)
wait
public InfoDialog wait
- "Bitte warten" Dialog fuer Startup-Phase
history_list
private Vector history_list
history_list_pos
private int history_list_pos
application
public ApplicationFrame application
- optionales Frame zur "anwendungsartigen" Darstellung des Applets (resizeable, Pulldown-Menue usw.)
clipboard_frame
ClipboardFrame clipboard_frame
- Fenster, in dem optional das Clipboard dargestellt wird
aotframe
AOTFrame aotframe
- Frame "simuliert" im Standalone-Modus den Browser
toggle_insertion
private Button toggle_insertion
- schaltet zwischen Embedded- und Application-Modus um
im Embedded-Modus ist das Haupt-Dokument in die HTML-Seite eingebettet, andernfalls ins application-Frame
Aot
public static AOT Aot
- es gibt immer genau ein Applet
dummy
static Frame dummy
- einige AWT-Methoden benoetigen unter Motif immer
irgendein first-level Fenster als Bezug
secure
static boolean secure
- Sicherheitsmodus: wenn true, unterbleiben einige sicherheitsrelevanten Aktionen.
AOT
public AOT()
- dieser Konstruktor oeffnet noch kein Dokumenten-Fenster.
Dies muss mit init() bewerkstelligt werden
open
public static void open(Document document,
String filename,
boolean any_input)
- Laed neues Anwender-Dokument, fordert ggf. vorher zur Datensicherung auf.
(= Document.open() plus Sicherheitsabfrage)
get_document
public Document get_document()
- Liefert aktuelles Hauptdokument
load_selection
public void load_selection(String filename)
GetParameter
String GetParameter(String strName,
String args[])
- Eintrag der Parameter, die in der HTML-Seite oder der Kommandozeile (Standalone-Variante) stehen
GetParameters
void GetParameters(String args[])
print_info
static void print_info(boolean sysinfo,
boolean m_fStandAlone)
main
public static void main(String args[])
- nur relevant fuer Standalone-Version (sonst init())
is_java_102
static boolean is_java_102()
java_version
static String java_version()
init
public void init()
- wird vom AWT und ggf. von main() beim ersten Aufruf des Applets aufgerufen.
init() erzeugt ein Dokumentenfenster aus einer Datei mit der Textdarstellung
eines Und-/Oder-Baums. Vorher muss das Applet natuerlich mit dem Konstruktor
AOT() eingerichtet werden. Exemplarisch ist die Verwendung von init()
in main() zu sehen.
- Overrides:
- init in class Applet
getAppletInfo
public String getAppletInfo()
- diese Infos koennen nicht alle Browser lesen:
- Overrides:
- getAppletInfo in class Applet
getParameterInfo
public String[][] getParameterInfo()
- diese Tabelle kann nicht jeder Browser lesen:
- Overrides:
- getParameterInfo in class Applet
user_file_operation
static void user_file_operation(int type,
String defname,
Document document,
boolean flag1,
boolean flag2)
- Anwender nach Dateinamen fragen und Datei speichern/laden
user_file_operation
static void user_file_operation(int type,
String defname,
Document document,
boolean flag1,
boolean flag2,
boolean any_input)
- Anwender nach Dateinamen fragen und Datei speichern/laden
inquire_filename
static String inquire_filename(String message,
String type,
int operation)
- Dateiauswahlbox anzeigen
inquire_filename
static String inquire_filename(String message,
String type,
int operation,
Frame parent)
inquire_filename
static String inquire_filename(String message,
String type,
int operation,
Frame parent,
String directory)
- type ist die Dateiendung der zu erfragenden Datei (z.B. "*.cat")
oder ein vollstaendiger, vorzugebender Dateinamen.
operation ist FileDialog.SAVE oder FileDialog.LOAD
set_dir
static void set_dir(String filename)
- wechselt in das Verzeichnis der Datei filename
get_URL
static URL get_URL(String filename)
- Datei zu Datei oder URL in Stringform (lokal bzw. auf Host) oeffnen.
get_URL
static URL get_URL(String filename,
boolean just_try,
boolean print_info)
- Datei zu Datei oder URL in Stringform (lokal bzw. auf Host) oeffnen.
just_try=true: keine Fehlermeldungen anzeigen, wenn die Datei nicht gefunden wurde
read
static String read(String filename,
boolean per_URL)
- Liest Datei/URL-Inhalt (MIME: plain text) in einen Zwischenpuffer
Relative Dateipfade beziehen sich auf current_directory.
Es wird nur ASCII-Zeichencode unterstuetzt, kein Unicode.
change_dir=true: in das Verzeichnis von filename wird gewechselt (nur per_URL)
save
static void save(String filename,
String content,
boolean per_URL)
- Speichert einen String content als Datei.
Relative Dateipfade beziehen sich auf current_directory.
Es wird z.Zt. nur ASCII-Zeichencode unterstuetzt, kein Unicode.
change_dir=true: in das Verzeichnis von filename wird gewechselt
communicate_with_host
String communicate_with_host(String process[])
- Internet Client-Server-Verbindung zum Applet-Host aufbauen und Daten uebertragen.
Protokoll: CATTP 1.0 (siehe Quellcode-Dokumentation cats_doc.html)
set_title
void set_title(String filename)
on_quit
void on_quit(boolean warn)
- falls warn=true, prueft on_quit(), ob das Dokument gesichert werden muss
andernfalls erfolgte diese Pruefung schon in class QuitDialog
get_tree
public String get_tree()
- liefert die Textdarstellung ("Quellcode") des Baums im Hauptdokument
load_tree
public void load_tree(String text)
- Uebersetzung eines Und-/Oder-Baums (zeigt im Dokumentenfenster einen neuen Und-/Oder-Baum an)
destroy
public void destroy()
- wird nach stop() vom Browser aufgerufen
- Overrides:
- destroy in class Applet
paint
public void paint(Graphics g)
- Overrides:
- paint in class Container
start
public void start()
- Aufruf wenn HTML-Seite mit Applet (erneut) sichtbar wird;
zeitgleich startet auch der einzige Thread; vgl. stop()
- Overrides:
- start in class Applet
stop
public void stop()
- Webseite mit Aot wird geschlossen
- Overrides:
- stop in class Applet
action
public boolean action(Event e,
Object arg)
- Overrides:
- action in class Component
insert_document
void insert_document(boolean detached)
- (re-)integriert Haupt-document in die HTML-Seite
detach_document
void detach_document()
- Umkehrung zu insert_document()
online_help
static void online_help(String page)
online_help
static void online_help(String page,
String content)
- Dokumentation anzeigen bzw. Seite anzeigen (content!=null: statt Datei/URL page den String content anzeigen)