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

Packages that use JPRATypeModel.JPRAIntegerSigned

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

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

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

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