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 chain(decls: List[InternalDeclaration], context: Context)(implicit parent: GlobalName): (List[(GlobalName, OMV)], Context)

   build a dictionary from the declaration paths to OMV with their "primed" type, as well as a context with all the "primed" declarations

6.  def clone(): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... ) @native()

7.  def constrs(decls: List[InternalDeclaration]): List[Constructor]
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.  def fromConstant(c: Constant, con: Controller, types: List[TypeLevel], ctx: Option[Context], isConstructor: Option[(Boolean, Option[GlobalName])] = None)(implicit parent: GlobalName): InternalDeclaration

    convert the given constant into the appropriate internal declaration

    convert the given constant into the appropriate internal declaration

    c

    the constant to convert

    con

    the controller

    isConstructor

    (optional) whether the declaration is a constructor and if so its typelevel Needs to be given for constructors over defined typelevels

12.  def fromVarDecl(vd: VarDecl, ctx: Option[Context], con: Controller, types: List[TypeLevel], context: Context)(implicit parent: GlobalName): InternalDeclaration

    convert the given VarDecl into the appropriate internal declaration

    convert the given VarDecl into the appropriate internal declaration

    vd

    the vd to convert

    con

    the controller

13.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

14.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

15.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

16.  def isTypeLevel(tp: Term): Boolean
17.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

18.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

19.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

20.  def outs(decls: List[InternalDeclaration]): List[OutgoingTermLevel]
21.  def stats(decls: List[InternalDeclaration]): List[StatementLevel]
22.  def structureDeclaration(name: Option[String], context: Option[Context])(implicit parent: GlobalName): Constant
23.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

24.  implicit def tm(d: InternalDeclaration): Option[Term]
25.  def tmls(decls: List[InternalDeclaration]): List[TermLevel]
26.  def toString(): String

    Definition Classes

    AnyRef → Any

27.  implicit def toVarDecl(d: InternalDeclaration)(implicit parent: GlobalName): VarDecl
28.  implicit def tp(d: InternalDeclaration): Term
29.  def tpls(decls: List[InternalDeclaration]): List[TypeLevel]
30.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

31.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

32.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()