Class

at.logic.gapt.proofs.expansion

ExpansionTreePrettyPrinter

Related Doc: package expansion

Permalink

class ExpansionTreePrettyPrinter extends BabelExporter

Source
pretty.scala
Linear Supertypes
BabelExporter, PrettyPrinter, PrettyPrinterBase, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ExpansionTreePrettyPrinter
  2. BabelExporter
  3. PrettyPrinter
  4. PrettyPrinterBase
  5. AnyRef
  6. Any
Implicitly
  1. by anyToPrettyPrintable
  2. by any2stringadd
  3. by StringFormat
  4. by Ensuring
  5. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ExpansionTreePrettyPrinter(sig: BabelSignature)

    Permalink

Type Members

  1. class Doc extends ((org.kiama.output.PrettyPrinter.Indent, org.kiama.output.PrettyPrinter.Width)) ⇒ ((Int, Queue[(Int, (Boolean) ⇒ ((Int) ⇒ Trampoline[Seq[String]]) ⇒ Trampoline[(Int) ⇒ Trampoline[Seq[String]]])]) ⇒ Trampoline[(Int) ⇒ Trampoline[Seq[String]]]) ⇒ Trampoline[(Int, Queue[(Int, (Boolean) ⇒ ((Int) ⇒ Trampoline[Seq[String]]) ⇒ Trampoline[(Int) ⇒ Trampoline[Seq[String]]])]) ⇒ Trampoline[(Int) ⇒ Trampoline[Seq[String]]]] with org.kiama.output.PrettyPrinter.DocOps

    Permalink
    Definition Classes
    PrettyPrinter
  2. trait DocOps extends AnyRef

    Permalink
    Definition Classes
    PrettyPrinterBase
  3. type Indent = Int

    Permalink
    Definition Classes
    PrettyPrinterBase
  4. type Layout = String

    Permalink
    Definition Classes
    PrettyPrinterBase
  5. trait PrettyPrintable extends AnyRef

    Permalink
    Definition Classes
    PrettyPrinterBase
  6. type Width = Int

    Permalink
    Definition Classes
    PrettyPrinterBase

