com.io7m.jpra.model.types

Interface TRecord.FieldType

All Superinterfaces:

ModelElementType

All Known Implementing Classes:

TRecord.FieldPaddingOctets, TRecord.FieldValue

Enclosing class:

TRecord

public static interface TRecord.FieldType
extends ModelElementType

The type of record fields.

Method Summary

Modifier and Type	Method and Description
TRecord	getOwner()
Size<SizeUnitBitsType>	getSizeInBits()
Size<SizeUnitOctetsType>	getSizeInOctets()
<A,E extends Exception> A	matchField(TRecord.FieldMatcherType<A,E> m) Accept a matcher.

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

getLexicalInformation

Method Detail

getOwner

TRecord getOwner()

Returns:

The owning type

getSizeInBits

Size<SizeUnitBitsType> getSizeInBits()

Returns:

The size in bits

getSizeInOctets

Size<SizeUnitOctetsType> getSizeInOctets()

Returns:

The size in octets

matchField

<A,E extends Exception> A matchField(TRecord.FieldMatcherType<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