|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.xml.sax.helpers.DefaultHandler
edu.princeton.toy.TConfigurationManager
public class 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 EntityResolver
resolveEntity
in class DefaultHandler
public void notationDecl(String name, String publicId, String systemId)
notationDecl
in interface DTDHandler
notationDecl
in class DefaultHandler
public void unparsedEntityDecl(String name, String publicId, String systemId, String notationName)
unparsedEntityDecl
in interface DTDHandler
unparsedEntityDecl
in class DefaultHandler
public void setDocumentLocator(Locator locator)
setDocumentLocator
in interface ContentHandler
setDocumentLocator
in class DefaultHandler
public void startDocument()
startDocument
in interface ContentHandler
startDocument
in class DefaultHandler
public void endDocument()
endDocument
in interface ContentHandler
endDocument
in class DefaultHandler
public void startPrefixMapping(String prefix, String uri)
startPrefixMapping
in interface ContentHandler
startPrefixMapping
in class DefaultHandler
public void endPrefixMapping(String prefix)
endPrefixMapping
in interface ContentHandler
endPrefixMapping
in class DefaultHandler
public void startElement(String uri, String localName, String qName, Attributes attributes)
startElement
in interface ContentHandler
startElement
in class DefaultHandler
public void endElement(String uri, String localName, String qName)
endElement
in interface ContentHandler
endElement
in class DefaultHandler
public void characters(char[] ch, int start, int length)
characters
in interface ContentHandler
characters
in class DefaultHandler
public void ignorableWhitespace(char[] ch, int start, int length)
ignorableWhitespace
in interface ContentHandler
ignorableWhitespace
in class DefaultHandler
public void processingInstruction(String target, String data)
processingInstruction
in interface ContentHandler
processingInstruction
in class DefaultHandler
public void skippedEntity(String name)
skippedEntity
in interface ContentHandler
skippedEntity
in class DefaultHandler
public void warning(SAXParseException e)
warning
in interface ErrorHandler
warning
in class DefaultHandler
public void error(SAXParseException e)
error
in interface ErrorHandler
error
in class DefaultHandler
public void fatalError(SAXParseException e)
fatalError
in interface ErrorHandler
fatalError
in class DefaultHandler
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |