cn.wensiqun.asmsupport.core.utils.jls15_12_2

类 ConversionsPromotionsUtils

java.lang.Object

cn.wensiqun.asmsupport.core.utils.jls15_12_2.ConversionsPromotionsUtils

public class ConversionsPromotionsUtils
extends Object

Support conversions and promotions according chapter 5 of jls.

构造器概要

构造器

构造器和说明
ConversionsPromotionsUtils()

方法概要

方法

限定符和类型	方法和说明
static boolean	checkBoxingConversion(AClass s, AClass t) 5.1.7 Boxing Conversion Boxing conversion converts expressions of primitive type to corresponding expressions of reference type.
static boolean	checkIdentityConversion(AClass from, AClass to) 5.1.1 Identity Conversion A conversion from a type to that same type is permitted for any type.
static boolean	checkMethodInvocatioConversion(AClass s, AClass t)
static boolean	checkNarrowingPrimitiveConversion(AClass from, AClass to) 5.1.3 Narrowing Primitive Conversion 22 specific conversions on primitive types are called the narrowing primitive conversions: short to byte or char char to byte or short int to byte, short, or char long to byte, short, char, or int float to byte, short, char, int, or long double to byte, short, char, int, long, or float
static boolean	checkUnboxingConversion(AClass s, AClass t) 5.1.8 Unboxing Conversion Unboxing conversion converts expressions of reference type to corresponding expressions of primitive type.
static boolean	checkWideningAndNarrowingPrimitiveConversion(AClass from, AClass to) 5.1.4 Widening and Narrowing Primitive Conversion The following conversion combines both widening and narrowing primitive conversions: byte to char First, the byte is converted to an int via widening primitive conversion (§5.1.2), and then the resulting int is converted to a char by narrowing primitive conversion (§5.1.3).
static boolean	checkWideningPrimitiveConversion(AClass from, AClass to) 5.1.2 Widening Primitive Conversion 19 specific conversions on primitive types are called the widening primitive conversions: byte to short, int, long, float, or double short to int, long, float, or double char to int, long, float, or double int to long, float, or double long to float or double float to double
static boolean	checkWideningReferenceConversion(AClass s, AClass t) 5.1.5 Widening Reference Conversion A widening reference conversion exists from any reference type S to any reference type T, provided S is a subtype (§4.10) of T.

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

构造器详细资料

ConversionsPromotionsUtils

public ConversionsPromotionsUtils()

方法详细资料

checkIdentityConversion

public static boolean checkIdentityConversion(AClass from,
                              AClass to)

5.1.1 Identity Conversion

A conversion from a type to that same type is permitted for any type.

This may seem trivial, but it has two practical consequences. First, it is always permitted for an expression to have the desired type to begin with, thus allowing the simply stated rule that every expression is subject to conversion, if only a trivial identity conversion. Second, it implies that it is permitted for a program to include redundant cast operators for the sake of clarity.

参数:

from -

to -

返回:

checkWideningPrimitiveConversion

public static boolean checkWideningPrimitiveConversion(AClass from,
                                       AClass to)

5.1.2 Widening Primitive Conversion 19 specific conversions on primitive types are called the widening primitive conversions:

• byte to short, int, long, float, or double
• short to int, long, float, or double
• char to int, long, float, or double
• int to long, float, or double
• long to float or double
• float to double

参数:

from -

to -

返回:

checkNarrowingPrimitiveConversion

public static boolean checkNarrowingPrimitiveConversion(AClass from,
                                        AClass to)

5.1.3 Narrowing Primitive Conversion

22 specific conversions on primitive types are called the narrowing primitive conversions:

• short to byte or char
• char to byte or short
• int to byte, short, or char
• long to byte, short, char, or int
• float to byte, short, char, int, or long
• double to byte, short, char, int, long, or float

参数:

from -

to -

返回:

checkWideningAndNarrowingPrimitiveConversion

public static boolean checkWideningAndNarrowingPrimitiveConversion(AClass from,
                                                   AClass to)

5.1.4 Widening and Narrowing Primitive Conversion

The following conversion combines both widening and narrowing primitive conversions:

byte to char

First, the byte is converted to an int via widening primitive conversion (§5.1.2), and then the resulting int is converted to a char by narrowing primitive conversion (§5.1.3).

参数:

from -

to -

返回:

checkWideningReferenceConversion

public static boolean checkWideningReferenceConversion(AClass s,
                                       AClass t)

5.1.5 Widening Reference Conversion

A widening reference conversion exists from any reference type S to any reference type T, provided S is a subtype (§4.10) of T.

Widening reference conversions never require a special action at run time and therefore never throw an exception at run time. They consist simply in regarding a reference as having some other type in a manner that can be proved correct at compile time.

参数:

from -

to -

返回:

checkBoxingConversion

public static boolean checkBoxingConversion(AClass s,
                            AClass t)

5.1.7 Boxing Conversion

Boxing conversion converts expressions of primitive type to corresponding expressions of reference type. Specifically, the following nine conversions are called the boxing conversions:

• From type boolean to type Boolean
• From type byte to type Byte
• From type short to type Short
• From type char to type Character
• From type int to type Integer
• From type long to type Long
• From type float to type Float
• From type double to type Double
• From the null type to the null type

参数:

s -

t -

返回:

checkUnboxingConversion

public static boolean checkUnboxingConversion(AClass s,
                              AClass t)

5.1.8 Unboxing Conversion

Unboxing conversion converts expressions of reference type to corresponding expressions of primitive type. Specifically, the following eight conversions are called the unboxing conversions:

• From type Boolean to type boolean
• From type Byte to type byte
• From type Short to type short
• From type Character to type char
• From type Integer to type int
• From type Long to type long
• From type Float to type float
• From type Double to type double

参数:

s -

t -

返回:

checkMethodInvocatioConversion

public static boolean checkMethodInvocatioConversion(AClass s,
                                     AClass t)