From ebd5ec0013dcd265c339928d3a5ab55a076e0bef Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 11 May 2017 03:48:30 -0700
Subject: [PATCH] [archeology] remove infer/src/checkers/sql_examples/

Summary: I can't even?

Reviewed By: sblackshear

Differential Revision: D5038485

fbshipit-source-id: aa10b3f
---
 infer/src/checkers/sql_examples/Makefile  | 18 ----------------
 infer/src/checkers/sql_examples/Test.java | 25 -----------------------
 2 files changed, 43 deletions(-)
 delete mode 100644 infer/src/checkers/sql_examples/Makefile
 delete mode 100644 infer/src/checkers/sql_examples/Test.java

diff --git a/infer/src/checkers/sql_examples/Makefile b/infer/src/checkers/sql_examples/Makefile
deleted file mode 100644
index 9f0f9ad39..000000000
--- a/infer/src/checkers/sql_examples/Makefile
+++ /dev/null
@@ -1,18 +0,0 @@
-# Copyright (c) 2017 - 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.
-
-all:
-	InferAnalyze --results-dir out -checkers
-
-.PHONY: capture
-capture:
-	InferCapture out javac *.java
-
-.PHONY: clean
-clean:
-	rm -rf out *.class
-
diff --git a/infer/src/checkers/sql_examples/Test.java b/infer/src/checkers/sql_examples/Test.java
deleted file mode 100644
index 6224ef884..000000000
--- a/infer/src/checkers/sql_examples/Test.java
+++ /dev/null
@@ -1,25 +0,0 @@
-/*
- * Copyright (c) 2015 - 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.
- */
-
-class Test {
-
-  public void select() {
-    String a = "SELeCT id FROM ";
-    String b = "table";
-    String c = " WHERE something";
-    String d = a + b + c;
-  }
-
-  public void insert() {
-    int id = 10;
-    String a = "INSERT into table VALUES (1) WHERE id=";
-    String q = a + Integer.toString(id);
-  }
-
-}