com.io7m.jpra.model.type_declarations

Interface RecordFieldDeclType<I,T>

Type Parameters:

I - The type of identifiers

T - The type of type information

All Superinterfaces:

ModelElementType

All Known Implementing Classes:

RecordFieldDeclPaddingOctets, RecordFieldDeclValue

public interface RecordFieldDeclType<I,T>
extends ModelElementType

The type of record field declarations.

Method Summary

Modifier and Type	Method and Description
<A,E extends Exception> A	matchRecordFieldDeclaration(RecordFieldDeclMatcherType<I,T,A,E> m) Accept a field matcher.

Methods inherited from interface com.io7m.jpra.model.ModelElementType

getLexicalInformation

Method Detail

matchRecordFieldDeclaration

<A,E extends Exception> A matchRecordFieldDeclaration(RecordFieldDeclMatcherType<I,T,A,E> m)
                                               throws E extends Exception

Accept a field 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