com.io7m.jpra.compiler.java

Interface JPRAJavaWriterType

All Known Implementing Classes:

JPRAJavaWriter

public interface JPRAJavaWriterType

The type of Java serializers.

Method Summary

Modifier and Type	Method and Description
void	writeType(Path path, TypeUserDefinedType t) Write the given type to the base directory path.

Method Detail

writeType

void writeType(Path path,
               TypeUserDefinedType t)
        throws IOException

Write the given type to the base directory path.

Parameters:

path - The base directory

t - The type

Throws:

IOException - On I/O errors