模块 aya.base

程序包 org.aya.distill

类 CoreDistiller

java.lang.Object

org.aya.distill.BaseDistiller<Term>

org.aya.distill.CoreDistiller

public class CoreDistiller
extends BaseDistiller<Term>

It's called distiller, and it serves as the pretty printer. Credit after Jon Sterling

另请参阅:

• ConcreteDistiller

嵌套类概要

从类继承的嵌套类/接口 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

构造器概要

构造器

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

方法概要

修饰符和类型	方法	说明
@NotNull org.aya.pretty.doc.Doc	def(@NotNull GenericDef predef)
@NotNull org.aya.pretty.doc.Doc	pat(@NotNull Pat pat, BaseDistiller.Outer outer)
@NotNull org.aya.pretty.doc.Doc	term(@NotNull BaseDistiller.Outer outer, @NotNull Term preterm)

从类继承的方法 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

构造器详细资料

CoreDistiller

public CoreDistiller(@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 Term preterm)

指定者:

term 在类中 BaseDistiller<Term>

pat

@NotNull
public @NotNull org.aya.pretty.doc.Doc pat(@NotNull
 @NotNull Pat pat,
 BaseDistiller.Outer outer)

def

@NotNull
public @NotNull org.aya.pretty.doc.Doc def(@NotNull
 @NotNull GenericDef predef)