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

Packages that use JPRATypeModel.JPRAIntegerUnsigned

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

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

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

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