Object

NoType

Related Doc: package sigmastate

Permalink

object NoType extends SType with Product with Serializable

Special type to represent untyped values. Interpreter raises an error when encounter a Value with this type. All Value nodes with this type should be elimitanted during typing. If no specific type can be assigned statically during typing, then either error should be raised or type SAny should be assigned which is interpreted as dynamic typing.

Linear Supertypes

Serializable, Serializable, SType, SigmaNode, Product, Equals, AnyRef, Any

Ordering

Alphabetic
By Inheritance

Inherited

NoType
Serializable
Serializable
SType
SigmaNode
Product
Equals
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Type Members

type WrappedType = Nothing

Definition Classes
NoType → SType

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def ?:(whenNoType: ⇒ SType): SType

Elvis operator for types.
Elvis operator for types. See https://en.wikipedia.org/wiki/Elvis_operator

Definition Classes
SType
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def dataSize(v: SType.WrappedType): Long

Approximate size of the given value in bytes.
Approximate size of the given value in bytes. It is actual size only for primitive types.

Definition Classes
SType
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def isConstantSize: Boolean

Returns true if dataSize doesn't depend on data value.
Returns true if dataSize doesn't depend on data value. This is useful for optimizations of calculating sizes of collections.

Definition Classes
NoType → SType
def isEmbeddable: Boolean

Definition Classes
SType
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def mkConstant(v: WrappedType): Value[NoType.this.type]

Construct tree node Constant for a given data object.
Construct tree node Constant for a given data object.

Definition Classes
SType
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toTermString: String

Returns parsable type term string of the type described by this type descriptor.
Returns parsable type term string of the type described by this type descriptor. For every type it should be inverse to SigmaTyper.parseType. This is default fallback implementation, should be overriden if it is not correct for a particular type.

Definition Classes
SType
val typeCode: Byte

Type code used in serialization of SType values.
Type code used in serialization of SType values.

Definition Classes
NoType → SType
See also
TypeSerializer
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def withSubstTypes(subst: Map[STypeVar, SType]): SType

Definition Classes
SType

Inherited from Serializable

Inherited from Serializable

Inherited from SType

Inherited from SigmaNode

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped