de.stups.probkodkod

Class KodkodInteraction

java.lang.Object

de.stups.probkodkod.KodkodInteraction

public class KodkodInteraction
extends java.lang.Object

Main class for the Kodkod wrapper. Commands are read and executed until the session (see KodkodSession) ends. The commands are directly executed from the Analysis of the syntax tree

See Also:

KodkodAnalysis

Constructor Summary

Constructors

Constructor and Description
KodkodInteraction()

Method Summary

Methods

Modifier and Type	Method and Description
protected static java.io.FileWriter	createDumpFile()
KodkodSession	getSession()
void	interaction(java.io.Reader in, java.io.PrintWriter out)
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

KodkodInteraction

public KodkodInteraction()

Method Detail

interaction

public void interaction(java.io.Reader in,
               java.io.PrintWriter out)
                 throws java.io.IOException,
                        ParserException,
                        LexerException

Throws:

java.io.IOException

ParserException

LexerException

getSession

public KodkodSession getSession()

main

public static void main(java.lang.String[] args)

Parameters:

args -

createDumpFile

protected static java.io.FileWriter createDumpFile()
                                            throws java.io.IOException

Throws:

java.io.IOException