Module aya.base

Package org.aya.concrete.remark

Class Literate.Code

java.lang.Object

org.aya.concrete.remark.Literate.Code

All Implemented Interfaces:

Literate, org.aya.pretty.doc.Docile

Enclosing interface:

Literate

public static final class Literate.Code
extends Object
implements Literate

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.concrete.remark.Literate

Literate.Code, Literate.CodeBlock, Literate.Err, Literate.Link, Literate.Many, Literate.Raw, Literate.Unsupported

Field Summary

Fields

Modifier and Type	Field	Description
final @NotNull String	code
@Nullable Expr	expr
final @NotNull CodeOptions	options
final @NotNull org.aya.util.error.SourcePos	sourcePos
ExprTycker.Result	tyckResult

Constructor Summary

Constructors

Constructor	Description
Code(@NotNull String code, @NotNull org.aya.util.error.SourcePos sourcePos, @NotNull CodeOptions options)

Method Summary

Modifier and Type	Method	Description
@NotNull org.aya.pretty.doc.Doc	toDoc()

Methods inherited from class java.lang.Object

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

Field Details

code

@NotNull
public final @NotNull String code

sourcePos

@NotNull
public final @NotNull org.aya.util.error.SourcePos sourcePos

expr

@Nullable
public @Nullable Expr expr

tyckResult

@Nullable
public ExprTycker.Result tyckResult

options

@NotNull
public final @NotNull CodeOptions options

Constructor Details

Code

public Code(@NotNull
 @NotNull String code,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull CodeOptions options)

Method Details

toDoc

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

Specified by:

toDoc in interface org.aya.pretty.doc.Docile