Adding Java Checker Framework to flag error when java.net and java.lang.reflect libra...

[iot2.git] / checker / iotchecker / package-info.java

diff --git a/checker/iotchecker/package-info.java b/checker/iotchecker/package-info.java
new file mode 100644 (file)
index 0000000..a570ccf
--- /dev/null
+++ b/checker/iotchecker/package-info.java
@@ -0,0 +1,6 @@
+/**
+ * Provides a type-checker plug-in for the IoTJavaChecker
+ * qualifier that traces callback functions.
+ *
+ */
+package iotchecker;