模块 aya.base

程序包 org.aya.resolve.visitor

接口 StmtResolver

public interface StmtResolver

Resolves expressions inside stmts, after StmtShallowResolver

另请参阅:

• StmtShallowResolver
• ExprResolver

方法概要

静态方法

修饰符和类型	方法	说明
static Context	bindAs(LocalVar as, Context ctx, org.aya.util.error.SourcePos sourcePos)
static @Nullable DefVar<?,?>	findPatternDef(Context context, org.aya.util.error.SourcePos namePos, String name)
static Pattern.Clause	matchy(Pattern.Clause match, @NotNull Context context, @NotNull ExprResolver bodyResolver)
static kala.tuple.Tuple2<Context,Pattern>	resolve(@NotNull Pattern pattern, Context context)
static void	resolveBind(@NotNull kala.collection.SeqLike<@NotNull Stmt> contents, @NotNull ResolveInfo info)
static void	resolveBind(@NotNull Stmt stmt, @NotNull ResolveInfo info)
static void	resolveStmt(@NotNull kala.collection.SeqLike<@NotNull Stmt> stmt, @NotNull ResolveInfo info)
static void	resolveStmt(@NotNull Stmt stmt, @NotNull ResolveInfo info)
static @NotNull Pattern	subpatterns(@NotNull kala.value.MutableValue<Context> ctx, Pattern pat)
static void	visitBind(@NotNull DefVar<?,?> selfDef, @NotNull BindBlock bind, @NotNull ResolveInfo info)

方法详细资料

resolveStmt

static void resolveStmt(@NotNull
 @NotNull kala.collection.SeqLike<@NotNull Stmt> stmt,
 @NotNull
 @NotNull ResolveInfo info)

resolveStmt

static void resolveStmt(@NotNull
 @NotNull Stmt stmt,
 @NotNull
 @NotNull ResolveInfo info)

API Note:

Note that this function MUTATES the stmt if it's a Decl.

visitBind

static void visitBind(@NotNull
 @NotNull DefVar<?,?> selfDef,
 @NotNull
 @NotNull BindBlock bind,
 @NotNull
 @NotNull ResolveInfo info)

resolveBind

static void resolveBind(@NotNull
 @NotNull kala.collection.SeqLike<@NotNull Stmt> contents,
 @NotNull
 @NotNull ResolveInfo info)

resolveBind

static void resolveBind(@NotNull
 @NotNull Stmt stmt,
 @NotNull
 @NotNull ResolveInfo info)

matchy

static Pattern.Clause matchy(@NotNull
 Pattern.Clause match,
 @NotNull
 @NotNull Context context,
 @NotNull
 @NotNull ExprResolver bodyResolver)

subpatterns

@NotNull
static @NotNull Pattern subpatterns(@NotNull
 @NotNull kala.value.MutableValue<Context> ctx,
 Pattern pat)

bindAs

static Context bindAs(LocalVar as,
 Context ctx,
 org.aya.util.error.SourcePos sourcePos)

resolve

static kala.tuple.Tuple2<Context,Pattern> resolve(@NotNull
 @NotNull Pattern pattern,
 Context context)

findPatternDef

@Nullable
static @Nullable DefVar<?,?> findPatternDef(Context context,
 org.aya.util.error.SourcePos namePos,
 String name)