org.clafer.javascript

Class JavascriptShell.Options

java.lang.Object

org.clafer.javascript.JavascriptShell.Options

All Implemented Interfaces:

JavascriptShell.Messagable

Enclosing class:

JavascriptShell

public static class JavascriptShell.Options
extends Object
implements JavascriptShell.Messagable

Constructor Summary

Constructors

Constructor and Description
JavascriptShell.Options()

Method Summary

Methods

Modifier and Type	Method and Description
String	basicOptimizations()
String	basicSymmetryBreaking()
String	fullOptimizations()
String	fullSymmetryBreaking()
String	preferLargerInstances()
String	preferSmallerInstances()
String	toMessage()

Methods inherited from class java.lang.Object

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

Constructor Detail

JavascriptShell.Options

public JavascriptShell.Options()

Method Detail

preferSmallerInstances

public String preferSmallerInstances()

preferLargerInstances

public String preferLargerInstances()

basicSymmetryBreaking

public String basicSymmetryBreaking()

fullSymmetryBreaking

public String fullSymmetryBreaking()

basicOptimizations

public String basicOptimizations()

fullOptimizations

public String fullOptimizations()

toMessage

public String toMessage()

Specified by:

toMessage in interface JavascriptShell.Messagable

Returns:

a message for the shell