|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object
|
+--org.xml.sax.helpers.DefaultHandler
|
+--edu.princeton.toy.TConfigurationManager
TConfigurationManager is a class that reads and stores the bindings passed to Visual X-TOY through $USER_HOME/toy.conf. It will also write a HashMap into toy.conf file.
| Field Summary | |
static String |
CONFIGURATION_FILE
The filename of the configuration file (to be found in the user's home directory). |
| Method Summary | |
void |
characters(char[] ch,
int start,
int length)
Overriding DefaultHandler's methods. |
void |
endDocument()
Overriding DefaultHandler's methods. |
void |
endElement(String uri,
String localName,
String qName)
Overriding DefaultHandler's methods. |
void |
endPrefixMapping(String prefix)
Overriding DefaultHandler's methods. |
void |
error(SAXParseException e)
Overriding DefaultHandler's methods. |
static boolean |
exportProperties(Map bindings)
Exports a set of properties to the toy.conf file. |
void |
fatalError(SAXParseException e)
Overriding DefaultHandler's methods. |
static String |
getProperty(String name)
Returns the value of the requested parameter. |
void |
ignorableWhitespace(char[] ch,
int start,
int length)
Overriding DefaultHandler's methods. |
static boolean |
isReady()
Indicates wheter or not each example in the manifest either does not exist or has been loaded and processed. |
void |
notationDecl(String name,
String publicId,
String systemId)
Overriding DefaultHandler's methods. |
void |
processingInstruction(String target,
String data)
Overriding DefaultHandler's methods. |
InputSource |
resolveEntity(String publicId,
String systemId)
Overriding DefaultHandler's methods. |
void |
run()
Implement the Runnable interface to parse the conf file in a separate thread. |
void |
setDocumentLocator(Locator locator)
Overriding DefaultHandler's methods. |
void |
skippedEntity(String name)
Overriding DefaultHandler's methods. |
void |
startDocument()
Overriding DefaultHandler's methods. |
void |
startElement(String uri,
String localName,
String qName,
Attributes attributes)
Overriding DefaultHandler's methods. |
void |
startPrefixMapping(String prefix,
String uri)
Overriding DefaultHandler's methods. |
void |
unparsedEntityDecl(String name,
String publicId,
String systemId,
String notationName)
Overriding DefaultHandler's methods. |
void |
warning(SAXParseException e)
Overriding DefaultHandler's methods. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public static final String CONFIGURATION_FILE
| Method Detail |
public static boolean exportProperties(Map bindings)
bindings - A map of keys (of the form "tag1.tag2.tag3...tagN#param") to
values.public static boolean isReady()
public static String getProperty(String name)
name - The name of the requested parameter; this is case-sensitive.
public void run()
run in interface Runnable
public InputSource resolveEntity(String publicId,
String systemId)
resolveEntity in interface EntityResolverresolveEntity in class DefaultHandler
public void notationDecl(String name,
String publicId,
String systemId)
notationDecl in interface DTDHandlernotationDecl in class DefaultHandler
public void unparsedEntityDecl(String name,
String publicId,
String systemId,
String notationName)
unparsedEntityDecl in interface DTDHandlerunparsedEntityDecl in class DefaultHandlerpublic void setDocumentLocator(Locator locator)
setDocumentLocator in interface ContentHandlersetDocumentLocator in class DefaultHandlerpublic void startDocument()
startDocument in interface ContentHandlerstartDocument in class DefaultHandlerpublic void endDocument()
endDocument in interface ContentHandlerendDocument in class DefaultHandler
public void startPrefixMapping(String prefix,
String uri)
startPrefixMapping in interface ContentHandlerstartPrefixMapping in class DefaultHandlerpublic void endPrefixMapping(String prefix)
endPrefixMapping in interface ContentHandlerendPrefixMapping in class DefaultHandler
public void startElement(String uri,
String localName,
String qName,
Attributes attributes)
startElement in interface ContentHandlerstartElement in class DefaultHandler
public void endElement(String uri,
String localName,
String qName)
endElement in interface ContentHandlerendElement in class DefaultHandler
public void characters(char[] ch,
int start,
int length)
characters in interface ContentHandlercharacters in class DefaultHandler
public void ignorableWhitespace(char[] ch,
int start,
int length)
ignorableWhitespace in interface ContentHandlerignorableWhitespace in class DefaultHandler
public void processingInstruction(String target,
String data)
processingInstruction in interface ContentHandlerprocessingInstruction in class DefaultHandlerpublic void skippedEntity(String name)
skippedEntity in interface ContentHandlerskippedEntity in class DefaultHandlerpublic void warning(SAXParseException e)
warning in interface ErrorHandlerwarning in class DefaultHandlerpublic void error(SAXParseException e)
error in interface ErrorHandlererror in class DefaultHandlerpublic void fatalError(SAXParseException e)
fatalError in interface ErrorHandlerfatalError in class DefaultHandler
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||