|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--AssertDemoApp
AssertDemoApp.java Created: Fri Jan 10 16:01:40 2003
Constructor Summary | |
AssertDemoApp()
|
Method Summary | |
static void |
CheckPhoneNumber(java.lang.String n)
Prints n , formatted as a 10-digit phone number,
with the comment that it is a possible phone number. |
static void |
main(java.lang.String[] args)
Driver for AssertDemoApp, demonstrating a failed assertion. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public AssertDemoApp()
Method Detail |
public static void CheckPhoneNumber(java.lang.String n)
n
, formatted as a 10-digit phone number,
with the comment that it is a possible phone number.
pre: n
.length == 10.
post: n
is printed as a 10-digit phone number,
formatted as a phone number,
with the comment that it is a possible phone number.
n
- a 10-digit String
.public static void main(java.lang.String[] args)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |