State checking for extending abstract classes

Chưa có ai nhận issue này.

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`:
```java
@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`:
```java
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

}
}
```

Tái hiện báo cáo bằng cách sử dụng các annotation URLConnectionRefinements, URLExt và ví dụ Testurl. Bắt đầu bằng cách lần theo cách các refinement trạng thái được kế thừa từ java.net.URLConnection được kiểm tra khi các phương thức được gọi trên URLExt. Được xem là hoàn tất khi setDoInput(false) được chấp nhận, còn getContent() bị từ chối vì đối tượng chưa đạt đến trạng thái đã kết nối.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.