Class FreeVariables.Variable

java.lang.Object

org.derive4j.processor.api.FreeVariable

org.derive4j.processor.api.FreeVariables.Variable

Enclosing class:

FreeVariables

private static final class FreeVariables.Variable
extends FreeVariable

Nested Class Summary

Nested classes/interfaces inherited from class FreeVariable

FreeVariable.Case<X>

Field Summary

Fields

Modifier and Type	Field	Description
private final String	name
private final DeclaredType	type

Constructor Summary

Constructors

Constructor	Description
Variable(DeclaredType type, String name)

Method Summary

Modifier and Type	Method	Description
<X> X	variable(FreeVariable.Case<X> variable)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

type

private final DeclaredType type

name

private final String name

Constructor Details

Variable

Variable(DeclaredType type,
 String name)

Method Details

variable

public <X> X variable(FreeVariable.Case<X> variable)

Specified by:

variable in class FreeVariable