Module swim.structure

Package swim.structure.form

Class ValueForm

java.lang.Object

swim.structure.Form<Value>

swim.structure.form.ValueForm

public final class ValueForm
extends Form<Value>

Fall-through transformation between a structurally typed Item and a structurally typed Value. mold(swim.structure.Value) simply returns the Value argument itself, and cast(swim.structure.Item) simply invokes Item.toValue() against the Item argument.

Constructor Summary

Constructors

Constructor	Description
ValueForm(Value unit)

Method Summary

Modifier and Type	Method	Description
Value	cast(Item item)	Converts a structurally typed item into a nominally typed Java object.
Item	mold(Value value)	Converts a nominally typed Java object into its structurally typed equivalent.
Class<Value>	type()	Returns the reified Class of type T.
Value	unit()	Returns a default–possibly null–value of type T.
Form<Value>	unit(Value unit)	Returns a version of this Form with the given unit value.

Methods inherited from class swim.structure.Form

cast, forArray, forBigInteger, forBoolean, forBuiltin, forByte, forByteBuffer, forCharacter, forClass, forClass, forCollection, forDouble, forFloat, forInteger, forItem, forList, forLong, forMap, forMap, forNumber, forSet, forShort, forString, forValue, isBuiltin, mold, tag, tag

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ValueForm

public ValueForm(Value unit)

Method Details

unit

public Value unit()

Description copied from class: Form

Returns a default–possibly null–value of type T. Used as the fallback return value when coercing an invalid structural value.

Overrides:

unit in class Form<Value>

unit

public Form<Value> unit(Value unit)

Description copied from class: Form

Returns a version of this Form with the given unit value.

Overrides:

unit in class Form<Value>

type

public Class<Value> type()

Description copied from class: Form

Returns the reified Class of type T.

Specified by:

type in class Form<Value>

mold

public Item mold(Value value)

Description copied from class: Form

Converts a nominally typed Java object into its structurally typed equivalent. The returned Item must never be null.

Specified by:

mold in class Form<Value>

cast

public Value cast(Item item)

Description copied from class: Form

Converts a structurally typed item into a nominally typed Java object. The passed-in item is assumed to be non-null.

Specified by:

cast in class Form<Value>