public RegexQualifiedTypeFactory(QualifierContext<Regex> checker) { super(checker); patternCompile = TreeUtils.getMethod( "java.util.regex.Pattern", "compile", 1, getContext().getProcessingEnvironment()); patternMatcher = TreeUtils.getMethod( "java.util.regex.Pattern", "matcher", 1, getContext().getProcessingEnvironment()); }
public NullnessVisitor(BaseTypeChecker checker, boolean useFbc) { super(checker); NONNULL = atypeFactory.NONNULL; NULLABLE = atypeFactory.NULLABLE; MONOTONIC_NONNULL = atypeFactory.MONOTONIC_NONNULL; stringType = elements.getTypeElement("java.lang.String").asType(); ProcessingEnvironment env = checker.getProcessingEnvironment(); this.collectionSize = TreeUtils.getMethod(java.util.Collection.class.getName(), "size", 0, env); this.collectionToArray = TreeUtils.getMethod(java.util.Collection.class.getName(), "toArray", 1, env); checkForAnnotatedJdk(); }
public SystemGetPropertyHandler(ProcessingEnvironment env, NullnessAnnotatedTypeFactory factory) { this.env = env; this.factory = factory; systemGetProperty = TreeUtils.getMethod("java.lang.System", "getProperty", 1, env); }