framework/tests/subtyping/Poly.java

import java.util.HashMap;
import java.util.List;
import java.util.Map;
import org.checkerframework.framework.testchecker.util.*;

public class Poly {

  void test() {

    @Encrypted String s = encrypt("as0d78f9(*#4j");
    String t = "foo";

    @Encrypted String x1 = id(s); // valid
    // :: error: (assignment)
    @Encrypted String x2 = id(t); // error
    String x3 = id(s); // valid
    String x4 = id(t); // valid

    @Encrypted String y01 = combine(s, s); // valid
    // :: error: (assignment)
    @Encrypted String y02 = combine(s, t); // error
    // :: error: (assignment)
    @Encrypted String y03 = combine(t, t); // error

    String y11 = combine(s, s); // valid
    String y12 = combine(s, t); // valid
    String y13 = combine(t, t); // valid
  }

  @PolyEncrypted String id(@PolyEncrypted String s) {
    return s;
  }

  @PolyEncrypted String combine(@PolyEncrypted String s, @PolyEncrypted String t) {
    // :: error: (argument)
    sendOverNet(s); // error
    return s;
  }

  void sendOverNet(@Encrypted String msg) {}

  List<@PolyEncrypted String> duplicate(@PolyEncrypted String s) {
    return null;
  }

  @PolyEncrypted String[] duplicateAsArray(@PolyEncrypted String s) {
    return null;
  }

  void test2() {
    @Encrypted String s = encrypt("p9aS*7dfa0w9e84r");
    List<@Encrypted String> lst = duplicate(s);
    @Encrypted String[] arr = duplicateAsArray(s);
  }

  @PolyEncrypted String substitute(Map<String, ? extends @PolyEncrypted String> map) {
    return encrypt(null);
  }

  @PolyEncrypted String substituteSuper(Map<String, ? super @PolyEncrypted String> map) {
    return encrypt(null);
  }

  void test3() {
    // :: error: (assignment)
    @Encrypted String s = substitute(new HashMap<String, String>());
    @Encrypted String t = substitute(new HashMap<String, @Encrypted String>());

    // :: error: (assignment)
    @Encrypted String q = substituteSuper(new HashMap<String, String>());
    @Encrypted String r = substituteSuper(new HashMap<String, @Encrypted String>());
  }

  // Test assignment to poly
  @PolyEncrypted String test4(@PolyEncrypted String s) {
    if (s == null) {
      return encrypt(null); // valid
    } else {
      // :: error: (return)
      return "m"; // invalid
    }
  }

  @SuppressWarnings("encrypted")
  static @Encrypted String encrypt(String s) {
    return (@Encrypted String) s;
  }
}