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

Packages that use JPRATypeModel.JPRAString

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

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

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

Modifier and Type	Method and Description
static JPRATypeModel.JPRAString	JPRATypeModel.JPRAString.copyOf(JPRATypeModelType.JPRAStringType instance) Creates an immutable copy of a JPRATypeModelType.JPRAStringType value.
static JPRATypeModel.JPRAString	JPRATypeModel.JPRAString.of(int length, String encoding) Construct a new immutable JPRAString instance.
JPRATypeModel.JPRAString	JPRATypeModel.JPRAString.withEncoding(String value) Copy the current immutable object by setting a value for the encoding attribute.
JPRATypeModel.JPRAString	JPRATypeModel.JPRAString.withLength(int value) Copy the current immutable object by setting a value for the length attribute.