|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||
java.lang.Objectde.guibuilder.framework.GuiFile
public class GuiFile
GuiFile Objekte dienen als Schnittstelle zwischen interner und externer
Repräsentation einer GDL-Beschreibung. Die assoziierte Datei kann mit
verschiedenen Methoden gelesen werden.
GuiFile objects works as interface between internal and external
representation of a GDL description. The associated file can be read using
several methods
Z. Zt. werden folgende Methoden unterstützt:
The following methods are actually supported:
| Constructor Summary | |
|---|---|
GuiFile(java.lang.String myFilename)
Erzeugt ein neues GuiFile Objekt aus der Datei, die durch filename bezeichnet ist. |
|
GuiFile(java.lang.String myFilename,
java.lang.String encoding)
Erzeugt ein neues GuiFile Objekt aus der Datei, die durch filename bezeichnet ist. |
|
| Method Summary | |
|---|---|
void |
close()
Schliesst die Datei. |
static java.lang.String |
getDefaultEncoding()
Antwortet mit der aktuellen Buchstabenkodierung. |
java.lang.String |
getEncoding()
Antwortet mit der aktuellen Buchstabenkodierung des GuiFile Objektes. |
static void |
setDefaultEncoding(java.lang.String myEncoding)
Setzt die Standard-Buchstabenkodierung f¨r GuiFile Objekte. |
void |
setEncoding(java.lang.String encoding)
Setzt die Buchstabenkodierung f¨r ein konkretes GuiFile Objekt. |
electric.xml.Document |
toDocument()
Antwortet mit der electric.xml.Dokument Repräsentation des GuiFile Objektes. |
java.lang.String |
toString()
Antwortet mit der String Repräsentation des GuiFile Objektes. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public GuiFile(java.lang.String myFilename)
throws java.io.IOException
myFilename - Der Name der Datei. the name of the file.
java.io.IOException - Wenn URL unkorrekt (MalformedUrlException), wenn Datei nicht
gefunden (FileNotFoundException) oder wenn sonstige E/A Fehler
auftreten (IOException). If URL malformed
(MalformedUrlException), if file not found
(FileNotFoundException) or other I/O errors occur
(IOException).
public GuiFile(java.lang.String myFilename,
java.lang.String encoding)
throws java.nio.charset.IllegalCharsetNameException,
java.io.IOException
myFilename - Der Name der Datei. the name of the file. encoding - Die Buchstabenkodierung der Datei. The charset encoding
java.io.IOException - Wenn URL unkorrekt (MalformedUrlException), wenn Datei nicht
gefunden (FileNotFoundException) oder wenn sonstige E/A Fehler
auftreten (IOException). If URL malformed
(MalformedUrlException), if file not found
(FileNotFoundException) or other I/O errors occur
(IOException).
java.nio.charset.IllegalCharsetNameException - Wenn encoding keine unterstützte
Buchstabenkodierung ist. | Method Detail |
|---|
public java.lang.String getEncoding()
public void setEncoding(java.lang.String encoding)
throws java.nio.charset.IllegalCharsetNameException
encoding - Name der Buchstabenkodierung. The encoding to set.
java.nio.charset.IllegalCharsetNameExceptionCharset,
IllegalCharsetNameExceptionpublic static java.lang.String getDefaultEncoding()
public static void setDefaultEncoding(java.lang.String myEncoding)
throws java.nio.charset.IllegalCharsetNameException
myEncoding - Name der Buchstabenkodierung. java.nio.charset.IllegalCharsetNameExceptionCharset,
IllegalCharsetNameException
public void close()
throws java.io.IOException
java.io.IOExceptionpublic java.lang.String toString()
toString in class java.lang.Object
public electric.xml.Document toDocument()
throws electric.xml.ParseException,
java.io.IOException
electric.xml.ParseException
java.io.IOException
|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||