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

Packages that use JPRATypeModelType.JPRAStringType

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

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

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

Modifier and Type	Class and Description
static class	JPRATypeModel.JPRAString The type of jpra string types.

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

Modifier and Type	Method and Description
static JPRATypeModel.JPRAString	JPRATypeModel.JPRAString.copyOf(JPRATypeModelType.JPRAStringType instance) Creates an immutable copy of a JPRATypeModelType.JPRAStringType value.
A	JPRATypeModelType.JPRATypeMatcherType.onString(JPRATypeModelType.JPRAStringType t) Match a string type.