com.io7m.jpra.runtime.java

Class JPRATypeModelType.JPRAMatrixType

java.lang.Object

com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAMatrixType

All Implemented Interfaces:

JPRATypeModelType.JPRATypeType

Direct Known Subclasses:

JPRATypeModel.JPRAMatrix

Enclosing interface:

JPRATypeModelType

public abstract static class JPRATypeModelType.JPRAMatrixType
extends Object
implements JPRATypeModelType.JPRATypeType

The type of jpra matrix types.

Constructor Summary

Constructors

Constructor and Description
JPRAMatrixType()

Method Summary

Modifier and Type	Method and Description
<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

Constructor Detail

JPRAMatrixType

public JPRAMatrixType()

Method Detail

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