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	apply(org.checkerframework.framework.util.defaults.Default def)

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

apply

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