edu.ucla.belief.io
Class InstantiationXmlizer

Object
  extended by DefaultHandler
      extended by InstantiationXmlizer
All Implemented Interfaces:
ContentHandler, DTDHandler, EntityResolver, ErrorHandler

public class InstantiationXmlizer
extends DefaultHandler

Since:
20030519, 20060210
Author:
Keith Cascio

Nested Class Summary
 class InstantiationXmlizer.RootCheckHandler
           
 class InstantiationXmlizer.ValidRootHandler
           
 
Field Summary
static String STR_ATTR_DATE
           
static String STR_ATTR_ID
           
static String STR_ATTR_NEGATIVE
           
static String STR_ATTR_VALUE
           
static String STR_TAG_INST
           
static String STR_TAG_ROOT
           
static String STR_VALUE_TRUE
           
 InstantiationXmlizer.RootCheckHandler theRootCheckHandler
           
 InstantiationXmlizer.ValidRootHandler theValidRootHandler
           
 
Constructor Summary
InstantiationXmlizer()
           
 
Method Summary
 void endDocument()
           
 void endElement(String uri, String localName, String qName)
           
static String getID(Object obj)
           
 Map getMap(File fileInput)
           
 boolean loadMap(Map clipboard, File fileInput)
           
 boolean loadMap(Map positive, Map negative, File fileInput)
           
 String makeDate()
           
 boolean save(Map clipboard, File fileOutput)
           
 boolean save(Map positive, Map negative, File fileOutput)
           
 boolean save(Map positive, Map negative, Map extraNameToValues, File fileOutput)
           
 void startDocument()
           
 void startElement(String uri, String localName, String qName, Attributes attributes)
           
 
Methods inherited from class DefaultHandler
characters, endPrefixMapping, error, fatalError, ignorableWhitespace, notationDecl, processingInstruction, resolveEntity, setDocumentLocator, skippedEntity, startPrefixMapping, unparsedEntityDecl, warning
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

STR_TAG_ROOT

public static final String STR_TAG_ROOT
See Also:
Constant Field Values

STR_ATTR_DATE

public static final String STR_ATTR_DATE
See Also:
Constant Field Values

STR_TAG_INST

public static final String STR_TAG_INST
See Also:
Constant Field Values

STR_ATTR_ID

public static final String STR_ATTR_ID
See Also:
Constant Field Values

STR_ATTR_VALUE

public static final String STR_ATTR_VALUE
See Also:
Constant Field Values

STR_ATTR_NEGATIVE

public static final String STR_ATTR_NEGATIVE
See Also:
Constant Field Values

STR_VALUE_TRUE

public static final String STR_VALUE_TRUE
See Also:
Constant Field Values

theRootCheckHandler

public final InstantiationXmlizer.RootCheckHandler theRootCheckHandler

theValidRootHandler

public final InstantiationXmlizer.ValidRootHandler theValidRootHandler
Constructor Detail

InstantiationXmlizer

public InstantiationXmlizer()
Method Detail

getMap

public Map getMap(File fileInput)
           throws IOException
Throws:
IOException
Since:
20060214 VALENTINE'S DAY!!!

loadMap

public boolean loadMap(Map clipboard,
                       File fileInput)
                throws IOException
Throws:
IOException
Since:
20050204

loadMap

public boolean loadMap(Map positive,
                       Map negative,
                       File fileInput)
                throws IOException
Throws:
IOException
Since:
20050204

startElement

public void startElement(String uri,
                         String localName,
                         String qName,
                         Attributes attributes)
                  throws SAXException
Specified by:
startElement in interface ContentHandler
Overrides:
startElement in class DefaultHandler
Throws:
SAXException

endElement

public void endElement(String uri,
                       String localName,
                       String qName)
                throws SAXException
Specified by:
endElement in interface ContentHandler
Overrides:
endElement in class DefaultHandler
Throws:
SAXException

startDocument

public void startDocument()
                   throws SAXException
Specified by:
startDocument in interface ContentHandler
Overrides:
startDocument in class DefaultHandler
Throws:
SAXException

endDocument

public void endDocument()
                 throws SAXException
Specified by:
endDocument in interface ContentHandler
Overrides:
endDocument in class DefaultHandler
Throws:
SAXException

save

public boolean save(Map clipboard,
                    File fileOutput)

save

public boolean save(Map positive,
                    Map negative,
                    File fileOutput)
Since:
20050204

save

public boolean save(Map positive,
                    Map negative,
                    Map extraNameToValues,
                    File fileOutput)
Since:
20060210

makeDate

public String makeDate()

getID

public static String getID(Object obj)


Copyright 2010 UCLA Automated Reasoning Group