Class MethodValAnnotatedTypeFactory

    • Field Detail

      • arrayLenValueElement

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

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

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

        public final javax.lang.model.element.ExecutableElement stringValValueElement
        The StringVal.value argument/element.
    • Constructor Detail

      • MethodValAnnotatedTypeFactory

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