Package com.io7m.cedarbridge.schema.compiled

Interface CBTypeExpressionType

All Superinterfaces:

Formattable

All Known Subinterfaces:

CBTypeExpressionType.CBTypeExprApplicationType, CBTypeExpressionType.CBTypeExprNamedType, CBTypeExpressionType.CBTypeExprParameterType

All Known Implementing Classes:

CBTypeExpressionApplication, CBTypeExpressionNamed, CBTypeExpressionParameter

public sealed interface CBTypeExpressionType
extends Formattable
permits CBTypeExpressionType.CBTypeExprNamedType, CBTypeExpressionType.CBTypeExprParameterType, CBTypeExpressionType.CBTypeExprApplicationType

The type of type expressions.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	CBTypeExpressionType.CBTypeExprApplicationType	A type application.
static interface	CBTypeExpressionType.CBTypeExprNamedType	A named type.
static interface	CBTypeExpressionType.CBTypeExprParameterType	A type parameter expression.

Method Summary

Modifier and Type	Method	Description
boolean	contains(CBTypeParameterType parameter)	Determine if the given type parameter occurs in the type expression.

Methods inherited from interface java.util.Formattable

formatTo

Method Details

contains

boolean contains(CBTypeParameterType parameter)

Determine if the given type parameter occurs in the type expression.

Parameters:

parameter - The type parameter

Returns:

true if parameter occurs in this expression