|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary |
| Class | Description |
|---|---|
| JmlBoolean | JmlBoolean wraps the primitive type boolean in a Java bean. |
| JmlFPNumber | JmlFPNumber wraps the primitive type double in a Java bean. |
| JmlNumber | JmlNumber wraps the primitive type int in a Java bean. |
| JmlString | JmlString wraps the primitive type int in a Java bean. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||