O1Library Docs/API/o1.gui/View/RefreshPolicy/UnlessIdentical

UnlessIdentical

case object UnlessIdentical extends RefreshPolicy

The RefreshPolicy of seeking to update the image visible in a View only when the current model object is non-identical in terms of equals than the previous one shown.

Note to students: You’re unlikely to need this for anything in O1.

trait Singleton
trait Product
trait Mirror
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels = EmptyTuple

The names of the product elements

The names of the product elements

Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror
type MirroredMonoType = Singleton.this.type

The mirrored *-type

The mirrored *-type

Inherited from:
Singleton
type MirroredType = Singleton.this.type
Inherited from:
Singleton

Value members

Concrete methods

def shouldRefresh(from: Matchable, to: Matchable): Boolean

Returns true if given two objects aren’t equal (!=).

Returns true if given two objects aren’t equal (!=).

Value parameters:
from

the model object at the previous update

to

the current model object (possibly the same object; possibly identical)

Inherited methods

def fromProduct(p: Product): MirroredMonoType

Create a new instance of type T with elements taken from product p.

Create a new instance of type T with elements taken from product p.

Inherited from:
Singleton
def productIterator: Iterator[Any]
Inherited from:
Product