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

Packages that use JPRATypeModel.JPRAUserDefined

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

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

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

Modifier and Type	Method and Description
static JPRATypeModel.JPRAUserDefined	JPRATypeModel.JPRAUserDefined.copyOf(JPRATypeModelType.JPRAUserDefinedType instance) Creates an immutable copy of a JPRATypeModelType.JPRAUserDefinedType value.
static JPRATypeModel.JPRAUserDefined	JPRATypeModel.JPRAUserDefined.of(Class<? extends JPRAValueType> type) Construct a new immutable JPRAUserDefined instance.
JPRATypeModel.JPRAUserDefined	JPRATypeModel.JPRAUserDefined.withType(Class<? extends JPRAValueType> value) Copy the current immutable object by setting a value for the type attribute.