Uses of Class
com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAUserDefinedType

Packages that use JPRATypeModelType.JPRAUserDefinedType

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

Uses of JPRATypeModelType.JPRAUserDefinedType in com.io7m.jpra.runtime.java

Subclasses of JPRATypeModelType.JPRAUserDefinedType in com.io7m.jpra.runtime.java

Modifier and Type	Class and Description
static class	JPRATypeModel.JPRAUserDefined The type of jpra user-defined types.

Methods in com.io7m.jpra.runtime.java with parameters of type JPRATypeModelType.JPRAUserDefinedType

Modifier and Type	Method and Description
static JPRATypeModel.JPRAUserDefined	JPRATypeModel.JPRAUserDefined.copyOf(JPRATypeModelType.JPRAUserDefinedType instance) Creates an immutable copy of a JPRATypeModelType.JPRAUserDefinedType value.
A	JPRATypeModelType.JPRATypeMatcherType.onUserDefined(JPRATypeModelType.JPRAUserDefinedType t) Match a user-defined type.