Class/Object

sigmastate.lang

SigmaPrinter

Related Docs: object SigmaPrinter | package lang

Permalink

class SigmaPrinter extends PrettyPrinter

Sigma pretty printing.

Linear Supertypes
PrettyPrinter, PrettyPrinterBase, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SigmaPrinter
  2. PrettyPrinter
  3. PrettyPrinterBase
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SigmaPrinter()

    Permalink

Type Members

  1. type Buffer = Seq[Entry]

    Permalink
    Definition Classes
    PrettyPrinter
  2. class Doc extends DocCont with org.bitbucket.inkytonik.kiama.output.PrettyPrinter.DocOps

    Permalink
    Definition Classes
    PrettyPrinter
  3. type DocCont = (IW) ⇒ (TreeCont) ⇒ Trampoline[TreeCont]

    Permalink
    Definition Classes
    PrettyPrinter
  4. trait DocOps extends AnyRef

    Permalink
    Definition Classes
    PrettyPrinterBase
  5. type Dq = Queue[(PPosition, OutGroup)]

    Permalink
    Definition Classes
    PrettyPrinter
  6. type Effect = (Buffer) ⇒ Buffer

    Permalink
    Definition Classes
    PrettyPrinter
  7. sealed abstract class Entry extends AnyRef

    Permalink
    Definition Classes
    PrettyPrinter
  8. case class Finish extends Entry with Product with Serializable

    Permalink
    Definition Classes
    PrettyPrinter
  9. type Horizontal = Boolean

    Permalink
    Definition Classes
    PrettyPrinter
  10. type IW = (Indent, Width)

    Permalink
    Definition Classes
    PrettyPrinter
  11. type Out = (Remaining) ⇒ Trampoline[Buffer]

    Permalink
    Definition Classes
    PrettyPrinter
  12. type OutGroup = (Horizontal) ⇒ (Out) ⇒ Trampoline[Out]

    Permalink
    Definition Classes
    PrettyPrinter
  13. type PPosition = Int

    Permalink
    Definition Classes
    PrettyPrinter
  14. type Remaining = Int

    Permalink
    Definition Classes
    PrettyPrinter
  15. case class Start extends Entry with Product with Serializable

    Permalink
    Definition Classes
    PrettyPrinter
  16. case class Text extends Entry with Product with Serializable

    Permalink
    Definition Classes
    PrettyPrinter
  17. type TreeCont = (PPosition, Dq) ⇒ Trampoline[Out]

    Permalink
    Definition Classes
    PrettyPrinter

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def align(d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  5. def ampersand: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  6. def angles(d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  7. def any(a: Any): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  8. def arguments[T](l: Seq[T], elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  9. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  10. def asterisk: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  11. def atsign: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  12. def backquote: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  13. def backslash: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  14. def binToDoc(l: SValue, op: String, r: SValue): Doc

    Permalink

    Return a pretty-printing document for an instance of a binary expression.

  15. def braces(d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  16. def brackets(d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  17. def caret: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  18. def cat(ds: Seq[Doc]): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  19. implicit def char(c: Char): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  20. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  21. def colon: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  22. def column(f: (Int) ⇒ Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  23. def comma: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  24. val defaultIndent: Int

    Permalink
    Definition Classes
    PrettyPrinterBase
  25. val defaultWidth: Int

    Permalink
    Definition Classes
    PrettyPrinterBase
  26. def dollar: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  27. def dot: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  28. def dquote: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  29. def dquotes(d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  30. def emptyDoc: Doc

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  31. def enclose(l: Doc, d: Doc, r: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  32. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  33. def equal: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  34. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  35. def exclamation: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  36. def fillcat(ds: Seq[Doc]): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  37. def fillsep(ds: Seq[Doc], sep: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  38. def fillsep(ds: Seq[Doc]): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  39. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  40. def folddoc(ds: Seq[Doc], f: (Doc, Doc) ⇒ Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  41. def format(t: SType): Document

    Permalink

    Format a type.

  42. def format(t: SValue): Document

    Permalink

    Format a lambda expression.

  43. def formattedLayout(t: SType): String

    Permalink

    The layout from formatting a type.

  44. def formattedLayout(t: SValue): String

    Permalink

    The layout from formatting a lambda expression.

  45. def forwslash: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  46. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  47. def group(d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  48. def hang(d: Doc, i: Indent): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  49. def hash: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  50. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  51. def hcat(ds: Seq[Doc]): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  52. def hsep(ds: Seq[Doc], sep: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  53. def hsep(ds: Seq[Doc]): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  54. def indent(d: Doc, i: Indent): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  55. def insert(len: Int, entry: Entry): Doc

    Permalink
    Definition Classes
    PrettyPrinter
  56. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  57. def langle: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  58. def layout(d: Doc, w: Width): Layout

    Permalink
    Definition Classes
    PrettyPrinterBase
  59. def lbrace: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  60. def lbracket: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  61. def leave(c: TreeCont): TreeCont

    Permalink
    Definition Classes
    PrettyPrinter
  62. def line: Doc

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  63. def line(repl: Layout): Doc

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  64. def linebreak: Doc

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  65. def link(n: AnyRef, d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  66. def links(d: Doc, w: Width): Links

    Permalink
    Definition Classes
    PrettyPrinterBase
  67. def list[T](l: List[T], prefix: String, elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  68. def lparen: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  69. def lsep(ds: Seq[Doc], sep: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  70. def lsep2(ds: Seq[Doc], sep: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  71. def lterm(ds: Seq[Doc], term: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  72. def minus: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  73. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  74. def nest(d: Doc, j: Indent): Doc

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  75. def nesting(f: (Int) ⇒ Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  76. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  77. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  78. def output(o: Out, r: Int, entry: Entry): More[Buffer]

    Permalink
    Definition Classes
    PrettyPrinter
  79. def padto(p: Int, d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  80. def padtobreak(p: Int, d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  81. def parens(d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  82. def percent: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  83. def plus: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  84. def pretty(d: Doc, w: Width): Document

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  85. def prune(c1: TreeCont): TreeCont

    Permalink
    Definition Classes
    PrettyPrinter
  86. def question: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  87. def rangle: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  88. def rbrace: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  89. def rbracket: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  90. def rparen: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  91. def scan(l: Width, out: OutGroup)(c: TreeCont): Trampoline[TreeCont]

    Permalink
    Definition Classes
    PrettyPrinter
  92. def semi: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  93. def sep(ds: Seq[Doc]): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  94. def seq[T](l: Seq[T], prefix: String, elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  95. def softbreak: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  96. def softline: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  97. def space: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  98. def spaces(n: Int): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  99. def squote: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  100. def squotes(d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  101. def ssep(ds: Seq[Doc], sep: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  102. def sterm(ds: Seq[Doc], term: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  103. def string(s: String): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  104. def surround(d: Doc, b: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  105. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  106. implicit def text(t: String): Doc

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  107. def tilde: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  108. def toDoc(t: SValue): Doc

    Permalink

    Convert an expression node to a pretty-printing document in fully-parenthesised style.

  109. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  110. def typeToDoc(t: SType): Doc

    Permalink

    Return a pretty-printing document for an instance of a type.

  111. def typedeclToDoc(t: SType): Doc

    Permalink

    Return a pretty-printing document for an instance of a type declaration.

  112. def underscore: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  113. def value(v: Any): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  114. def vcat(ds: Seq[Doc]): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  115. def verticalbar: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  116. def vsep(ds: Seq[Doc], sep: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  117. def vsep(ds: Seq[Doc]): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  118. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  119. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  120. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  121. def width(d: Doc, f: (Int) ⇒ Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase

Inherited from PrettyPrinter

Inherited from PrettyPrinterBase

Inherited from AnyRef

Inherited from Any

Ungrouped