|
|||||||
PREV NEXT | FRAMES NO FRAMES |
value
property is equal to
boolean
.
value
property is equal to
double
.
value
property is equal to
int
.
value
property is equal to the JmlString.
value
property is equal to the java.lang.String.
JmlBoolean
object corresponding to the primitive value false.
value
property as a
boolean
.
value
property as a
double
.
value
property as a
int
.
value
property as a
java.lang.String
.
value
property is "".
boolean
in a Java bean.JmlBoolean
object.
JmlBoolean
object whose value is
boolean
.
JmlBoolean
object whose value is
java.lang.Boolean
.
JmlBoolean
object whose value is taken
from another JmlBoolean
.
JmlBoolean
object whose value is represented by
java.lang.String
.
double
in a Java bean.JmlFPNumber
object.
JmlFPNumber
object whose value is
double
.
JmlFPNumber
object whose value is
java.lang.Double
.
JmlFPNumber
object whose value is
float
.
JmlFPNumber
object whose value is
java.lang.Float
.
JmlFPNumber
object whose value is
int
.
JmlFPNumber
object whose value is
java.lang.Integer
.
JmlFPNumber
object whose value is
JmlFPNumber
.
JmlFPNumber
object whose value is
java.lang.String
.
int
in a Java bean.JmlNumber
object.
JmlNumber
object whose value is
int
.
JmlNumber
object whose value is
java.lang.Integer
.
JmlNumber
object whose value is
JmlNumber
.
JmlNumber
object whose value is
java.lang.String
.
int
in a Java bean.JmlString
object.
JmlString
object whose value is
JmlString
.
JmlString
object whose value is
java.lang.String
.
value
property to the
boolean
.
value
property to the
java.lang.Boolean
.
value
property to the
double
.
value
property to the
java.lang.Double
.
value
property to the
float
.
value
property to the
java.lang.Float
.
value
property to the
int
.
value
property to the
int
.
value
property to the
java.lang.Integer
.
value
property to the
java.lang.Integer
.
value
property to the
JmlBoolean
.
value
property to the
JmlFPNumber
.
value
property to the
JmlNumber
.
value
property to the
JmlString
.
value
property to the
java.lang.String
.
value
property to the
java.lang.String
.
value
property to the
java.lang.String
.
value
property to the
java.lang.String
.
value
property to the
boolean
.
value
property to the
double
.
value
property to the
int
.
value
property to the
java.lang.String
.
value
property as a
java.lang.String
.
value
property as a
java.lang.String
.
value
property as a
java.lang.String
.
JmlBoolean
object corresponding to the primitive value true.
value
property is equal to
java.lang.Boolean
.
value
property is equal to
java.lang.Double
.
value
property is equal to
float
.
value
property is equal to
java.lang.Float
.
value
property is equal to
int
.
value
property is equal to
java.lang.Integer
.
value
property is equal to
java.lang.Integer
.
value
property is equal to
JmlBoolean
.
value
property is equal to
JmlFPNumber
.
value
property is equal to
JmlNumber
.
value
property is equal to
java.lang.String
.
value
property is equal to
java.lang.String
.
value
property is equal to
java.lang.String
.
|
|||||||
PREV NEXT | FRAMES NO FRAMES |