# Copyright (c) 2016 - present Facebook, Inc.
# All rights reserved.
#
# This source code is licensed under the BSD style license found in the
# LICENSE file in the root directory of this source tree. An additional grant
# of patent rights can be found in the PATENTS file in the same directory.

include ../Makefile

ANALYZER = infer

FILES = \
  SomeLibrary.java \
  SkippedSourceFile.java \
  T.java \
  Utils.java \
  \
  AnalysisStops.java \
  ArrayOutOfBounds.java \
  AutoGenerated.java \
  Builtins.java \
  ClassCastExceptions.java \
  CloseableAsResourceExample.java \
  ContextLeaks.java \
  CursorLeaks.java \
  DivideByZero.java \
  DynamicDispatch.java \
  FilterInputStreamLeaks.java \
  FilterOutputStreamLeaks.java \
  GuardedByExample.java \
  HashMapExample.java \
  IntegerExample.java \
  JunitAssertion.java \
  NeverNullSource.java \
  NullPointerExceptions.java \
  ReaderLeaks.java \
  ResourceLeaks.java \
  ReturnValueIgnored.java \
  TaintExample.java \
  WriterLeaks.java \

compile:
	javac -cp $(CLASSPATH) $(FILES)

analyze:
	$(INFER_BIN) -a $(ANALYZER) -- javac -cp $(CLASSPATH) $(FILES) >/dev/null 2>/dev/null
