Uses of Interface
com.io7m.jpra.compiler.java.JPRAJavaWriterType

Packages that use JPRAJavaWriterType

Package	Description
com.io7m.jpra.compiler.java	Java backend for the compiler.

Uses of JPRAJavaWriterType in com.io7m.jpra.compiler.java

Classes in com.io7m.jpra.compiler.java that implement JPRAJavaWriterType

Modifier and Type	Class and Description
class	JPRAJavaWriter The default implementation of the JPRAJavaWriterType interface.

Methods in com.io7m.jpra.compiler.java that return JPRAJavaWriterType

Modifier and Type	Method and Description
static JPRAJavaWriterType	JPRAJavaWriter.newWriter(JPRAJavaGeneratorType in_generator)