模块 aya.base

程序包 org.aya.tyck.env

接口 LocalCtx

所有已知实现类:

MapLocalCtx, SeqLocalCtx

public sealed interface LocalCtx
permits MapLocalCtx, SeqLocalCtx

方法概要

修饰符和类型	方法	说明
default @NotNull MapLocalCtx	deriveMap()
default @NotNull SeqLocalCtx	deriveSeq()
default @NotNull kala.collection.immutable.ImmutableSeq<Term.Param>	extract()
void	extractToLocal(@NotNull kala.collection.mutable.MutableList<Term.Param> dest)
default void	forward(@NotNull LocalCtx dest, @NotNull Term term, @NotNull TyckState state)
default @NotNull kala.tuple.Tuple2<CallTerm.Hole,Term>	freshHole(@NotNull Term type, @NotNull org.aya.util.error.SourcePos sourcePos)
default @NotNull kala.tuple.Tuple2<CallTerm.Hole,Term>	freshHole(@Nullable Term type, @NotNull String name, @NotNull org.aya.util.error.SourcePos sourcePos)
default @NotNull Term	get(@NotNull LocalVar var)
@Nullable Term	getLocal(@NotNull LocalVar var)
boolean	isEmpty()
@Nullable LocalCtx	parent()
default void	put(Term.Param param)
void	put(@NotNull LocalVar var, @NotNull Term term)
void	remove(@NotNull kala.collection.SeqView<LocalVar> vars)
default <T> T	with(Term.Param param, @NotNull Supplier<T> action)
default <T> T	with(@NotNull LocalVar var, @NotNull Term type, @NotNull Supplier<T> action)
default <T> T	withIntervals(@NotNull kala.collection.SeqView<LocalVar> params, @NotNull Supplier<T> action)

方法详细资料

freshHole

@NotNull
default @NotNull kala.tuple.Tuple2<CallTerm.Hole,Term> freshHole(@NotNull
 @NotNull Term type,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

freshHole

@NotNull
default @NotNull kala.tuple.Tuple2<CallTerm.Hole,Term> freshHole(@Nullable
 @Nullable Term type,
 @NotNull
 @NotNull String name,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

with

default <T> T with(@NotNull
 Term.Param param,
 @NotNull
 @NotNull Supplier<T> action)

withIntervals

default <T> T withIntervals(@NotNull
 @NotNull kala.collection.SeqView<LocalVar> params,
 @NotNull
 @NotNull Supplier<T> action)

remove

void remove(@NotNull
 @NotNull kala.collection.SeqView<LocalVar> vars)

forward

default void forward(@NotNull
 @NotNull LocalCtx dest,
 @NotNull
 @NotNull Term term,
 @NotNull
 @NotNull TyckState state)

with

default <T> T with(@NotNull
 @NotNull LocalVar var,
 @NotNull
 @NotNull Term type,
 @NotNull
 @NotNull Supplier<T> action)

extract

@NotNull
default @NotNull kala.collection.immutable.ImmutableSeq<Term.Param> extract()

extractToLocal

@Contract(mutates="param1")
void extractToLocal(@NotNull
 @NotNull kala.collection.mutable.MutableList<Term.Param> dest)

get

@Contract(pure=true)
@NotNull
default @NotNull Term get(@NotNull
 @NotNull LocalVar var)

getLocal

@Contract(pure=true)
@Nullable
@Nullable Term getLocal(@NotNull
 @NotNull LocalVar var)

put

default void put(@NotNull
 Term.Param param)

put

void put(@NotNull
 @NotNull LocalVar var,
 @NotNull
 @NotNull Term term)

isEmpty

boolean isEmpty()

deriveMap

@Contract(" -> new")
@NotNull
default @NotNull MapLocalCtx deriveMap()

deriveSeq

@Contract(" -> new")
@NotNull
default @NotNull SeqLocalCtx deriveSeq()

parent

@Nullable
@Nullable LocalCtx parent()