Assertion: class's element | /r/HasProperty | a method_info structure
Facets:
Source sentences:
text: each element is a method_info structure defined in https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.6 ... ... ...