Packages

c

info.kwarc.mmt.api.utils

HTMLBuilder

class HTMLBuilder extends HTML

collects HTML in a String

Source
HTML.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. HTMLBuilder
  2. HTML
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new HTMLBuilder()

Type Members

  1. class Element extends AnyRef

    Most HTML tags inherit from this class

    Most HTML tags inherit from this class

    Definition Classes
    HTML

Value Members

  1. object JS

    creates a javascript function application

    creates a javascript function application

    Definition Classes
    HTML
  2. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  3. final def ##(): Int
    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. def a(ref: String)(body: ⇒ Unit): Unit

    anchor element

    anchor element

    Definition Classes
    HTML
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. val body: Element
    Definition Classes
    HTML
  8. def br: Unit

    br element

    br element

    Definition Classes
    HTML
  9. val button: Element
    Definition Classes
    HTML
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  11. val code: Element
    Definition Classes
    HTML
  12. def css(src: String): Unit

    produces a link tag for a css file

    produces a link tag for a css file

    src

    the href attribute (i.e., the css file)

    Definition Classes
    HTML
  13. val div: Element
    Definition Classes
    HTML
  14. def embed(src: String): Unit

    embed element

    embed element

    Definition Classes
    HTML
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  17. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  18. def form(action: String = "", cls: String = "", id: String = "", title: String = "", onclick: String = "", attributes: List[(String, String)] = Nil)(body: ⇒ Unit): Unit
    Definition Classes
    HTML
  19. def freshid: String

    returns

    a fresh id

    Definition Classes
    HTML
  20. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. val h1: Element
    Definition Classes
    HTML
  22. val h2: Element
    Definition Classes
    HTML
  23. val h3: Element
    Definition Classes
    HTML
  24. val h4: Element
    Definition Classes
    HTML
  25. val h5: Element
    Definition Classes
    HTML
  26. val h6: Element
    Definition Classes
    HTML
  27. val h7: Element
    Definition Classes
    HTML
  28. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  29. val head: Element
    Definition Classes
    HTML
  30. val html: Element
    Definition Classes
    HTML
  31. def htmlobject(ref: String, tp: String): Unit

    object element

    object element

    Definition Classes
    HTML
  32. def iframe(src: String): Unit

    iframe element

    iframe element

    Definition Classes
    HTML
  33. def img(src: String): Unit

    img element

    img element

    Definition Classes
    HTML
  34. def input(itype: String = "", name: String = "", value: String = "", cls: String = "", id: String = "", title: String = "", onclick: String = "", attributes: List[(String, String)] = Nil)(body: ⇒ Unit): Unit
    Definition Classes
    HTML
  35. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  36. def javascript(src: String): Unit

    produces a script element for a javascript file

    produces a script element for a javascript file

    src

    the src attribute (i.e., the javascript file)

    Definition Classes
    HTML
  37. val li: Element
    Definition Classes
    HTML
  38. def literal(n: Node): Unit

    outputs as is

    outputs as is

    Definition Classes
    HTML
  39. def literal(s: String): Unit

    outputs as is

    outputs as is

    Definition Classes
    HTML
  40. val math: Element
    Definition Classes
    HTML
  41. val merror: Element
    Definition Classes
    HTML
  42. val mfrac: Element
    Definition Classes
    HTML
  43. val mglyph: Element
    Definition Classes
    HTML
  44. val mi: Element
    Definition Classes
    HTML
  45. val mlabel: Element
    Definition Classes
    HTML
  46. val mn: Element
    Definition Classes
    HTML
  47. val mo: Element
    Definition Classes
    HTML
  48. val mover: Element
    Definition Classes
    HTML
  49. val mphantom: Element
    Definition Classes
    HTML
  50. val mroot: Element
    Definition Classes
    HTML
  51. val mrow: Element
    Definition Classes
    HTML
  52. val msqrt: Element
    Definition Classes
    HTML
  53. val msub: Element
    Definition Classes
    HTML
  54. val msubsup: Element
    Definition Classes
    HTML
  55. val msup: Element
    Definition Classes
    HTML
  56. val mtext: Element
    Definition Classes
    HTML
  57. val munder: Element
    Definition Classes
    HTML
  58. val munderover: Element
    Definition Classes
    HTML
  59. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  60. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  61. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  62. val ol: Element
    Definition Classes
    HTML
  63. def option(value: String = "", cls: String = "", id: String = "", title: String = "", onclick: String = "", attributes: List[(String, String)] = Nil)(body: ⇒ Unit): Unit
    Definition Classes
    HTML
  64. def out(s: String): Unit

    continuation function called on the text snippets making up the HTML document

    continuation function called on the text snippets making up the HTML document

    Definition Classes
    HTMLBuilderHTML
  65. val p: Element
    Definition Classes
    HTML
  66. val pre: Element
    Definition Classes
    HTML
  67. def reset: Unit
  68. def result: String
  69. def select(name: String, cls: String = "", id: String = "", title: String = "", onclick: String = "", attributes: List[(String, String)] = Nil)(body: ⇒ Unit): Unit
    Definition Classes
    HTML
  70. val span: Element
    Definition Classes
    HTML
  71. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  72. val table: Element
    Definition Classes
    HTML
  73. val tbody: Element
    Definition Classes
    HTML
  74. val td: Element
    Definition Classes
    HTML
  75. def text(s: String): Unit

    text node

    text node

    Definition Classes
    HTML
  76. val th: Element
    Definition Classes
    HTML
  77. val thead: Element
    Definition Classes
    HTML
  78. def toString(): String
    Definition Classes
    AnyRef → Any
  79. val tr: Element
    Definition Classes
    HTML
  80. val ul: Element
    Definition Classes
    HTML
  81. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  82. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  83. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from HTML

Inherited from AnyRef

Inherited from Any

Ungrouped