framework/tests/flowexpression/UnsupportJavaCode.java

package flowexpression;

import org.checkerframework.framework.testchecker.flowexpression.qual.FlowExp;

public class UnsupportJavaCode {

  void method() {

    // :: error: (expression.unparsable)
    @FlowExp("new Object()") String s0;

    // :: error: (expression.unparsable)
    @FlowExp("List<String> list;") String s1;
  }
}