fmrisc.Proving
Class AnswerBase

java.lang.Object
  fmrisc.Proving.AnswerBase

All Implemented Interfaces:

Answer

Direct Known Subclasses:

InvalidAnswer, UnknownAnswer, ValidAnswer

public abstract class AnswerBase
extends java.lang.Object
implements Answer

Base class of prover answers.

Constructor Summary

AnswerBase(java.lang.String justification)
Create answer with denoted justification.

Method Summary

java.lang.String

getJustification() Return justification of answer suitable for printing.

Methods inherited from class java.lang.Object

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

Constructor Detail

AnswerBase

public AnswerBase(java.lang.String justification)

Create answer with denoted justification.

Parameters:

justification - of answer.

Method Detail

getJustification

public java.lang.String getJustification()

Return justification of answer suitable for printing.

Specified by:

getJustification in interface Answer

Returns:

textual justification of answer