public class GtkParser extends java.lang.Object implements GtkParserConstants
| Modifier and Type | Field and Description |
|---|---|
Token |
jj_nt |
Token |
token |
GtkParserTokenManager |
token_source |
ARROW_DIRECTION, ASSIGN, BOOLEAN, BORDER, CLASS, COMMA, DECIMAL_LITERAL, DEFAULT, DETAIL, DIRECTION, ENGINE, EOF, EXTRA, FILE, FONT, FORMAL_COMMENT, FUNCTION, FUNCTION_TYPE, GAP_BORDER, GAP_END_BORDER, GAP_END_FILE, GAP_FILE, GAP_SIDE, GAP_START_BORDER, GAP_START_FILE, IMAGE, IN_FORMAL_COMMENT, IN_MULTI_LINE_COMMENT, IN_SINGLE_LINE_COMMENT, LBRACK, LCROC, MULTI_LINE_COMMENT, ORIENTATION, ORIENTATION_TYPE, OTHER_TOKEN, OVERLAY_BORDER, OVERLAY_FILE, OVERLAY_STRETCH, PROPERTY_KEY, RBRACK, RCROC, RECOLORABLE, SHADOW, SHADOW_TYPE, SINGLE_LINE_COMMENT, STATE, STATE_TYPE, STRETCH, STRING_LITERAL, STYLE, tokenImage, WIDGET, WIDGET_CLASS| Constructor and Description |
|---|
GtkParser(java.io.File file) |
GtkParser(GtkParserTokenManager tm) |
GtkParser(java.io.InputStream stream) |
GtkParser(java.io.Reader stream) |
GtkParser(java.lang.String filename) |
GtkParser(java.net.URL url) |
| Modifier and Type | Method and Description |
|---|---|
GtkBorder |
borderDefinition() |
void |
buildStructure() |
void |
classDefinition() |
void |
disable_tracing() |
void |
enable_tracing() |
ParseException |
generateParseException() |
GtkClass |
getClass(java.lang.String name) |
java.util.Hashtable |
getClasses() |
java.net.URL |
getDirectory() |
Token |
getNextToken() |
GtkStyle |
getStyle(java.lang.String name) |
java.util.Hashtable |
getStyles() |
Token |
getToken(int index) |
void |
imageDefinition(GtkEngine engine) |
static void |
main(java.lang.String[] args) |
float |
readFloat() |
java.lang.String |
readString() |
void |
ReInit(GtkParserTokenManager tm) |
void |
ReInit(java.io.InputStream stream) |
void |
ReInit(java.io.Reader stream) |
void |
setDirectory(java.net.URL dir)
Sets the Directory attribute of the GtkParser object
|
void |
styleDefinition() |
void |
whatever() |
void |
widgetClassDefinition() |
void |
widgetDefinition() |
public GtkParserTokenManager token_source
public Token token
public Token jj_nt
public GtkParser(java.lang.String filename)
throws java.lang.Exception
java.lang.Exceptionpublic GtkParser(java.io.File file)
throws java.lang.Exception
java.lang.Exceptionpublic GtkParser(java.net.URL url)
throws java.lang.Exception
java.lang.Exceptionpublic GtkParser(java.io.InputStream stream)
public GtkParser(java.io.Reader stream)
public GtkParser(GtkParserTokenManager tm)
public static void main(java.lang.String[] args)
throws java.lang.Exception
java.lang.Exceptionpublic java.net.URL getDirectory()
public void setDirectory(java.net.URL dir)
dir - The new Directory valuepublic java.util.Hashtable getStyles()
public java.util.Hashtable getClasses()
public GtkStyle getStyle(java.lang.String name)
public GtkClass getClass(java.lang.String name)
public final void buildStructure()
throws ParseException
ParseExceptionpublic final void whatever()
throws ParseException
ParseExceptionpublic final void widgetClassDefinition()
throws ParseException
ParseExceptionpublic final void widgetDefinition()
throws ParseException
ParseExceptionpublic final void styleDefinition()
throws ParseException
ParseExceptionpublic final void imageDefinition(GtkEngine engine) throws ParseException
ParseExceptionpublic final GtkBorder borderDefinition() throws ParseException
ParseExceptionpublic final void classDefinition()
throws ParseException
ParseExceptionpublic final java.lang.String readString()
throws ParseException
ParseExceptionpublic final float readFloat()
throws ParseException
ParseExceptionpublic void ReInit(java.io.InputStream stream)
public void ReInit(java.io.Reader stream)
public void ReInit(GtkParserTokenManager tm)
public final Token getNextToken()
public final Token getToken(int index)
public final ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()