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

Packages that use JPRATypeModel.JPRAFloat

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

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

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

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