Module aya.base
Package org.aya.concrete.remark

Class AyaLiterate.AyaInlineCode

java.lang.Object
org.aya.literate.Literate.InlineCode
org.aya.concrete.remark.AyaLiterate.AyaInlineCode
All Implemented Interfaces:
org.aya.literate.Literate, org.aya.pretty.doc.Docile
Enclosing interface:
AyaLiterate
public static final class AyaLiterate.AyaInlineCode extends org.aya.literate.Literate.InlineCode
Aya inline code. For code blocks, see AyaLiterate.AyaVisibleCodeBlock and AyaLiterate.AyaHiddenCodeBlock

  • Nested Class Summary

    Nested classes/interfaces inherited from interface org.aya.literate.Literate

    org.aya.literate.Literate.CodeBlock, org.aya.literate.Literate.HyperLink, org.aya.literate.Literate.Image, org.aya.literate.Literate.InlineCode, org.aya.literate.Literate.List, org.aya.literate.Literate.Many, org.aya.literate.Literate.Math, org.aya.literate.Literate.Raw, org.aya.literate.Literate.Unsupported

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    @Nullable Expr
    expr
     
    final @NotNull CodeOptions
    options
     
    @Nullable Result
    tyckResult
     

    Fields inherited from class org.aya.literate.Literate.InlineCode

    code, sourcePos

  • Constructor Summary

    Constructors
    Constructor
    Description
    AyaInlineCode(@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

    • expr

      @Nullable public @Nullable Expr expr

    • tyckResult

      @Nullable public @Nullable Result tyckResult

    • options

      @NotNull public final @NotNull CodeOptions options

  • Constructor Details

    • AyaInlineCode

      public AyaInlineCode(@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
      Overrides:
      toDoc in class org.aya.literate.Literate.InlineCode