core/it.unich.scalafix/MutableAssignment

MutableAssignment

trait MutableAssignment[U, V] extends U => V

A mutable assignment is an assignment used internally and retuned by fixpoint solvers. Mutable assignment keep track of the unknowns which are explicitly modified after creation.

Type parameters:
U

type for unknowns

V

type for values

trait U => V
class Object
trait Matchable
class Any

Value members

Abstract methods

def isDefinedAt(u: U): Boolean

Determines whether the unknown u has been explicitly modified after creation.

Determines whether the unknown u has been explicitly modified after creation.

def unknowns: Iterable[U]

An iterable of the unknowns which have been explicitly modified after creation.

An iterable of the unknowns which have been explicitly modified after creation.

def update(u: U, v: V): Unit

Update this assignment.

Update this assignment.

Inherited methods

@unspecialized
def andThen[A](g: V => A): U => A
Inherited from:
Function1
def apply(v1: U): V
Inherited from:
Function1
@unspecialized
def compose[A](g: A => U): A => V
Inherited from:
Function1
override def toString(): String
Definition Classes
Function1 -> Any
Inherited from:
Function1