Package org.smtlib.sexpr

Class Factory

java.lang.Object

org.smtlib.sexpr.Factory

All Implemented Interfaces:

IParser.IFactory

public class Factory
extends Object
implements IParser.IFactory

This is the factory for classes that are part of this particular concrete representation of SMT-LIB syntax: Parser, Printer, Source for parsers.

Author:

David R. Cok

Constructor Summary

Constructors

Constructor	Description
Factory()

Method Summary

Modifier and Type	Method	Description
Parser	createParser(SMT.Configuration smtConfig, ISource source)	Creates a parser that reads and parses concrete syntax from the given source
IPrinter	createPrinter(SMT.Configuration smtConfig, Writer w)	Creates a printer
Pos.Source	createSource(CharSequence cs, String location)	Creates a character source from the given CharSequence; the second argument is just to be used as a location designator.
Pos.Source	createSource(SMT.Configuration smtConfig, File file)	Creates a character source from the given file
Pos.Source	createSource(SMT.Configuration smtConfig, InputStream file, Object location)	Creates a character source from the given stream
static void	initFactories(SMT.Configuration config)	This method will initialize the factories and default printer in the configuration with appropriate objects from this implementation; it should be called as part of initial set up of the configuration.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Factory

public Factory()

Method Details

createParser

public Parser createParser(SMT.Configuration smtConfig,
 ISource source)

Description copied from interface: IParser.IFactory

Creates a parser that reads and parses concrete syntax from the given source

Specified by:

createParser in interface IParser.IFactory

createSource

public Pos.Source createSource(CharSequence cs,
 String location)

Description copied from interface: IParser.IFactory

Creates a character source from the given CharSequence; the second argument is just to be used as a location designator.

Specified by:

createSource in interface IParser.IFactory

createSource

public Pos.Source createSource(SMT.Configuration smtConfig,
 File file)
                        throws FileNotFoundException

Description copied from interface: IParser.IFactory

Creates a character source from the given file

Specified by:

createSource in interface IParser.IFactory

Throws:

FileNotFoundException

createSource

public Pos.Source createSource(SMT.Configuration smtConfig,
 InputStream file,
 Object location)

Description copied from interface: IParser.IFactory

Creates a character source from the given stream

Specified by:

createSource in interface IParser.IFactory

createPrinter

public IPrinter createPrinter(SMT.Configuration smtConfig,
 Writer w)

Description copied from interface: IParser.IFactory

Creates a printer

Specified by:

createPrinter in interface IParser.IFactory

initFactories

public static void initFactories(SMT.Configuration config)

This method will initialize the factories and default printer in the configuration with appropriate objects from this implementation; it should be called as part of initial set up of the configuration.