Uses of Class
com.io7m.jpra.runtime.java.JPRATypeModel.JPRAIntegerSignedNormalized

Packages that use JPRATypeModel.JPRAIntegerSignedNormalized

Package	Description
com.io7m.jpra.runtime.java	Runtime components.

Uses of JPRATypeModel.JPRAIntegerSignedNormalized in com.io7m.jpra.runtime.java

Methods in com.io7m.jpra.runtime.java that return JPRATypeModel.JPRAIntegerSignedNormalized

Modifier and Type	Method and Description
static JPRATypeModel.JPRAIntegerSignedNormalized	JPRATypeModel.JPRAIntegerSignedNormalized.copyOf(JPRATypeModelType.JPRAIntegerSignedNormalizedType instance) Creates an immutable copy of a JPRATypeModelType.JPRAIntegerSignedNormalizedType value.
static JPRATypeModel.JPRAIntegerSignedNormalized	JPRATypeModel.JPRAIntegerSignedNormalized.of(int sizeInBits) Construct a new immutable JPRAIntegerSignedNormalized instance.
JPRATypeModel.JPRAIntegerSignedNormalized	JPRATypeModel.JPRAIntegerSignedNormalized.withSizeInBits(int value) Copy the current immutable object by setting a value for the sizeInBits attribute.