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

Packages that use JPRATypeModel.JPRAArray

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

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

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

Modifier and Type	Method and Description
static JPRATypeModel.JPRAArray	JPRATypeModel.JPRAArray.copyOf(JPRATypeModelType.JPRAArrayType instance) Creates an immutable copy of a JPRATypeModelType.JPRAArrayType value.
static JPRATypeModel.JPRAArray	JPRATypeModel.JPRAArray.of(int length, JPRATypeModelType.JPRATypeType elementType) Construct a new immutable JPRAArray instance.
JPRATypeModel.JPRAArray	JPRATypeModel.JPRAArray.withElementType(JPRATypeModelType.JPRATypeType value) Copy the current immutable object by setting a value for the elementType attribute.
JPRATypeModel.JPRAArray	JPRATypeModel.JPRAArray.withLength(int value) Copy the current immutable object by setting a value for the length attribute.