com.io7m.jpra.runtime.java

Class JPRATypeModel.JPRAIntegerSigned

java.lang.Object

com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerSignedType

com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSigned

All Implemented Interfaces:

JPRATypeModelType.JPRAScalarType, JPRATypeModelType.JPRATypeType

Enclosing class:

JPRATypeModel

public static final class JPRATypeModel.JPRAIntegerSigned
extends JPRATypeModelType.JPRAIntegerSignedType

The type of jpra signed integer types.

Method Summary

Modifier and Type	Method and Description
static JPRATypeModel.JPRAIntegerSigned	copyOf(JPRATypeModelType.JPRAIntegerSignedType instance) Creates an immutable copy of a JPRATypeModelType.JPRAIntegerSignedType value.
boolean	equals(Object another) This instance is equal to all instances of JPRAIntegerSigned that have equal attribute values.
int	hashCode() Returns a precomputed-on-construction hash code from attributes: sizeInBits.
static JPRATypeModel.JPRAIntegerSigned	of(int sizeInBits) Construct a new immutable JPRAIntegerSigned instance.
int	sizeInBits()
String	toString() Prints the immutable value JPRAIntegerSigned with attribute values.
JPRATypeModel.JPRAIntegerSigned	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.JPRAIntegerSignedType

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.JPRAIntegerSigned 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 JPRAIntegerSigned 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 JPRAIntegerSigned with attribute values.

Overrides:

toString in class Object

Returns:

A string representation of the value

of

public static JPRATypeModel.JPRAIntegerSigned of(int sizeInBits)

Construct a new immutable JPRAIntegerSigned instance.

Parameters:

sizeInBits - The value for the sizeInBits attribute

Returns:

An immutable JPRAIntegerSigned instance

copyOf

public static JPRATypeModel.JPRAIntegerSigned copyOf(JPRATypeModelType.JPRAIntegerSignedType instance)

Creates an immutable copy of a JPRATypeModelType.JPRAIntegerSignedType 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 JPRAIntegerSigned instance