com.io7m.jpra.model.types

Interface TypeUserDefinedType

All Known Implementing Classes:

TPacked, TRecord

public interface TypeUserDefinedType

The type of user defined types.

Method Summary

Modifier and Type	Method and Description
IdentifierType	getIdentifier()
TypeName	getName()
PackageContextType	getPackageContext()
<A,E extends Exception> A	matchTypeUserDefined(TypeUserDefinedMatcherType<A,E> m) Accept a matcher.

Method Detail

getName

TypeName getName()

Returns:

The type name

getIdentifier

IdentifierType getIdentifier()

Returns:

The identifier

getPackageContext

PackageContextType getPackageContext()

Returns:

The package context

matchTypeUserDefined

<A,E extends Exception> A matchTypeUserDefined(TypeUserDefinedMatcherType<A,E> m)
                                        throws E extends Exception

Accept a matcher.

Type Parameters:

A - The type of returned values

E - The type of raised exceptions

Parameters:

m - The matcher

Returns:

The value returned by m

Throws:

E - If m raises E

E extends Exception