Add example for aliasing

static/examples/aliasing/AliasingExample.java

@@ -0,0 +1,31 @@
+import java.util.*;
+import org.checkerframework.checker.aliasing.qual.*;
+
+// Annotations on the StringBuffer class, used in the examples below.
+// class StringBuffer {
+//  @Unique StringBuffer();
+//  StringBuffer append(@LeakedToResult StringBuffer this, @NonLeaked String s);
+// }
+
+public class AliasingExample {
+    public void foo() {
+        StringBuffer sb = new StringBuffer();    // sb is refined to @Unique.
+
+        StringBuffer sb2 = sb;                   // sb loses its refinement.
+        // Both sb and sb2 have aliases and because of that have type @MaybeAliased.
+    }
+
+    public void bar() {
+        StringBuffer sb = new StringBuffer();     // sb is refined to @Unique.
+
+        sb.append("someString");
+        // sb stays @Unique, as no aliases are created.
+
+        StringBuffer sb2 = sb.append("someString");
+        // sb is leaked and becomes @MaybeAliased.
+
+        // Both sb and sb2 have aliases and because of that have type @MaybeAliased.
+    }
+}
+
+

static/js/cf-load-examples.js

@@ -57,6 +57,9 @@ var JAVA_EXAMPLES = {
   /*GUIEffect Checker examples*/
   GUIEffectExampleWithWarningsLink: 'examples/gui_effect/GUIEffectExampleWithWarnings.java',
 
+  /*Aliasing Checker examples*/
+  AliasingExample: 'examples/aliasing/AliasingExample.java',
+
   /*Units Checker examples*/
   SimpleDemoWithWarningsLink: 'examples/units/SimpleDemoWithWarnings.java',
   MethodsDemoWithWarningsLink: 'examples/units/MethodsDemoWithWarnings.java',

views/index.tpl

@@ -240,6 +240,7 @@ SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 
     <p data-checker-type="aliasing">
       Aliasing (<a class="manualLink" href="https://checkerframework.org/manual/#aliasing-checker" target="_blank"><i>manual</i></a>)
+      <a class="manualLink" id="AliasingExample" href="#">AliasChecker</a>
     </p>
 
    <!--  <p data-checker-type="igj">