com.io7m.jpra.runtime.java

Class JPRATypeModel.JPRAFloat

java.lang.Object

com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAFloatType

com.io7m.jpra.runtime.java.JPRATypeModel.JPRAFloat

All Implemented Interfaces:

JPRATypeModelType.JPRAScalarType, JPRATypeModelType.JPRATypeType

Enclosing class:

JPRATypeModel

public static final class JPRATypeModel.JPRAFloat
extends JPRATypeModelType.JPRAFloatType

The type of jpra float types.

Method Summary

Modifier and Type	Method and Description
static JPRATypeModel.JPRAFloat	copyOf(JPRATypeModelType.JPRAFloatType instance) Creates an immutable copy of a JPRATypeModelType.JPRAFloatType value.
boolean	equals(Object another) This instance is equal to all instances of JPRAFloat that have equal attribute values.
int	hashCode() Returns a precomputed-on-construction hash code from attributes: sizeInBits.
static JPRATypeModel.JPRAFloat	of(int sizeInBits) Construct a new immutable JPRAFloat instance.
int	sizeInBits()
String	toString() Prints the immutable value JPRAFloat with attribute values.
JPRATypeModel.JPRAFloat	withSizeInBits(int value) Copy the current immutable object by setting a value for the sizeInBits attribute.

Methods inherited from class com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAFloatType

matchScalar, matchType

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

sizeInBits

public int sizeInBits()

Returns:

The value of the sizeInBits attribute

withSizeInBits

public final JPRATypeModel.JPRAFloat withSizeInBits(int value)

Copy the current immutable object by setting a value for the sizeInBits attribute. A value equality check is used to prevent copying of the same value by returning this.

Parameters:

value - A new value for sizeInBits

Returns:

A modified copy of the this object

equals

public boolean equals(Object another)

This instance is equal to all instances of JPRAFloat that have equal attribute values.

Overrides:

equals in class Object

Returns:

true if this is equal to another instance

hashCode

public int hashCode()

Returns a precomputed-on-construction hash code from attributes: sizeInBits.

Overrides:

hashCode in class Object

Returns:

hashCode value

toString

public String toString()

Prints the immutable value JPRAFloat with attribute values.

Overrides:

toString in class Object

Returns:

A string representation of the value

of

public static JPRATypeModel.JPRAFloat of(int sizeInBits)

Construct a new immutable JPRAFloat instance.

Parameters:

sizeInBits - The value for the sizeInBits attribute

Returns:

An immutable JPRAFloat instance

copyOf

public static JPRATypeModel.JPRAFloat copyOf(JPRATypeModelType.JPRAFloatType instance)

Creates an immutable copy of a JPRATypeModelType.JPRAFloatType value. Uses accessors to get values to initialize the new immutable instance. If an instance is already immutable, it is returned as is.

Parameters:

instance - The instance to copy

Returns:

A copied immutable JPRAFloat instance