模块 org.aya

程序包 org.aya.resolve.visitor

Record Class ExprResolver

java.lang.Object

java.lang.Record

org.aya.resolve.visitor.ExprResolver

记录组件：

allowedGeneralizes - will be filled with generalized vars if allowGeneralized, and represents the allowed generalized level vars otherwise

所有已实现的接口:

Expr.Visitor<Context,@NotNull Expr>

public record ExprResolver(@NotNull ExprResolver.Options options, @NotNull kala.collection.mutable.MutableMap<GeneralizedVar,Expr.Param> allowedGeneralizes, @NotNull kala.collection.mutable.MutableList<TyckOrder> reference, @NotNull kala.collection.mutable.MutableStack<org.aya.resolve.visitor.ExprResolver.Where> where, @Nullable Consumer<TyckUnit> parentAdd)
extends Record
implements Expr.Visitor<Context,@NotNull Expr>

Resolves bindings.

另请参阅:

• StmtResolver

Implementation Requirements:

allowedGeneralizes must be linked map

嵌套类概要

嵌套类

修饰符和类型	类	说明
static final record	ExprResolver.Options

字段概要

字段

修饰符和类型	字段	说明
static final @NotNull ExprResolver.Options	LAX
static final @NotNull ExprResolver.Options	RESTRICTIVE

构造器概要

构造器

构造器	说明
ExprResolver(@NotNull ExprResolver.Options options)
ExprResolver(@NotNull ExprResolver.Options options, @NotNull kala.collection.mutable.MutableMap<GeneralizedVar,Expr.Param> allowedGeneralizes, @NotNull kala.collection.mutable.MutableList<TyckOrder> reference, @NotNull kala.collection.mutable.MutableStack<org.aya.resolve.visitor.ExprResolver.Where> where, @Nullable Consumer<TyckUnit> parentAdd)	创建 ExprResolver 记录的实例。

方法概要

修饰符和类型	方法	说明
@NotNull kala.collection.mutable.MutableMap<GeneralizedVar,Expr.Param>	allowedGeneralizes()	返回 allowedGeneralizes 记录组件的值。
@NotNull ExprResolver	body()
void	enterBody()
void	enterHead()
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
final int	hashCode()	返回此对象的哈希代码值。
@NotNull ExprResolver	member(@NotNull TyckUnit decl)
@NotNull ExprResolver.Options	options()	返回 options 记录组件的值。
@Nullable Consumer<TyckUnit>	parentAdd()	返回 parentAdd 记录组件的值。
@NotNull kala.collection.mutable.MutableList<TyckOrder>	reference()	返回 reference 记录组件的值。
@NotNull kala.tuple.Tuple2<kala.collection.SeqView<Expr.Param>,Context>	resolveParams(@NotNull kala.collection.SeqLike<Expr.Param> params, Context ctx)
final String	toString()	返回此记录的字符串表示形式。
@NotNull Expr	visitApp(@NotNull Expr.AppExpr expr, Context p)
@NotNull Expr	visitBinOpSeq(@NotNull Expr.BinOpSeq binOpSeq, Context p)
@NotNull Expr	visitError(@NotNull Expr.ErrorExpr error, Context p)
@NotNull Expr.Field	visitField(@NotNull Expr.Field t, Context context)
@NotNull Expr	visitHole(Expr.HoleExpr expr, Context context)
@NotNull Expr	visitLam(Expr.LamExpr expr, Context ctx)
@NotNull Expr	visitLift(@NotNull Expr.LiftExpr expr, Context p)
@NotNull Expr	visitLitInt(@NotNull Expr.LitIntExpr expr, Context p)
@NotNull Expr	visitLitString(@NotNull Expr.LitStringExpr expr, Context p)
@NotNull Expr	visitMetaPat(@NotNull Expr.MetaPat metaPat, Context p)
@NotNull Expr	visitNew(@NotNull Expr.NewExpr expr, Context p)
@NotNull kala.tuple.Tuple2<Expr.Param,Context>	visitParam(Expr.Param param, Context ctx)
@NotNull kala.collection.immutable.ImmutableSeq<@NotNull Expr.Param>	visitParams(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull Expr.Param> params, Context p)
@NotNull Expr	visitPi(Expr.PiExpr expr, Context ctx)
@NotNull Expr	visitProj(Expr.ProjExpr expr, Context context)
@NotNull Expr	visitRawUniv(@NotNull Expr.RawUnivExpr expr, Context p)
@NotNull Expr	visitRef(@NotNull Expr.RefExpr expr, Context p)
@NotNull Expr	visitSigma(Expr.SigmaExpr expr, Context ctx)
@NotNull Expr	visitTup(@NotNull Expr.TupExpr expr, Context p)
@NotNull Expr	visitUniv(@NotNull Expr.UnivExpr expr, Context p)
@NotNull Expr	visitUnresolved(Expr.UnresolvedExpr expr, Context ctx)
@NotNull kala.collection.mutable.MutableStack<org.aya.resolve.visitor.ExprResolver.Where>	where()	返回 where 记录组件的值。

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

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

