Packages

c

info.kwarc.mmt.api.utils

HTMLFileWriter

class HTMLFileWriter extends HTML

collects HTML in a file

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

Instance Constructors

  1. new HTMLFileWriter(f: File)

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. def close: Unit
  12. val code: Element
    Definition Classes
    HTML
  13. 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
  14. val div: Element
    Definition Classes
    HTML
  15. def embed(src: String): Unit

    embed element

    embed element

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

    returns

    a fresh id

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

    object element

    object element

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

    iframe element

    iframe element

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

    img element

    img element

    Definition Classes
    HTML
  35. 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
  36. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  37. 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
  38. val li: Element
    Definition Classes
    HTML
  39. def literal(n: Node): Unit

    outputs as is

    outputs as is

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

    outputs as is

    outputs as is

    Definition Classes
    HTML
  41. val math: Element
    Definition Classes
    HTML
  42. val merror: Element
    Definition Classes
    HTML
  43. val mfrac: Element
    Definition Classes
    HTML
  44. val mglyph: Element
    Definition Classes
    HTML
  45. val mi: Element
    Definition Classes
    HTML
  46. val mlabel: Element
    Definition Classes
    HTML
  47. val mn: Element
    Definition Classes
    HTML
  48. val mo: Element
    Definition Classes
    HTML
  49. val mover: Element
    Definition Classes
    HTML
  50. val mphantom: Element
    Definition Classes
    HTML
  51. val mroot: Element
    Definition Classes
    HTML
  52. val mrow: Element
    Definition Classes
    HTML
  53. val msqrt: Element
    Definition Classes
    HTML
  54. val msub: Element
    Definition Classes
    HTML
  55. val msubsup: Element
    Definition Classes
    HTML
  56. val msup: Element
    Definition Classes
    HTML
  57. val mtext: Element
    Definition Classes
    HTML
  58. val munder: Element
    Definition Classes
    HTML
  59. val munderover: Element
    Definition Classes
    HTML
  60. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  61. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  62. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  63. val ol: Element
    Definition Classes
    HTML
  64. def option(value: String = "", cls: String = "", id: String = "", title: String = "", onclick: String = "", attributes: List[(String, String)] = Nil)(body: ⇒ Unit): Unit
    Definition Classes
    HTML
  65. 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
    HTMLFileWriterHTML
  66. val p: Element
    Definition Classes
    HTML
  67. val pre: Element
    Definition Classes
    HTML
  68. def select(name: String, cls: String = "", id: String = "", title: String = "", onclick: String = "", attributes: List[(String, String)] = Nil)(body: ⇒ Unit): Unit
    Definition Classes
    HTML
  69. val span: Element
    Definition Classes
    HTML
  70. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  71. val table: Element
    Definition Classes
    HTML
  72. val tbody: Element
    Definition Classes
    HTML
  73. val td: Element
    Definition Classes
    HTML
  74. def text(s: String): Unit

    text node

    text node

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

Inherited from HTML

Inherited from AnyRef

Inherited from Any

Ungrouped