Uses of Interface
org.smtlib.ISource

Packages that use ISource

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.
org.smtlib.impl	This package is an implementation of the interfaces defined in org.smtlib.
org.smtlib.sexpr	This package is a concrete implementation of a particular concrete syntax for the abstract SMT-LIB semantics.

Uses of ISource in org.smtlib

Methods in org.smtlib that return ISource

Modifier and Type	Method	Description
ISource	IParser.IFactory.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	IParser.IFactory.createSource(SMT.Configuration smtConfig, File file)	Creates a character source from the given file
ISource	IParser.IFactory.createSource(SMT.Configuration smtConfig, InputStream file, Object location)	Creates a character source from the given stream
ISource	IPos.source()	Returns the source object containing the characters

Methods in org.smtlib with parameters of type ISource

Modifier and Type	Method	Description
IParser	IParser.IFactory.createParser(SMT.Configuration smtConfig, ISource source)	Creates a parser that reads and parses concrete syntax from the given source

Uses of ISource in org.smtlib.impl

Classes in org.smtlib.impl that implement ISource

Modifier and Type	Class	Description
static class	Pos.Source	An implementation of the ISource interface

Fields in org.smtlib.impl declared as ISource

Modifier and Type	Field	Description
protected ISource	Pos.source	The source of text

Methods in org.smtlib.impl that return ISource

Modifier and Type	Method	Description
ISource	Pos.source()	The source of text

Constructors in org.smtlib.impl with parameters of type ISource

Modifier	Constructor	Description
	Pos(int cs, int ce, ISource s)	Constructor for a Pos object

Uses of ISource in org.smtlib.sexpr

Methods in org.smtlib.sexpr that return ISource

Modifier and Type	Method	Description
final ISource	Lexer.source()	The source of input used in this lexer; typically a different lexer object will be used for each source (e.g.

Methods in org.smtlib.sexpr with parameters of type ISource

Modifier and Type	Method	Description
Parser	Factory.createParser(SMT.Configuration smtConfig, ISource source)

Constructors in org.smtlib.sexpr with parameters of type ISource

Modifier	Constructor	Description
	Lexer(SMT.Configuration smtConfig, ISource src)	Creates a Lexer using an SMT configuration object and a source for characters
	Parser(SMT.Configuration smtConfig, ISource src)	Creates a Parser using an SMT configuration object and a source for characters; ordinarily use a factory to obtain a parser.