Other |
---|
hs25Resolved |
Relates :
|
Clarification from Alex Buckley on the verifier spec: The verifier spec cares very little about a method being static. Verification deems that B#foo()V overrides A#foo()V because the names and descriptors match.
|