com.io7m.jpra.model.types

Class TRecords

java.lang.Object

com.io7m.jpra.model.types.TRecords

public final class TRecords
extends Object

Functions over record types.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TRecords.TypeLookupFailed The type of lookup failures.
static class	TRecords.TypeLookupSucceeded The type of successful lookups.
static interface	TRecords.TypeLookupType The type of lookup results.

Method Summary

Modifier and Type	Method and Description
static TRecords.TypeLookupType	typeForFieldPath(TRecord t, FieldPath p) Lookup a type based on a field path.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

typeForFieldPath

public static TRecords.TypeLookupType typeForFieldPath(TRecord t,
                                                       FieldPath p)

Lookup a type based on a field path.

Parameters:

t - The starting type

p - The path

Returns:

A lookup result