com.io7m.jpra.runtime.java

Class JPRATypeModelType.JPRAIntegerUnsignedType

java.lang.Object

com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAIntegerUnsignedType

All Implemented Interfaces:

JPRATypeModelType.JPRAScalarType, JPRATypeModelType.JPRATypeType

Direct Known Subclasses:

JPRATypeModel.JPRAIntegerUnsigned

Enclosing interface:

JPRATypeModelType

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

The type of jpra unsigned integer types.

Constructor Summary

Constructors

Constructor and Description
JPRAIntegerUnsignedType()

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

JPRAIntegerUnsignedType

public JPRAIntegerUnsignedType()

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