Pandora.Help
Class ErrorMessages

java.lang.Object
  Pandora.Help.ErrorMessages

public class ErrorMessages
extends java.lang.Object

Class which keeps all the error messages.

Field Summary

static java.lang.String	and
static java.lang.String	and_forwards
static java.lang.String	arrow
static java.lang.String	arrow_backwards
static java.lang.String	empty_line
static java.lang.String	ExistsElim
static java.lang.String	falsity
static java.lang.String	falsity_forwards
static java.lang.String	forAllArrowIntro
static java.lang.String	forAllArrowIntro_backwards
static java.lang.String	forAllElim_backwards
static java.lang.String	forAllIntro_backwards
static java.lang.String	forAllTick
static java.lang.String	forAllTick_backwards
static java.lang.String	iff
static java.lang.String	iff_backwards
static java.lang.String	not
static java.lang.String	not_bottom
static java.lang.String	not_in_scope
static java.lang.String	notElim_backwards
static java.lang.String	notnot
static java.lang.String	or
static java.lang.String	or_selected
static java.lang.String	subs_backwards
static java.lang.String	subs_forwards
static java.lang.String	thereExists
static java.lang.String	truth

Constructor Summary

ErrorMessages()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

not_in_scope

public static java.lang.String not_in_scope

empty_line

public static java.lang.String empty_line

and_forwards

public static java.lang.String and_forwards

and

public static java.lang.String and

or

public static java.lang.String or

or_selected

public static java.lang.String or_selected

arrow

public static java.lang.String arrow

arrow_backwards

public static java.lang.String arrow_backwards

iff

public static java.lang.String iff

iff_backwards

public static java.lang.String iff_backwards

falsity

public static java.lang.String falsity

falsity_forwards

public static java.lang.String falsity_forwards

truth

public static java.lang.String truth

not

public static java.lang.String not

notElim_backwards

public static java.lang.String notElim_backwards

not_bottom

public static java.lang.String not_bottom

notnot

public static java.lang.String notnot

thereExists

public static java.lang.String thereExists

ExistsElim

public static java.lang.String ExistsElim

forAllIntro_backwards

public static java.lang.String forAllIntro_backwards

forAllElim_backwards

public static java.lang.String forAllElim_backwards

forAllTick

public static java.lang.String forAllTick

forAllTick_backwards

public static java.lang.String forAllTick_backwards

forAllArrowIntro_backwards

public static java.lang.String forAllArrowIntro_backwards

forAllArrowIntro

public static java.lang.String forAllArrowIntro

subs_forwards

public static java.lang.String subs_forwards

subs_backwards

public static java.lang.String subs_backwards

Constructor Detail

ErrorMessages

public ErrorMessages()