com.io7m.jpra.runtime.java

Class JPRATypeModelType.JPRAIntegerUnsignedNormalizedType

java.lang.Object

com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedNormalizedType

All Implemented Interfaces:

JPRATypeModelType.JPRAScalarType, JPRATypeModelType.JPRATypeType

Direct Known Subclasses:

JPRATypeModel.JPRAIntegerUnsignedNormalized

Enclosing interface:

JPRATypeModelType

public abstract static class JPRATypeModelType.JPRAIntegerUnsignedNormalizedType
extends Object
implements JPRATypeModelType.JPRAScalarType

The type of jpra unsigned normalized integer types.

Constructor Summary

Constructors

Constructor and Description
JPRAIntegerUnsignedNormalizedType()

Method Summary

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

Methods inherited from class java.lang.Object

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

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

sizeInBits

Constructor Detail

JPRAIntegerUnsignedNormalizedType

public JPRAIntegerUnsignedNormalizedType()

Method Detail

matchScalar

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

Specified by:

matchScalar in interface JPRATypeModelType.JPRAScalarType

Throws:

E extends Exception

matchType

public final <A,E extends Exception> A matchType(JPRATypeModelType.JPRATypeMatcherType<A,E> m)
                                          throws E extends Exception

Specified by:

matchType in interface JPRATypeModelType.JPRATypeType

Throws:

E extends Exception