O1Library Docs
Fall 2023
Docs API

# UnlessSameReference

o1.gui.View$.RefreshPolicy$.UnlessSameReference$
case object UnlessSameReference extends RefreshPolicy

The RefreshPolicy of seeking to update the image visible in a `View` only when the current model object is different in identity than the previous one shown.

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

## Attributes

Graph
Supertypes
  trait Singleton
  trait Product
  trait Mirror
  trait Serializable
  trait Product
  trait Equals
  trait RefreshPolicy
  class Object
  trait Matchable
  class Any
  Show all
Self type
  UnlessSameReference.type

## Members list

### Type members

#### Inherited types

type MirroredElemLabels = EmptyTuple

The names of the product elements

The names of the product elements

## Attributes

Inherited from:
  Singleton

type MirroredElemTypes = EmptyTuple

## Attributes

Inherited from:
  Singleton

type MirroredLabel <: String

The name of the type

The name of the type

## Attributes

Inherited from:
  Mirror

type MirroredMonoType = Singleton.this.type

The mirrored *-type

The mirrored *-type

## Attributes

Inherited from:
  Singleton

type MirroredType = Singleton.this.type

## Attributes

Inherited from:
  Singleton

### Value members

#### Concrete methods

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

Returns `true` if given two references to the same objects or two `AnyVal`s that are equal.

Returns `true` if given two references to the same objects or two `AnyVal`s that are equal.

## Parameters

from

  the model object at the previous update

to

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

## Attributes

#### 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`.

## Attributes

Inherited from:
  Singleton

def productElementNames: Iterator[String]

## Attributes

Inherited from:
  Product

def productIterator: Iterator[Any]

## Attributes

Inherited from:
  Product