BoxAssignment

A BoxAssignment maps a subset of unknowns to a Box. When isDefinedAt(u) is false for a given unknown u, the corresponding apply(u) should be a right box.

Like it was the case for Box, a BoxAssignent is also a blueprint for buildind equivalent BoxAssignments. Each BoxAssignmant has a copy method which should produce a functionally equivalent copy of this. The copy method should try to minimize object duplication.

Self Type: BoxAssignment[U, V]

Linear Supertypes

PartialFunction[U, Box[V]], (U) ⇒ Box[V], AnyRef, Any

Instance Constructors

new BoxAssignment()

Abstract Value Members

abstract def apply(v1: U): Box[V]

Definition Classes
Function1
abstract def boxesAreIdempotent: Boolean

Returns true if all returned boxes are idempotent.
abstract def boxesAreImmutable: Boolean

Returns true if all boxes are immutable
abstract def boxesAreRight: Boolean

Returns true if all boxes are right boxes.
abstract def copy: BoxAssignment[U, V]

Returns a copy of this box assignment.
Returns a copy of this box assignment. An immutable box assignment may just returns itself, but a mutable one should produce a copy of itself.
abstract def isDefinedAt(x: U): Boolean

Definition Classes
PartialFunction
abstract def isEmpty: Boolean

Returns true if the assignment is empty, i.e., it is undefined for all program points.

Concrete 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 andThen[C](k: (Box[V]) ⇒ C): PartialFunction[U, C]

Definition Classes
PartialFunction → Function1
def applyOrElse[A1 <: U, B1 >: Box[V]](x: A1, default: (A1) ⇒ B1): B1

Definition Classes
PartialFunction
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def compose[A](g: (A) ⇒ U): (A) ⇒ Box[V]

Definition Classes
Function1
Annotations
@unspecialized()
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 hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def lift: (U) ⇒ Option[Box[V]]

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def orElse[A1 <: U, B1 >: Box[V]](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]

Definition Classes
PartialFunction
def restrict[U1 <: U](domain: (U1) ⇒ Boolean): BoxAssignment[U1, V]

Restrict the domain of this box assignment.
Restrict the domain of this box assignment. The new domain is the intersection of the old domain and the set whose characteristic function is domain
def runWith[U](action: (Box[V]) ⇒ U): (U) ⇒ Boolean

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

Definition Classes
AnyRef
def toString(): String

Definition Classes
Function1 → AnyRef → Any
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( ... )

Related Docs: object BoxAssignment | package scalafix

abstract class BoxAssignment[-U, V] extends PartialFunction[U, Box[V]]

Instance Constructors

new BoxAssignment()

Abstract Value Members

abstract def apply(v1: U): Box[V]

abstract def boxesAreIdempotent: Boolean

abstract def boxesAreImmutable: Boolean

abstract def boxesAreRight: Boolean

abstract def copy: BoxAssignment[U, V]

abstract def isDefinedAt(x: U): Boolean

abstract def isEmpty: Boolean

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def andThen[C](k: (Box[V]) ⇒ C): PartialFunction[U, C]

def applyOrElse[A1 <: U, B1 >: Box[V]](x: A1, default: (A1) ⇒ B1): B1

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def compose[A](g: (A) ⇒ U): (A) ⇒ Box[V]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def lift: (U) ⇒ Option[Box[V]]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def orElse[A1 <: U, B1 >: Box[V]](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]

def restrict[U1 <: U](domain: (U1) ⇒ Boolean): BoxAssignment[U1, V]

def runWith[U](action: (Box[V]) ⇒ U): (U) ⇒ Boolean

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from PartialFunction[U, Box[V]]

Inherited from (U) ⇒ Box[V]

Inherited from AnyRef

Inherited from Any

Ungrouped