com.io7m.jpra.runtime.java

Class JPRATypeModelType.JPRAUserDefinedType

java.lang.Object

com.io7m.jpra.runtime.java.JPRATypeModelType.JPRAUserDefinedType

All Implemented Interfaces:

JPRATypeModelType.JPRATypeType

Direct Known Subclasses:

JPRATypeModel.JPRAUserDefined

Enclosing interface:

JPRATypeModelType

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

The type of jpra user-defined types.

Constructor Summary

Constructors

Constructor and Description
JPRAUserDefinedType()

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

JPRAUserDefinedType

public JPRAUserDefinedType()

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