public class KodkodInteraction
extends java.lang.Object
KodkodSession)
ends. The commands are directly executed from the Analysis of the syntax treeKodkodAnalysis| Constructor and Description |
|---|
KodkodInteraction() |
| 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) |
public void interaction(java.io.Reader in,
java.io.PrintWriter out)
throws java.io.IOException,
ParserException,
LexerException
java.io.IOExceptionParserExceptionLexerExceptionpublic KodkodSession getSession()
public static void main(java.lang.String[] args)
args - protected static java.io.FileWriter createDumpFile()
throws java.io.IOException
java.io.IOException