Packages

object BooleanObj extends ExprTypeImpl[Boolean, BooleanObj]

Linear Supertypes
ExprTypeImpl[Boolean, BooleanObj], TypeImpl1[BooleanObj], _1[BooleanObj], TypeImpl[Extension1[BooleanObj]], TypeImplLike[Extension1[BooleanObj]], Type.Expr[Boolean, BooleanObj], stm.Obj.Type, stm.Elem.Type, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BooleanObj
  2. ExprTypeImpl
  3. TypeImpl1
  4. _1
  5. TypeImpl
  6. TypeImplLike
  7. Expr
  8. Type
  9. Type
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type A = Boolean
    Definition Classes
    Expr
  2. type Const[S <: Sys[S]] = BooleanObj[S] with Expr.Const[S, A]
    Definition Classes
    Expr
  3. trait ConstImpl[S <: Sys[S]] extends impl.ConstImpl[S, impl.ExprTypeImpl.A]
    Attributes
    protected
    Definition Classes
    ExprTypeImpl
  4. type Var[S <: Sys[S]] = BooleanObj[S] with stm.Var[Type.Expr.Var.S.Tx, BooleanObj[S]]
    Definition Classes
    Expr
  5. trait VarImpl[S <: Sys[S]] extends impl.VarImpl[S, impl.ExprTypeImpl.A, impl.ExprTypeImpl._Ex[S]]
    Attributes
    protected
    Definition Classes
    ExprTypeImpl
  6. type _Ex[S <: Sys[S]] = BooleanObj[S]
    Definition Classes
    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 addExtension(exts: Array[Extension1[BooleanObj]], ext: Extension1[BooleanObj]): Array[Extension1[BooleanObj]]
    Attributes
    protected
    Definition Classes
    TypeImplLike
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def findExt(op: Int): Extension1[BooleanObj]
    Attributes
    protected
    Definition Classes
    TypeImpl
  11. final def findExt(exts: Array[Extension1[BooleanObj]], op: Int): Extension1[BooleanObj]
    Attributes
    protected
    Definition Classes
    TypeImplLike
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def init(): Unit
    Definition Classes
    Type → Type
  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. def mkConst[S <: Sys[S]](id: BooleanObj.mkConst.S.Id, value: A)(implicit tx: BooleanObj.mkConst.S.Tx): Const[S]
    Attributes
    protected
    Definition Classes
    BooleanObj → ExprTypeImpl
  17. def mkExtArray(size: Int): Array[Extension1[BooleanObj]]
    Attributes
    protected
    Definition Classes
    TypeImpl1 → TypeImplLike
  18. def mkVar[S <: Sys[S]](targets: Targets[S], vr: BooleanObj.mkVar.S.Var[_Ex[S]], connect: Boolean)(implicit tx: BooleanObj.mkVar.S.Tx): Var[S]
    Attributes
    protected
    Definition Classes
    BooleanObj → ExprTypeImpl
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. implicit final def newConst[S <: Sys[S]](value: A)(implicit tx: impl.ExprTypeImpl.newConst.S.Tx): Const[S]
    Definition Classes
    ExprTypeImpl → Expr
  21. final def newVar[S <: Sys[S]](init: _Ex[S])(implicit tx: impl.ExprTypeImpl.newVar.S.Tx): Var[S]
    Definition Classes
    ExprTypeImpl → Expr
  22. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def read[S <: Sys[S]](in: DataInput, access: impl.ExprTypeImpl.read.S.Acc)(implicit tx: impl.ExprTypeImpl.read.S.Tx): _Ex[S]
    Definition Classes
    ExprTypeImpl → Expr
  25. final def readConst[S <: Sys[S]](in: DataInput, access: impl.ExprTypeImpl.readConst.S.Acc)(implicit tx: impl.ExprTypeImpl.readConst.S.Tx): Const[S]
    Definition Classes
    ExprTypeImpl → Expr
  26. def readCookie[S <: Sys[S]](in: DataInput, access: impl.ExprTypeImpl.readCookie.S.Acc, cookie: Byte)(implicit tx: impl.ExprTypeImpl.readCookie.S.Tx): _Ex[S]

    Reads an identified object whose cookie is neither 3 (constant) nor 0 (node).

    Reads an identified object whose cookie is neither 3 (constant) nor 0 (node). By default this throws an exception. Sub-classes may use a cookie greater than 3 for other constant types.

    Attributes
    protected
    Definition Classes
    ExprTypeImpl
  27. final def readExtension[S <: Sys[S]](op: Int, in: DataInput, access: impl.TypeImpl1.readExtension.S.Acc, targets: Targets[S])(implicit tx: impl.TypeImpl1.readExtension.S.Tx): BooleanObj[S]
    Attributes
    protected
    Definition Classes
    TypeImpl1
  28. def readIdentifiedObj[S <: Sys[S]](in: DataInput, access: impl.ExprTypeImpl.readIdentifiedObj.S.Acc)(implicit tx: impl.ExprTypeImpl.readIdentifiedObj.S.Tx): _Ex[S]
    Definition Classes
    ExprTypeImpl → Type → Type
  29. def readNode[S <: Sys[S]](in: DataInput, access: impl.ExprTypeImpl.readNode.S.Acc, targets: Targets[S])(implicit tx: impl.ExprTypeImpl.readNode.S.Tx): _Ex[S]

    The default implementation reads a type Int as operator id Int which will be resolved using readOpExtension.

    The default implementation reads a type Int as operator id Int which will be resolved using readOpExtension.

    Attributes
    protected
    Definition Classes
    ExprTypeImpl
  30. final def readObj[S <: Sys[S]](in: DataInput, access: stm.Obj.Type.readObj.S.Acc)(implicit tx: stm.Obj.Type.readObj.S.Tx): Obj[S]
    Definition Classes
    Type → Type
  31. final def readVar[S <: Sys[S]](in: DataInput, access: impl.ExprTypeImpl.readVar.S.Acc)(implicit tx: impl.ExprTypeImpl.readVar.S.Tx): Var[S]
    Definition Classes
    ExprTypeImpl → Expr
  32. final def registerExtension(ext: Extension1[BooleanObj]): Unit
    Definition Classes
    TypeImpl
  33. implicit final def serializer[S <: Sys[S]]: Serializer[impl.ExprTypeImpl.serializer.S.Tx, impl.ExprTypeImpl.serializer.S.Acc, _Ex[S]]
    Definition Classes
    ExprTypeImpl → Expr
  34. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  35. def toString(): String
    Definition Classes
    BooleanObj → AnyRef → Any
  36. implicit final def tpe: Type.Expr[Boolean, BooleanObj]
    Definition Classes
    ExprTypeImpl
  37. final val typeId: Int(6)
    Definition Classes
    BooleanObj → Type
  38. final val valueSerializer: Boolean.type
    Definition Classes
    BooleanObj → Expr
  39. implicit final def varSerializer[S <: Sys[S]]: Serializer[impl.ExprTypeImpl.varSerializer.S.Tx, impl.ExprTypeImpl.varSerializer.S.Acc, Var[S]]
    Definition Classes
    ExprTypeImpl → Expr
  40. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  43. object Var
    Definition Classes
    Expr

Inherited from ExprTypeImpl[Boolean, BooleanObj]

Inherited from TypeImpl1[BooleanObj]

Inherited from _1[BooleanObj]

Inherited from TypeImpl[Extension1[BooleanObj]]

Inherited from TypeImplLike[Extension1[BooleanObj]]

Inherited from Type.Expr[Boolean, BooleanObj]

Inherited from stm.Obj.Type

Inherited from stm.Elem.Type

Inherited from AnyRef

Inherited from Any

Ungrouped