模块 aya.base

程序包 org.aya.tyck.order

接口 TyckUnit

所有超级接口:

org.aya.util.error.SourceNode

所有已知子接口:

Command, Decl, Stmt

所有已知实现类:

ClassDecl, Command.Import, Command.Module, Command.Open, CommonDecl, Generalize, Remark, TeleDecl, TeleDecl.DataCtor, TeleDecl.DataDecl, TeleDecl.FnDecl, TeleDecl.PrimDecl, TeleDecl.StructDecl, TeleDecl.StructField

public sealed interface TyckUnit
extends org.aya.util.error.SourceNode
permits Decl, Stmt

方法概要

修饰符和类型	方法	说明
boolean	needTyck(@NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)

从接口继承的方法 org.aya.util.error.SourceNode

sourcePos

方法详细资料

needTyck

boolean needTyck(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<String> currentMod)