com.io7m.jpra.runtime.java

Interface JPRATypeModelType.JPRAScalarType

All Superinterfaces:

JPRATypeModelType.JPRATypeType

All Known Implementing Classes:

JPRATypeModel.JPRAFloat, JPRATypeModel.JPRAIntegerSigned, JPRATypeModel.JPRAIntegerSignedNormalized, JPRATypeModel.JPRAIntegerUnsigned, JPRATypeModel.JPRAIntegerUnsignedNormalized, JPRATypeModelType.JPRAFloatType, JPRATypeModelType.JPRAIntegerSignedNormalizedType, JPRATypeModelType.JPRAIntegerSignedType, JPRATypeModelType.JPRAIntegerUnsignedNormalizedType, JPRATypeModelType.JPRAIntegerUnsignedType

Enclosing interface:

JPRATypeModelType

public static interface JPRATypeModelType.JPRAScalarType
extends JPRATypeModelType.JPRATypeType

The type of jpra scalar types.

Method Summary

Modifier and Type	Method and Description
<A,E extends Exception> A	matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A,E> m)
int	sizeInBits()

Methods inherited from interface com.io7m.jpra.runtime.java.JPRATypeModelType.JPRATypeType

matchType

Method Detail

sizeInBits

int sizeInBits()

matchScalar

<A,E extends Exception> A matchScalar(JPRATypeModelType.JPRAScalarMatcherType<A,E> m)
                               throws E extends Exception

Throws:

E extends Exception