com.io7m.jpra.model.types

Interface TIntegerType

All Superinterfaces:

ModelElementType, TType, TypeScalarType

All Known Implementing Classes:

TIntegerSigned, TIntegerSignedNormalized, TIntegerUnsigned, TIntegerUnsignedNormalized

public interface TIntegerType
extends TypeScalarType

The type of integer types.

Method Summary

Modifier and Type	Method and Description
<A,E extends Exception> A	matchTypeInteger(TypeIntegerMatcherType<A,E> m) Accept a matcher.

Methods inherited from interface com.io7m.jpra.model.types.TypeScalarType

matchTypeScalar

Methods inherited from interface com.io7m.jpra.model.types.TType

getSizeInBits, matchType

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

getLexicalInformation

Method Detail

matchTypeInteger

<A,E extends Exception> A matchTypeInteger(TypeIntegerMatcherType<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