模块 aya.base

程序包 org.aya.concrete.remark

类 Literate.Code

java.lang.Object

org.aya.concrete.remark.Literate.Code

所有已实现的接口:

Literate, org.aya.pretty.doc.Docile

封闭接口:

Literate

public static final class Literate.Code
extends Object
implements Literate

嵌套类概要

从接口继承的嵌套类/接口 org.aya.concrete.remark.Literate

Literate.Code, Literate.Err, Literate.Many, Literate.Raw

字段概要

字段

修饰符和类型	字段	说明
@NotNull Expr	expr
final @NotNull CodeOptions	options
@Nullable TyckState	state
ExprTycker.Result	tyckResult

构造器概要

构造器

构造器	说明
Code(@NotNull Expr expr, @NotNull CodeOptions options)

方法概要

修饰符和类型	方法	说明
<P> void	modify(@NotNull Function<Expr,Expr> fixpoint)
@NotNull kala.collection.immutable.ImmutableSeq<TyckOrder>	resolve(@NotNull ResolveInfo info, @NotNull Context context)
@NotNull org.aya.pretty.doc.Doc	toDoc()
void	tyck(@NotNull ExprTycker tycker)
<P> void	visit(@NotNull ExprTraversal<P> consumer, P p)

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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

字段详细资料

expr

@NotNull
public @NotNull Expr expr

tyckResult

@Nullable
public ExprTycker.Result tyckResult

state

@Nullable
public @Nullable TyckState state

options

@NotNull
public final @NotNull CodeOptions options

构造器详细资料

Code

public Code(@NotNull
 @NotNull Expr expr,
 @NotNull
 @NotNull CodeOptions options)

方法详细资料

modify

@Contract(mutates="this")
public <P> void modify(@NotNull
 @NotNull Function<Expr,Expr> fixpoint)

指定者:

modify 在接口中 Literate

visit

public <P> void visit(@NotNull
 @NotNull ExprTraversal<P> consumer,
 P p)

指定者:

visit 在接口中 Literate

tyck

public void tyck(@NotNull
 @NotNull ExprTycker tycker)

指定者:

tyck 在接口中 Literate

resolve

@NotNull
public @NotNull kala.collection.immutable.ImmutableSeq<TyckOrder> resolve(@NotNull
 @NotNull ResolveInfo info,
 @NotNull
 @NotNull Context context)

指定者:

resolve 在接口中 Literate

toDoc

@NotNull
public @NotNull org.aya.pretty.doc.Doc toDoc()

指定者:

toDoc 在接口中 org.aya.pretty.doc.Docile