Issue427.java

// Test case for Issue 427:
// https://github.com/typetools/checker-framework/issues/427

//We need to add a warning when an @AssumeAssertion is missing
//its @ symbol (as below)

// @skip-test

import java.util.Map;
import org.checkerframework.checker.nullness.qual.*;

public class Issue427 {

    public static void assumeAssertionKeyFor1(String var, Map<String, Integer> m) {
        assert m.containsKey(var)
                : "@AssumeAssertion(keyfor): keys of leaders and timeKilled are the same";
        boolean b = (m.get(var) >= 22);
    }

    public static void assumeAssertionKeyFor2(String var, Map<String, Integer> m) {
        assert m.containsKey(var)
                : "@AssumeAssertion(keyfor): keys of leaders and timeKilled are the same";
        int x = m.get(var);
    }
}