Abstract

Semantic Functions In this section we define a set of abstract semantic functions. The precise semantics of these functions is not considered any further in this specification of the Java Virtual Machine semantics. The following total semantic functions are used for truncating values of type Int to `smaller' Java types: i2z; i2b; i2c; i2s : Int ! Int The above functions truncate their Int operands to values suitable for a Java variable of type boolean, byte, char, and short, respectively. Note that these `small integer' types are not used in the operand stack and local variables of the Java Virtual Machine; all values of the smaller types are represented as Int values, except when they are stored in arrays (cf. rule 20 ff). These total semantic functions are used for converting between and truncating values of (abstract) numeric types: i2l : Int ! Long i2f : Int ! Float i2d : Int ! Double l2i : Long ! Int l2f : Long ! Float l2d : Long ! Double f2i : Float ! Int f2l : Float ! Lon...

Citations

1023	The Java Virtual Machine Specification - Lindholm, Yellin - 1996
8	Fortran D Language Specification - al - 1990