Class MethodValAnnotatedTypeFactory

All Implemented Interfaces:
AnnotationProvider

public class MethodValAnnotatedTypeFactory extends BaseAnnotatedTypeFactory
AnnotatedTypeFactory for the MethodVal Checker.
  • Field Details

    • arrayLenValueElement

      public final ExecutableElement arrayLenValueElement
      The ArrayLen.value argument/element.
    • classBoundValueElement

      public final ExecutableElement classBoundValueElement
      The ClassBound.value argument/element.
    • classValValueElement

      public final ExecutableElement classValValueElement
      The ClassVal.value argument/element.
    • stringValValueElement

      public final ExecutableElement stringValValueElement
      The StringVal.value argument/element.
  • Constructor Details

    • MethodValAnnotatedTypeFactory

      public MethodValAnnotatedTypeFactory(BaseTypeChecker checker)
      Create a new MethodValAnnotatedTypeFactory.
      Parameters:
      checker - the type-checker associated with this factory
  • Method Details