Packages

o

info.kwarc.mmt.sql

SQLSyntax

object SQLSyntax

inductive type for SQL queries

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

Type Members

  1. case class App(fun: FunOrOp, args: List[Expr]) extends Expr with Product with Serializable
  2. case class ArrayType[U](entryType: Type[U]) extends Type[List[U]] with Product with Serializable
  3. case class ArrayVal[U](tp: Type[U], elems: List[U]) extends Value with Product with Serializable
  4. sealed abstract class BaseType[U] extends Type[U]
  5. case class BoolVal(b: Boolean) extends Value with Product with Serializable
  6. case class ColumnRef(name: String) extends Expr with Product with Serializable
  7. sealed abstract class Expr extends AnyRef

    expressions as used in WHERE clause

  8. case class FloatVal(d: Double) extends Value with Product with Serializable
  9. case class Fun(name: String) extends FunOrOp with Product with Serializable
  10. sealed abstract class FunOrOp extends AnyRef
  11. case class InfixOp(name: String) extends FunOrOp with Product with Serializable
  12. case class IntVal(v: Int) extends Value with Product with Serializable
  13. case class JSONVal(j: JSON) extends Value with Product with Serializable
  14. case class PostfixOp(name: String) extends UnaryOp with Product with Serializable
  15. case class PrefixOp(name: String) extends UnaryOp with Product with Serializable
  16. case class StringVal(s: String) extends Value with Product with Serializable
  17. sealed abstract class Type[U] extends AnyRef
  18. case class UUIDVal(u: UUID) extends Value with Product with Serializable
  19. sealed abstract class UnaryOp extends FunOrOp
  20. sealed abstract class Value extends Expr

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  15. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  16. def toString(): String
    Definition Classes
    AnyRef → Any
  17. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  18. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  19. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  20. object BoolType extends BaseType[Boolean] with Product with Serializable
  21. object FloatType extends BaseType[Double] with Product with Serializable
  22. object IntType extends BaseType[Int] with Product with Serializable
  23. object JSONType extends BaseType[JSON] with Product with Serializable
  24. object StringType extends BaseType[String] with Product with Serializable
  25. object UUIDType extends BaseType[UUID] with Product with Serializable
  26. object Value

Inherited from AnyRef

Inherited from Any

Ungrouped