From a18add1613574a15c81f60bde847c5d7b2bedcb5 Mon Sep 17 00:00:00 2001
From: Damien Martin-Guillerez <dmarting@google.com>
Date: Wed, 29 Jun 2016 14:24:16 +0200
Subject: Adds the source of the checker framework

This needs to predate the rest of the changes to the checker framework to keep the build green.

Also add the source of javacutil part of the checker framework, that will be included in the next change.

Change-Id: Ie18d0e8e21035ce5141416e552a83d893f71b88b
---
 .../dataflow/analysis/AbstractValue.java           | 27 ++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/analysis/AbstractValue.java

(limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/analysis/AbstractValue.java')

diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/analysis/AbstractValue.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/analysis/AbstractValue.java
new file mode 100644
index 0000000000..2dbcbd4b03
--- /dev/null
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/analysis/AbstractValue.java
@@ -0,0 +1,27 @@
+package org.checkerframework.dataflow.analysis;
+
+/**
+ * An abstract value used in the org.checkerframework.dataflow analysis.
+ *
+ * @author Stefan Heule
+ *
+ */
+public interface AbstractValue<V extends AbstractValue<V>> {
+
+    /**
+     * Compute the least upper bound of two stores.
+     *
+     * <p>
+     *
+     * <em>Important</em>: This method must fulfill the following contract:
+     * <ul>
+     * <li>Does not change {@code this}.</li>
+     * <li>Does not change {@code other}.</li>
+     * <li>Returns a fresh object which is not aliased yet.</li>
+     * <li>Returns an object of the same (dynamic) type as {@code this}, even if
+     * the signature is more permissive.</li>
+     * <li>Is commutative.</li>
+     * </ul>
+     */
+    V leastUpperBound(V other);
+}
-- 
cgit v1.2.3