com.io7m.jpra.model.types

Class TRecord.FieldPaddingOctets

java.lang.Object

com.io7m.jpra.model.types.TRecord.FieldPaddingOctets

All Implemented Interfaces:

ModelElementType, TRecord.FieldType

Enclosing class:

TRecord

public static final class TRecord.FieldPaddingOctets
extends Object
implements TRecord.FieldType

A record padding field.

Method Summary

Modifier and Type	Method and Description
Optional<com.io7m.jlexing.core.LexicalPosition<Path>>	getLexicalInformation() Fetch the lexical information for the element.
TRecord	getOwner()
Size<SizeUnitBitsType>	getSizeInBits()
Size<SizeUnitOctetsType>	getSizeInOctets()
<A,E extends Exception> A	matchField(TRecord.FieldMatcherType<A,E> m) Accept a matcher.
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

getOwner

public TRecord getOwner()

Specified by:

getOwner in interface TRecord.FieldType

Returns:

The owning type

getSizeInBits

public Size<SizeUnitBitsType> getSizeInBits()

Specified by:

getSizeInBits in interface TRecord.FieldType

Returns:

The size in bits

getSizeInOctets

public Size<SizeUnitOctetsType> getSizeInOctets()

Specified by:

getSizeInOctets in interface TRecord.FieldType

Returns:

The size in octets

matchField

public <A,E extends Exception> A matchField(TRecord.FieldMatcherType<A,E> m)
                                     throws E extends Exception

Description copied from interface: TRecord.FieldType

Accept a matcher.

Specified by:

matchField in interface TRecord.FieldType

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

getLexicalInformation

public Optional<com.io7m.jlexing.core.LexicalPosition<Path>> getLexicalInformation()

Description copied from interface: ModelElementType

Fetch the lexical information for the element. This is used to localize error messages to a position in a file when referring to specific elements.

Specified by:

getLexicalInformation in interface ModelElementType

Returns:

The original lexical information, if any

toString

public String toString()

Overrides:

toString in class Object