java.lang.Object
java.lang.Record
org.aya.resolve.visitor.ExprResolver.Options
- 记录组件:
allowLevels- true for signatures, false for bodies
- 封闭类:
ExprResolver
public static record ExprResolver.Options(boolean allowLevels, boolean allowGeneralized)
extends Record
-
构造器概要
构造器 -
方法概要
修饰符和类型方法说明boolean返回allowGeneralized记录组件的值。boolean返回allowLevels记录组件的值。final boolean指示某个其他对象是否“等于”此对象。final inthashCode()返回此对象的哈希代码值。final StringtoString()返回此记录类的字符串表示形式。
-
构造器详细资料
-
Options
public Options(boolean allowLevels, boolean allowGeneralized) 创建Options记录类的实例。- 参数:
allowLevels-allowLevels记录组件的值allowGeneralized-allowGeneralized记录组件的值
-
-
方法详细资料
-
toString
返回此记录类的字符串表示形式。此表示形式包含类的名称,后跟每个记录组件的名称和值。 -
hashCode
public final int hashCode()返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。 -
equals
指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类,而且所有记录组件都相等,则这两个对象相等。 此记录类中的所有组件都使用 '==' 进行比较。 -
allowLevels
public boolean allowLevels()返回allowLevels记录组件的值。- 返回:
allowLevels记录组件的值
-
allowGeneralized
public boolean allowGeneralized()返回allowGeneralized记录组件的值。- 返回:
allowGeneralized记录组件的值
-