edu.mit.csail.sdg.alloy4whole
Class SimpleCLI

java.lang.Object
  edu.mit.csail.sdg.alloy4whole.SimpleCLI

public final class SimpleCLI
extends java.lang.Object

This class is used by the Alloy developers to drive the regression test suite. For a more detailed guide on how to use Alloy API, please see "ExampleUsingTheCompiler.java"

Method Summary

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

Method Detail

main

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

Throws:

java.lang.Exception