从接口继承的方法 org.aya.concrete.Expr.Visitor

traceEntrance, traceExit

字段详细资料

RESTRICTIVE

@NotNull
public static final @NotNull ExprResolver.Options RESTRICTIVE

LAX

@NotNull
public static final @NotNull ExprResolver.Options LAX

构造器详细资料

ExprResolver

public ExprResolver(@NotNull
 @NotNull ExprResolver.Options options)

ExprResolver

public ExprResolver(@NotNull
 @NotNull ExprResolver.Options options,
 @NotNull
 @NotNull kala.collection.mutable.MutableMap<GeneralizedVar,Expr.Param> allowedGeneralizes,
 @NotNull
 @NotNull kala.collection.mutable.MutableList<TyckOrder> reference,
 @NotNull
 @NotNull kala.collection.mutable.MutableStack<org.aya.resolve.visitor.ExprResolver.Where> where,
 @Nullable
 @Nullable Consumer<TyckUnit> parentAdd)

创建 ExprResolver 记录的实例。

参数:

options - options 记录组件的值

allowedGeneralizes - allowedGeneralizes 记录组件的值

reference - reference 记录组件的值

where - where 记录组件的值

parentAdd - parentAdd 记录组件的值

方法详细资料

visitRef

@NotNull
public @NotNull Expr visitRef(@NotNull Expr.RefExpr expr,
 Context p)

指定者:

visitRef 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitParams

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<@NotNull Expr.Param> visitParams(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<@NotNull Expr.Param> params,
 Context p)

visitError

@NotNull
public @NotNull Expr visitError(@NotNull Expr.ErrorExpr error,
 Context p)

指定者:

visitError 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitRawUniv

@NotNull
public @NotNull Expr visitRawUniv(@NotNull Expr.RawUnivExpr expr,
 Context p)

指定者:

visitRawUniv 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitMetaPat

@NotNull
public @NotNull Expr visitMetaPat(@NotNull Expr.MetaPat metaPat,
 Context p)

指定者:

visitMetaPat 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitLift

@NotNull
public @NotNull Expr visitLift(@NotNull Expr.LiftExpr expr,
 Context p)

指定者:

visitLift 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitUniv

@NotNull
public @NotNull Expr visitUniv(@NotNull Expr.UnivExpr expr,
 Context p)

指定者:

visitUniv 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitApp

@NotNull
public @NotNull Expr visitApp(@NotNull Expr.AppExpr expr,
 Context p)

指定者:

visitApp 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitTup

@NotNull
public @NotNull Expr visitTup(@NotNull Expr.TupExpr expr,
 Context p)

指定者:

visitTup 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitNew

@NotNull
public @NotNull Expr visitNew(@NotNull Expr.NewExpr expr,
 Context p)

指定者:

visitNew 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitLitInt

@NotNull
public @NotNull Expr visitLitInt(@NotNull Expr.LitIntExpr expr,
 Context p)

指定者:

