Packages

o

info.kwarc.mmt.api.utils

Javascript

object Javascript

a simple API for generating Javascript expressions

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

Type Members

  1. case class Apply(fun: Expression, args: Expression*) extends Expression with Product with Serializable
  2. case class Array(entries: Expression*) extends Expression with Product with Serializable
  3. case class ArrayClass(array: Expression) extends JSClass with Product with Serializable
  4. abstract class Expression extends AnyRef
  5. case class FieldAccess(obj: Expression, field: Expression) extends Expression with Product with Serializable

    accessing field in an array or object

  6. case class Function(params: String*)(body: Expression) extends Expression with Product with Serializable
  7. case class Identifier(name: String) extends Expression with Product with Serializable
  8. case class JSBool(b: Boolean) extends Expression with Product with Serializable
  9. abstract class JSClass extends AnyRef
  10. case class JSInt(i: Int) extends Expression with Product with Serializable
  11. case class JSObject(entries: (Expression, Expression)*) extends Expression with Product with Serializable
  12. case class JSSeq(exprs: Expression*) extends Expression with Product with Serializable
  13. case class JSString(s: String) extends Expression with Product with Serializable
  14. case class JSWhile(cond: Expression, body: Expression) extends Expression with Product with Serializable
  15. case class Variable(name: String) extends Expression with Product with Serializable

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val Alert: Identifier
  5. val Log: Identifier
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. implicit def fromBool(b: Boolean): JSBool
  12. implicit def fromFunction(fun: (Expression) ⇒ Expression): Expression
  13. implicit def fromInt(i: Int): JSInt
  14. implicit def fromList(l: List[Expression]): Array
  15. implicit def fromString(s: String): JSString
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  22. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  23. implicit def toList(a: Array): List[Expression]
  24. def toString(): String
    Definition Classes
    AnyRef → Any
  25. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  28. object JSNull extends Expression with Product with Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped