Package org.smtlib

Interface IParser.IFactory

All Known Implementing Classes:

Factory

Enclosing interface:

IParser

public static interface IParser.IFactory

The interface for the parser/printer factory

Method Summary

Modifier and Type	Method	Description
IParser	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
ISource	createSource(CharSequence cs, String filepath)	Creates a character source from the given CharSequence; the second argument is just to be used as a location designator.
ISource	createSource(SMT.Configuration smtConfig, File file)	Creates a character source from the given file
ISource	createSource(SMT.Configuration smtConfig, InputStream file, Object location)	Creates a character source from the given stream

Method Details

createParser

IParser createParser(SMT.Configuration smtConfig,
 ISource source)

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

createSource

ISource createSource(CharSequence cs,
 String filepath)

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

createSource

ISource createSource(SMT.Configuration smtConfig,
 File file)
              throws FileNotFoundException

Creates a character source from the given file

Throws:

FileNotFoundException

createSource

ISource createSource(SMT.Configuration smtConfig,
 InputStream file,
 Object location)

Creates a character source from the given stream

createPrinter

IPrinter createPrinter(SMT.Configuration smtConfig,
 Writer w)

Creates a printer