Package org.smtlib.impl

Class Script

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.impl.Script

All Implemented Interfaces:

ICommand.IScript, INode, IPos.IPosable

public class Script
extends Pos.Printable
implements ICommand.IScript

This class implements the IScript interface, representing SMT-LIB command scripts

Field Summary

Fields

Modifier and Type	Field	Description
protected List<ICommand>	commands	The list of commands
protected IExpr.IStringLiteral	filename	The filename of the script file

Fields inherited from class org.smtlib.impl.Pos.Posable

pos

Constructor Summary

Constructors

Constructor	Description
Script()	Constructs a script with no commands
Script(IExpr.IStringLiteral filename, List<ICommand> list)	Constructs the script with the given list of commands, hijacking the list itself

Method Summary

Modifier and Type	Method	Description
<T> T	accept(IVisitor<T> v)	The accept method for visitor classes; the type parameter is the return type of the accept and visit methods
void	add(ICommand command)	Adds a command to the end of the script
List<ICommand>	commands()	Returns a reference to the internal list
IResponse	execute(ISolver solver)	Executes the current list
IExpr.IStringLiteral	filename()	The filename of the script file

Methods inherited from class org.smtlib.impl.Pos.Printable

toString

Methods inherited from class org.smtlib.impl.Pos.Posable

equals, hashCode, pos, setPos

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

filename

protected IExpr.IStringLiteral filename

The filename of the script file

commands

protected List<ICommand> commands

The list of commands

Constructor Details

Script

public Script()

Constructs a script with no commands

Script

public Script(IExpr.IStringLiteral filename,
 List<ICommand> list)

Constructs the script with the given list of commands, hijacking the list itself

Method Details

filename

public IExpr.IStringLiteral filename()

The filename of the script file

Specified by:

filename in interface ICommand.IScript

commands

public List<ICommand> commands()

Returns a reference to the internal list

Specified by:

commands in interface ICommand.IScript

add

public void add(ICommand command)

Adds a command to the end of the script

Specified by:

add in interface ICommand.IScript

execute

public IResponse execute(ISolver solver)

Executes the current list

Specified by:

execute in interface ICommand.IScript

accept

public <T> T accept(IVisitor<T> v)
             throws IVisitor.VisitorException

The accept method for visitor classes; the type parameter is the return type of the accept and visit methods

Specified by:

accept in interface INode

Type Parameters:

T - the return type desired from the visit methods

Parameters:

v - the visitor class

Returns:

the value returned by the visit method

Throws:

IVisitor.VisitorException