org.checkerframework.framework.util.defaults

Class QualifierDefaults.DefaultApplierElement

java.lang.Object

org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement

Enclosing class:

QualifierDefaults

public static class QualifierDefaults.DefaultApplierElement
extends Object

Constructor Summary

Constructors

Constructor and Description
DefaultApplierElement(AnnotatedTypeFactory atypeFactory, Element scope, AnnotatedTypeMirror type, boolean applyToTypeVar)

Method Summary

Modifier and Type	Method and Description
void	applyDefault(org.checkerframework.framework.util.defaults.Default def) Apply default to the type.

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultApplierElement

public DefaultApplierElement(AnnotatedTypeFactory atypeFactory,
                             Element scope,
                             AnnotatedTypeMirror type,
                             boolean applyToTypeVar)

Method Detail

applyDefault

public void applyDefault(org.checkerframework.framework.util.defaults.Default def)

Apply default to the type.

Parameters:

def - default to apply