com.io7m.jpra.model.types

Class TRecords.TypeLookupFailed

java.lang.Object

com.io7m.jpra.model.types.TRecords.TypeLookupFailed

All Implemented Interfaces:

TRecords.TypeLookupType

Enclosing class:

TRecords

public static final class TRecords.TypeLookupFailed
extends Object
implements TRecords.TypeLookupType

The type of lookup failures.

Constructor Summary

Constructors

Constructor and Description
TypeLookupFailed(TType in_t, FieldName in_name, com.gs.collections.api.list.ImmutableList<FieldName> in_rest) Construct a failure.

Method Summary

Modifier and Type	Method and Description
<A,E extends Exception> A	matchTypeLookup(com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupSucceeded,A,E> success, com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupFailed,A,E> failure) Evaluate functions to inspect the lookup result.

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeLookupFailed

public TypeLookupFailed(TType in_t,
                        FieldName in_name,
                        com.gs.collections.api.list.ImmutableList<FieldName> in_rest)

Construct a failure.

Parameters:

in_t - The last type encountered before the failure

in_name - The last name

in_rest - The remaining path elements

Method Detail

matchTypeLookup

public <A,E extends Exception> A matchTypeLookup(com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupSucceeded,A,E> success,
                                                 com.io7m.jfunctional.PartialFunctionType<TRecords.TypeLookupFailed,A,E> failure)
                                          throws E extends Exception

Description copied from interface: TRecords.TypeLookupType

Evaluate functions to inspect the lookup result.

Specified by:

matchTypeLookup in interface TRecords.TypeLookupType

Type Parameters:

A - The type of returned values

E - The type of raised exceptions

Parameters:

success - Evaluated if this result denotes success

failure - Evaluated if this result denotes failure

Returns:

The value returned by m

Throws:

E - If m raises E

E extends Exception