Value Members

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExpansionTreePrettyPrinter to any2stringadd[ExpansionTreePrettyPrinter] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (ExpansionTreePrettyPrinter, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExpansionTreePrettyPrinter to ArrowAssoc[ExpansionTreePrettyPrinter] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  6. def addPol(doc: Doc, pol: Boolean): Doc

    Permalink
  7. def align(d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  8. def ampersand: Doc

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  11. implicit def anyToPrettyPrintable(a: Any): PrettyPrintable

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

    Permalink
    Definition Classes
    Any
  13. val asciiUnquotName: Regex

    Permalink
    Definition Classes
    BabelExporter
  14. def asterisk: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  15. def atsign: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  16. def backquote: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  17. def backslash: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  18. def braces(d: Doc): Doc

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  20. def caret: Doc

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

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

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

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

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  27. val defaultIndent: Int

    Permalink
    Definition Classes
    BabelExporter → PrettyPrinterBase
  28. val defaultWidth: Int

    Permalink
    Definition Classes
    PrettyPrinterBase
  29. def dollar: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  30. def dot: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  31. def dquote: Doc

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  33. def empty: Doc

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  35. def ensuring(cond: (ExpansionTreePrettyPrinter) ⇒ Boolean, msg: ⇒ Any): ExpansionTreePrettyPrinter

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExpansionTreePrettyPrinter to Ensuring[ExpansionTreePrettyPrinter] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  36. def ensuring(cond: (ExpansionTreePrettyPrinter) ⇒ Boolean): ExpansionTreePrettyPrinter

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExpansionTreePrettyPrinter to Ensuring[ExpansionTreePrettyPrinter] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  37. def ensuring(cond: Boolean, msg: ⇒ Any): ExpansionTreePrettyPrinter

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExpansionTreePrettyPrinter to Ensuring[ExpansionTreePrettyPrinter] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  38. def ensuring(cond: Boolean): ExpansionTreePrettyPrinter

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExpansionTreePrettyPrinter to Ensuring[ExpansionTreePrettyPrinter] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  39. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  40. def equal: Doc

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  43. def export(et: ExpansionTree): String

    Permalink
  44. def export(expr: LambdaExpression): String

    Permalink
    Definition Classes
    BabelExporter
  45. def fillcat(ds: Seq[Doc]): Doc

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

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

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  50. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExpansionTreePrettyPrinter to StringFormat[ExpansionTreePrettyPrinter] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  51. def forwslash: Doc

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

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  55. def hash: Doc

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

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

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

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  61. val infixRel: Set[String]

    Permalink
    Definition Classes
    BabelExporter
  62. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  63. def knownConstantTypesFromSig(consts: Iterable[Const]): Iterable[(String, Const)]

    Permalink
    Definition Classes
    BabelExporter
  64. def langle: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  65. def lbrace: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  66. def lbracket: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  67. def line: Doc

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

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  71. val logicalConstName: Set[String]

    Permalink
    Definition Classes
    BabelExporter
  72. def lparen: Doc

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

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  76. def minus: Doc

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

    Permalink
    Definition Classes
    AnyRef
  78. def nest(doc: Doc, j: Indent = defaultIndent): Doc

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

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

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

    Permalink
    Definition Classes
    AnyRef
  82. def padto(p: Int, d: Doc): Doc

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  84. def parenIf(enclosingPrio: Int, currentPrio: Int, doc: Doc): Doc

    Permalink
    Definition Classes
    BabelExporter
  85. def parens(d: Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  86. def percent: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  87. def plist(l: List[PrettyPrintable], prefix: String, elemToDoc: (PrettyPrintable) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  88. def plus: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  89. def pretty(d: Doc, w: Width): Layout

    Permalink
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  90. def pretty(p: PrettyPrintable): Layout

    Permalink
    Definition Classes
    PrettyPrinterBase
  91. def pretty_any(a: Any): Layout

    Permalink
    Definition Classes
    PrettyPrinterBase
  92. object prio

    Permalink
    Definition Classes
    BabelExporter
  93. def pseq(l: Seq[PrettyPrintable], prefix: String, elemToDoc: (PrettyPrintable) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  94. def question: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  95. def rangle: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  96. def rbrace: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  97. def rbracket: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  98. def rparen: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  99. val safeChars: Regex

    Permalink
    Definition Classes
    BabelExporter
  100. def semi: Doc

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  103. def show(et: ExpansionTree, t0: Map[String, LambdaExpression], p: Int): (Doc, Map[String, LambdaExpression])

    Permalink
  104. def show(ty: Ty, needParens: Boolean): Doc

    Permalink
    Definition Classes
    BabelExporter
  105. def show(expr: LambdaExpression, knownType: Boolean, bound: Set[String], t0: Map[String, LambdaExpression], p: Int): (Doc, Map[String, LambdaExpression])

    Permalink

    Converts a lambda expression into a document.

    Converts a lambda expression into a document.

    At every point in the conversion, we keep track of:

    1. Whether the parser will already know the type of this expression (by inference)
    2. What type the free identifiers have.
    3. What priority the enclosing operator has.
    expr

    The lambda expression to convert.

    knownType

    Whether we already know the type of this expression.

    bound

    Names bound by enclosing binders.

    t0

    Already used free identifiers, together with the variable or constant they represent.

    p

    The priority of the enclosing operator.

    returns

    Pretty-printed document and the free identifiers.

    Definition Classes
    BabelExporter
  106. def showApps(expr: LambdaExpression, knownType: Boolean, bound: Set[String], t0: Map[String, LambdaExpression], p: Int): (Doc, Map[String, LambdaExpression])

    Permalink
    Definition Classes
    BabelExporter
  107. def showBin(sym: String, prio: Int, leftPrioBias: Int, rightPrioBias: Int, a: LambdaExpression, b: LambdaExpression, knownType: Boolean, bound: Set[String], t0: Map[String, LambdaExpression], p: Int): (Doc, Map[String, LambdaExpression])

    Permalink
    Definition Classes
    BabelExporter
  108. def showBinOp(c: Const, prio: Int, leftPrioBias: Int, rightPrioBias: Int, a: LambdaExpression, b: LambdaExpression, knownType: Boolean, bound: Set[String], t0: Map[String, LambdaExpression], p: Int): (Doc, Map[String, LambdaExpression])

    Permalink
    Definition Classes
    BabelExporter
  109. def showName(name: String): Doc

    Permalink
    Definition Classes
    BabelExporter
  110. def showQuant(sym: String, v: Var, e: LambdaExpression, bound: Set[String], t0: Map[String, LambdaExpression], p: Int): (Doc, Map[String, LambdaExpression])

    Permalink
    Definition Classes
    BabelExporter
  111. def softbreak: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  112. def softline: Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
  113. def space: Doc

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  115. def squote: Doc

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  124. def toDoc: org.kiama.output.PrettyPrinter.Doc

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExpansionTreePrettyPrinter to org.kiama.output.PrettyPrinter.PrettyPrintable performed by method anyToPrettyPrintable in org.kiama.output.PrettyPrinterBase.
    Definition Classes
    PrettyPrintable
  125. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  126. def underscore: Doc

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  129. def verticalbar: Doc

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

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

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

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

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

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

    Permalink
    Definition Classes
    PrettyPrinterBase
  136. def [B](y: B): (ExpansionTreePrettyPrinter, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from ExpansionTreePrettyPrinter to ArrowAssoc[ExpansionTreePrettyPrinter] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Deprecated Value Members

  1. def product(p: Any): Doc

    Permalink
    Definition Classes
    PrettyPrinterBase
    Annotations
    @deprecated
    Deprecated

    (Since version 1.2.1) Use PrettyPrinter.any instead.

Inherited from BabelExporter

Inherited from PrettyPrinter

Inherited from PrettyPrinterBase

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion anyToPrettyPrintable from ExpansionTreePrettyPrinter to org.kiama.output.PrettyPrinter.PrettyPrintable

Inherited by implicit conversion any2stringadd from ExpansionTreePrettyPrinter to any2stringadd[ExpansionTreePrettyPrinter]

Inherited by implicit conversion StringFormat from ExpansionTreePrettyPrinter to StringFormat[ExpansionTreePrettyPrinter]

Inherited by implicit conversion Ensuring from ExpansionTreePrettyPrinter to Ensuring[ExpansionTreePrettyPrinter]

Inherited by implicit conversion ArrowAssoc from ExpansionTreePrettyPrinter to ArrowAssoc[ExpansionTreePrettyPrinter]

Ungrouped