Class Nice

java.lang.Object
  |
  +--Nice

public class Nice

extends Object

This class implements the main method of the program.

Author:

P. URSO

See Also:

SystemParser, ProofFrame

Constructor Summary

Nice()

Method Summary

static String	fromFile(File f) Puts a file in a String.
static void	main(String[] args) Main method of the program.
static InputStream	openFile(File s) Creates a buffered input strem from a file name.
static void	parse(File s)
static void	setConjecture(File c)

Methods inherited from class java.lang.Object

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

Constructor Detail

Nice

public Nice()

Method Detail

fromFile

public static String fromFile(File f)

Puts a file in a String.

openFile

public static InputStream openFile(File s)

Creates a buffered input strem from a file name.

Parameters:

s - the file name.

main

public static void main(String[] args)

Main method of the program.

parse

public static void parse(File s)
                  throws ParseException

setConjecture

public static void setConjecture(File c)
                          throws ParseException