|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectmonitor.Assertion
monitor.True_Assertion
public class True_Assertion
An assertion that is always true.
| Field Summary | |
|---|---|
static True_Assertion |
singleton
|
| Fields inherited from class monitor.Assertion |
|---|
message |
| Constructor Summary | |
|---|---|
True_Assertion()
|
|
| Method Summary | |
|---|---|
boolean |
isTrue()
Returns true. |
| Methods inherited from class monitor.Assertion |
|---|
check, check, check |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final True_Assertion singleton
| Constructor Detail |
|---|
public True_Assertion()
| Method Detail |
|---|
public boolean isTrue()
isTrue in class Assertion
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||