Raptor.Help
Class ErrorMessages

java.lang.Object
  Raptor.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	apply_to_prog_line
static java.lang.String	arrow
static java.lang.String	arrow_backwards
static java.lang.String	empty_header
static java.lang.String	empty_line
static java.lang.String	empty_post
static java.lang.String	empty_pre
static java.lang.String	ExistsElim
static java.lang.String	ExistsIntro
static java.lang.String	falsity
static java.lang.String	falsity_forwards
static java.lang.String	first_line_selected
static java.lang.String	forAllArrowElim
static java.lang.String	forAllArrowIntro
static java.lang.String	forAllArrowIntro_backwards
static java.lang.String	forAllArrowSub
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	iff_derived
static java.lang.String	implies_elim
static java.lang.String	instantiate_to_unknown
static java.lang.String	not
static java.lang.String	not_bottom
static java.lang.String	not_followed_by_unknown
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	reflex
static java.lang.String	reflex_2
static java.lang.String	subs_backwards
static java.lang.String	subs_forwards
static java.lang.String	thereExists
static java.lang.String	top
static java.lang.String	truth
static java.lang.String	unknown_help

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 final java.lang.String not_in_scope

See Also:

Constant Field Values

empty_line

public static final java.lang.String empty_line

See Also:

Constant Field Values

empty_post

public static final java.lang.String empty_post

See Also:

Constant Field Values

empty_pre

public static final java.lang.String empty_pre

See Also:

Constant Field Values

empty_header

public static final java.lang.String empty_header

See Also:

Constant Field Values

apply_to_prog_line

public static final java.lang.String apply_to_prog_line

See Also:

Constant Field Values

first_line_selected

public static final java.lang.String first_line_selected

See Also:

Constant Field Values

not_followed_by_unknown

public static java.lang.String not_followed_by_unknown

instantiate_to_unknown

public static java.lang.String instantiate_to_unknown

unknown_help

public static final java.lang.String unknown_help

See Also:

Constant Field Values

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

implies_elim

public static java.lang.String implies_elim

iff

public static java.lang.String iff

iff_backwards

public static java.lang.String iff_backwards

iff_derived

public static java.lang.String iff_derived

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

ExistsIntro

public static java.lang.String ExistsIntro

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

forAllArrowElim

public static java.lang.String forAllArrowElim

forAllArrowSub

public static java.lang.String forAllArrowSub

subs_forwards

public static java.lang.String subs_forwards

subs_backwards

public static java.lang.String subs_backwards

reflex

public static java.lang.String reflex

reflex_2

public static java.lang.String reflex_2

top

public static java.lang.String top

Constructor Detail

ErrorMessages

public ErrorMessages()