Module aya.base

Package org.aya.prettier

Class CorePrettier

java.lang.Object

org.aya.prettier.BasePrettier<Term>

org.aya.prettier.CorePrettier

public class CorePrettier
extends BasePrettier<Term>

It's the pretty printer. Credit after Jon Sterling

See Also:

• ConcretePrettier

Nested Class Summary

Nested classes/interfaces inherited from class org.aya.prettier.BasePrettier

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

Field Summary

Fields inherited from class org.aya.prettier.BasePrettier

CALL, CLAZZ, COMMENT, CON, DATA, ERROR, FN, GENERALIZED, GOAL, KEYWORD, LOCAL_VAR, MEMBER, options, PRIM, WARNING

Constructor Summary

Constructors

Constructor	Description
CorePrettier(@NotNull org.aya.util.prettier.PrettierOptions options)

Method Summary

Modifier and Type	Method	Description
@NotNull org.aya.pretty.doc.Doc	def(@NotNull GenericDef predef)
@NotNull org.aya.pretty.doc.Doc	pat(@NotNull Pat pat, boolean licit, BasePrettier.Outer outer)
@NotNull org.aya.pretty.doc.Doc	pat(@NotNull org.aya.util.Arg<Pat> pat, @NotNull BasePrettier.Outer outer)
@NotNull org.aya.pretty.doc.Doc	term(@NotNull BasePrettier.Outer outer, @NotNull Term preterm)

Methods inherited from class org.aya.prettier.BasePrettier

arg, argDoc, argsDoc, checkParen, chooseStyle, cofib, defVar, formula, linkDef, linkDef, linkIdOf, linkIdOf, linkListLit, linkLit, linkRef, partial, restr, side, varDoc, visitArgsCalls, visitCalls, visitCalls, visitTele, visitTele

Methods inherited from class java.lang.Object

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

Constructor Details

CorePrettier

public CorePrettier(@NotNull
 @NotNull org.aya.util.prettier.PrettierOptions options)

Method Details

term

@NotNull
public @NotNull org.aya.pretty.doc.Doc term(@NotNull
 @NotNull BasePrettier.Outer outer,
 @NotNull
 @NotNull Term preterm)

Specified by:

term in class BasePrettier<Term>

pat

@NotNull
public @NotNull org.aya.pretty.doc.Doc pat(@NotNull
 @NotNull org.aya.util.Arg<Pat> pat,
 @NotNull
 @NotNull BasePrettier.Outer outer)

pat

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

def

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