core/it.unich.scalafix.assignments/IOAssignment

IOAssignment

trait IOAssignment[U, V] extends InputAssignment[U, V]

An IOAssignment is an assignment used for input, output and internal working of fixpoint solvers. It also explicitly keeps track of unknowns which are modified after creation time.

Type parameters:
U

type for unknowns

V

type for values

Companion:
object
trait InputAssignment[U, V]
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 time.

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

def unknowns: Iterable[U]

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

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

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

Update an IOAssignment assignment.

Update an IOAssignment 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
def toIOAssignment: IOAssignment[U, V]

Returns an IOAssignment with the same initial content as the current assignment. Changes to the IOAssignment are not reflected to the current assignment.

Returns an IOAssignment with the same initial content as the current assignment. Changes to the IOAssignment are not reflected to the current assignment.

Inherited from:
InputAssignment
override def toString(): String
Definition Classes
Function1 -> Any
Inherited from:
Function1