Uses of Class
com.io7m.jpra.model.types.TRecord

Packages that use TRecord

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

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

Methods in com.io7m.jpra.compiler.java with parameters of type TRecord

Modifier and Type	Method and Description
void	JPRAJavaGeneratorType.generateRecordImplementation(TRecord t, OutputStream os) Generate Java source code for the implementation of a record definition.
void	JPRAJavaGenerator.generateRecordImplementation(TRecord t, OutputStream os)
void	JPRAJavaGeneratorType.generateRecordInterface(TRecord t, OutputStream os) Generate Java source code for the readable and writable interface of a record definition.
void	JPRAJavaGenerator.generateRecordInterface(TRecord t, OutputStream os)
void	JPRAJavaGeneratorType.generateRecordInterfaceReadable(TRecord t, OutputStream os) Generate Java source code for the readable interface of a record definition.
void	JPRAJavaGenerator.generateRecordInterfaceReadable(TRecord t, OutputStream os)
void	JPRAJavaGeneratorType.generateRecordInterfaceWritable(TRecord t, OutputStream os) Generate Java source code for the writable interface of a record definition.
void	JPRAJavaGenerator.generateRecordInterfaceWritable(TRecord t, OutputStream os)
com.io7m.jfunctional.Unit	PackedFieldInterfaceProcessor.matchRecord(TRecord t)
com.io7m.jfunctional.Unit	PackedFieldImplementationProcessor.matchRecord(TRecord t)

Uses of TRecord in com.io7m.jpra.model.types

Methods in com.io7m.jpra.model.types that return TRecord

Modifier and Type	Method and Description
TRecord	TRecordBuilderType.build()
TRecord	TRecord.FieldType.getOwner()
TRecord	TRecord.FieldValue.getOwner()
TRecord	TRecord.FieldPaddingOctets.getOwner()

Methods in com.io7m.jpra.model.types with parameters of type TRecord

Modifier and Type	Method and Description
A	TypeUserDefinedMatcherType.matchRecord(TRecord t) Match an record type.
A	TypeMatcherType.matchRecord(TRecord t) Match a record type.
static TRecords.TypeLookupType	TRecords.typeForFieldPath(TRecord t, FieldPath p) Lookup a type based on a field path.