visitLitInt 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitLitString

@NotNull
public @NotNull Expr visitLitString(@NotNull Expr.LitStringExpr expr,
 Context p)

指定者:

visitLitString 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitBinOpSeq

@NotNull
public @NotNull Expr visitBinOpSeq(@NotNull Expr.BinOpSeq binOpSeq,
 Context p)

指定者:

visitBinOpSeq 在接口中 Expr.Visitor<Context,@NotNull Expr>

enterHead

public void enterHead()

enterBody

public void enterBody()

member

@NotNull
public @NotNull ExprResolver member(@NotNull
 @NotNull TyckUnit decl)

body

@NotNull
public @NotNull ExprResolver body()

visitUnresolved

@NotNull
public @NotNull Expr visitUnresolved(@NotNull
 Expr.UnresolvedExpr expr,
 Context ctx)

指定者:

visitUnresolved 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitProj

@NotNull
public @NotNull Expr visitProj(@NotNull
 Expr.ProjExpr expr,
 Context context)

指定者:

visitProj 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitParam

@NotNull
public @NotNull kala.tuple.Tuple2<Expr.Param,Context> visitParam(@NotNull
 Expr.Param param,
 Context ctx)

resolveParams

@Contract(pure=true)
@NotNull
public @NotNull kala.tuple.Tuple2<kala.collection.SeqView<Expr.Param>,Context> resolveParams(@NotNull
 @NotNull kala.collection.SeqLike<Expr.Param> params,
 Context ctx)

visitLam

@NotNull
public @NotNull Expr visitLam(@NotNull
 Expr.LamExpr expr,
 Context ctx)

指定者:

visitLam 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitField

public @NotNull Expr.Field visitField(@NotNull Expr.Field t,
 Context context)

visitPi

@NotNull
public @NotNull Expr visitPi(@NotNull
 Expr.PiExpr expr,
 Context ctx)

指定者:

visitPi 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitSigma

@NotNull
public @NotNull Expr visitSigma(@NotNull
 Expr.SigmaExpr expr,
 Context ctx)

指定者:

visitSigma 在接口中 Expr.Visitor<Context,@NotNull Expr>

visitHole

@NotNull
public @NotNull Expr visitHole(@NotNull
 Expr.HoleExpr expr,
 Context context)

指定者:

visitHole 在接口中 Expr.Visitor<Context,@NotNull Expr>

toString

public final String toString()

返回此记录的字符串表示形式。此表示形式包含类型的名称，后跟每个记录组件的名称和值。

指定者:

toString 在类中 Record

返回:

此对象的字符串表示形式

hashCode

public final int hashCode()

返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。

指定者:

hashCode 在类中 Record

返回:

此对象的哈希代码值

equals

public final boolean equals(Object o)

指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类，而且所有记录组件都相等，则这两个对象相等。 此记录中的所有组件都使用 Objects::equals(Object,Object) 进行比较。

指定者:

equals 在类中 Record

参数:

o - 要与之进行比较的对象

返回:

如果此对象与 o 参数相同，则为 true；否则为 false。

options

@NotNull
public @NotNull ExprResolver.Options options()

返回 options 记录组件的值。

返回:

options 记录组件的值

allowedGeneralizes

@NotNull
public @NotNull kala.collection.mutable.MutableMap<GeneralizedVar,Expr.Param> allowedGeneralizes()

返回 allowedGeneralizes 记录组件的值。

返回:

allowedGeneralizes 记录组件的值

reference

@NotNull
public @NotNull kala.collection.mutable.MutableList<TyckOrder> reference()

返回 reference 记录组件的值。

返回:

reference 记录组件的值

where

@NotNull
public @NotNull kala.collection.mutable.MutableStack<org.aya.resolve.visitor.ExprResolver.Where> where()

返回 where 记录组件的值。

返回:

where 记录组件的值

parentAdd

@Nullable
public @Nullable Consumer<TyckUnit> parentAdd()

返回 parentAdd 记录组件的值。

返回:

parentAdd 记录组件的值