Inheritance diagram for Failure::

Public Methods | |
| void | toStringBuffer (String indentation, StringBuffer buffer) |
Private Methods | |
| Failure (String cause) | |
Private Attributes | |
| String | cause |
Definition at line 289 of file LogicTree.java.
|
|
Construct a failure indicator. Definition at line 302 of file LogicTree.java. 00303 {
00304 this.cause = cause;
00305 }
|
|
|
Put the tree's representation into a StringBuffer. Reimplemented from LogicTree. Definition at line 307 of file LogicTree.java. 00308 {
00309 buffer.append(indentation);
00310 buffer.append("*** error: " + cause);
00311 buffer.append("\n");
00312 }
|
|
|
description of the cause of failure Definition at line 295 of file LogicTree.java. |
1.2.6 written by Dimitri van Heesch,
© 1997-2001