Package de.saar.chorus.domgraph.utool

Class Utool

java.lang.Object

de.saar.chorus.domgraph.utool.Utool

public class Utool
extends Object

The Utool main program for accessing the Domgraph functionality from the command-line. Utool ("Underspecification Tool") is the Swiss Army Knife of Underspecification (Java version).

The operation of this class is described in more detail in the end-user documentation of Utool.

Author:

Alexander Koller

Constructor Summary

Constructors

Constructor	Description
Utool()

Method Summary

Modifier and Type	Method	Description
static void	exit(int syscode)
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Details

Utool

public Utool()

Method Details

main

public static void main(String[] args)

exit

public static void exit(int syscode)