Package com.io7m.cedarbridge.schema.compiled

Interface CBTypeExpressionType.CBTypeExprApplicationType

All Superinterfaces:

CBTypeExpressionType, Formattable

All Known Implementing Classes:

CBTypeExpressionApplication

Enclosing interface:

CBTypeExpressionType

public static non-sealed interface CBTypeExpressionType.CBTypeExprApplicationType
extends CBTypeExpressionType

A type application.

Nested Class Summary

Nested classes/interfaces inherited from interface com.io7m.cedarbridge.schema.compiled.CBTypeExpressionType

CBTypeExpressionType.CBTypeExprApplicationType, CBTypeExpressionType.CBTypeExprNamedType, CBTypeExpressionType.CBTypeExprParameterType

Method Summary

Modifier and Type	Method	Description
List<CBTypeExpressionType>	arguments()
default boolean	contains(CBTypeParameterType parameter)	Determine if the given type parameter occurs in the type expression.
default void	formatTo(Formatter formatter, int flags, int width, int precision)
CBTypeExpressionType.CBTypeExprNamedType	target()

Method Details

target

CBTypeExpressionType.CBTypeExprNamedType target()

Returns:

The target type

arguments

List<CBTypeExpressionType> arguments()

Returns:

The type expression arguments

contains

default boolean contains(CBTypeParameterType parameter)

Description copied from interface: CBTypeExpressionType

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

Specified by:

contains in interface CBTypeExpressionType

Parameters:

parameter - The type parameter

Returns:

true if parameter occurs in this expression

formatTo

default void formatTo(Formatter formatter,
 int flags,
 int width,
 int precision)

Specified by:

formatTo in interface Formattable