模块 aya.base

程序包 org.aya.distill

类 ConcreteDistiller

java.lang.Object

org.aya.distill.BaseDistiller<Expr>

org.aya.distill.ConcreteDistiller

public class ConcreteDistiller
extends BaseDistiller<Expr>

另请参阅:

• CoreDistiller

嵌套类概要

从类继承的嵌套类/接口 org.aya.distill.BaseDistiller

BaseDistiller.Fmt<T extends AyaDocile>, BaseDistiller.Outer

字段概要

从类继承的字段 org.aya.distill.BaseDistiller

CON_CALL, DATA_CALL, FIELD_CALL, FN_CALL, GENERALIZED, KEYWORD, options, PRIM_CALL, STRUCT_CALL

构造器概要

构造器

构造器	说明
ConcreteDistiller(@NotNull org.aya.util.distill.DistillerOptions options)

方法概要

修饰符和类型	方法	说明
@NotNull org.aya.pretty.doc.Doc	decl(@NotNull Decl predecl)
org.aya.pretty.doc.Doc	matchy(@NotNull Pattern.Clause match)
@NotNull org.aya.pretty.doc.Doc	pattern(@NotNull Pattern pattern, BaseDistiller.Outer outer)
@NotNull org.aya.pretty.doc.Doc	stmt(@NotNull Stmt prestmt)
@NotNull org.aya.pretty.doc.Doc	term(@NotNull BaseDistiller.Outer outer, @NotNull Expr prexpr)
org.aya.pretty.doc.Doc	visitBindBlock(@NotNull BindBlock bindBlock)
@NotNull org.aya.pretty.doc.Doc	visitPersonality(Decl.Personality personality)

从类继承的方法 org.aya.distill.BaseDistiller

checkParen, chooseStyle, cofib, cube, defVar, formula, linkDef, linkDef, linkLit, linkRef, partial, restr, side, varDoc, visitArgsCalls, visitCalls, visitCalls, visitTele, visitTele

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

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

构造器详细资料

ConcreteDistiller

public ConcreteDistiller(@NotNull
 @NotNull org.aya.util.distill.DistillerOptions options)

方法详细资料

term

@NotNull
public @NotNull org.aya.pretty.doc.Doc term(@NotNull
 @NotNull BaseDistiller.Outer outer,
 @NotNull
 @NotNull Expr prexpr)

指定者:

term 在类中 BaseDistiller<Expr>

pattern

@NotNull
public @NotNull org.aya.pretty.doc.Doc pattern(@NotNull
 @NotNull Pattern pattern,
 BaseDistiller.Outer outer)

matchy

public org.aya.pretty.doc.Doc matchy(@NotNull Pattern.Clause match)

stmt

@NotNull
public @NotNull org.aya.pretty.doc.Doc stmt(@NotNull
 @NotNull Stmt prestmt)

decl

@NotNull
public @NotNull org.aya.pretty.doc.Doc decl(@NotNull
 @NotNull Decl predecl)

visitPersonality

@NotNull
public @NotNull org.aya.pretty.doc.Doc visitPersonality(@NotNull
 Decl.Personality personality)

visitBindBlock

public org.aya.pretty.doc.Doc visitBindBlock(@NotNull
 @NotNull BindBlock bindBlock)