State checking for extending abstract classes

Currently, reusing state refinements from an abstract superclass in a concrete class is not fully implemented, and gives an error like the one below.

Example for abstract class java.net.URLConnection:

@ExternalRefinementsFor("java.net.URLConnection")
@StateSet({"setup", "connected"})
public interface URLConnectionRefinements {
 
    @StateRefinement(to="setup(this)")
    public void URLConnection(URL url);

    @StateRefinement(from="setup(this)")
    public void setDoInput(boolean doinput);

    @StateRefinement(from="setup(this)", to="connected(this)")
    public void connect();

    @StateRefinement(from="connected(this)")
    public Object getContent();
 
}

Extended in class URLExt:

class URLExt extends URLConnection{

    public URLExt(URL url){
        super(url);
    }

    @Override
    public void connect() throws IOException {
        // TODO Auto-generated method stub
        throw new UnsupportedOperationException("Unimplemented method 'connect'");
    }
    
}```

Tested in:
```java
class Testurl {
    void test() throws URISyntaxException, IOException {

        URLExt u = new URLExt(new URI("http://example.com").toURL());
        u.setDoInput(false); // should not be an error but it is 
        u.getContent(); // should be an error

    }
}

使用 URLConnectionRefinements 註解、URLExt 和 Testurl 範例重現該報告。首先追蹤在 URLExt 上呼叫方法時，如何檢查從 java.net.URLConnection 繼承的狀態細化。完成的標準是：setDoInput(false) 被接受，而 getContent() 被拒絕，因為物件尚未達到已連線狀態。