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
    @HotSpotIntrinsicCandidate() @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 folddoc(ds: Seq[Doc], f: (Doc, Doc) ⇒ Doc): Doc

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

    Permalink

    Format a type.

  41. def format(t: SValue): Document

    Permalink

    Format a lambda expression.

  42. def formattedLayout(t: SType): String

    Permalink

    The layout from formatting a type.

  43. def formattedLayout(t: SValue): String

    Permalink

    The layout from formatting a lambda expression.

  44. def forwslash: Doc

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

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  46. def group(d: Doc): Doc

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  48. def hash: Doc

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

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  50. def hcat(ds: Seq[Doc]): Doc

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

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

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

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

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

    Permalink
    Definition Classes
    Any
  56. def langle: Doc

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  58. def lbrace: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  59. def lbracket: Doc

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

    Permalink
    Definition Classes
    PrettyPrinter
  61. def line: Doc

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

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

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

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  67. def lparen: Doc

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

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  71. def minus: Doc

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  76. final def notifyAll(): Unit

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

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

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  81. def percent: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  82. def plus: Doc

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

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

    Permalink
    Definition Classes
    PrettyPrinter
  85. def question: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  86. def rangle: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  87. def rbrace: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  88. def rbracket: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  89. def rparen: Doc

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

    Permalink
    Definition Classes
    PrettyPrinter
  91. def semi: Doc

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  94. def softbreak: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  95. def softline: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  96. def space: Doc

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  98. def squote: Doc

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

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

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

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

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

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

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

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

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

    Permalink

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

  108. def toString(): String

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

    Permalink

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

  110. def typedeclToDoc(t: SType): Doc

    Permalink

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

  111. def underscore: Doc

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  114. def verticalbar: Doc

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  117. final def wait(arg0: Long, arg1: Int): Unit

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  119. final def wait(): Unit

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

    Permalink
    Definition Classes
    PrettyPrinterBase

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from PrettyPrinter

Inherited from PrettyPrinterBase

Inherited from AnyRef

Inherited from Any

Ungrouped