Assertion list
method (aspect of applet ) → HasProperty
Results from Ascent++: 3
method → HasProperty → abstract 0.41
method → HasProperty → useful 0.28
method → HasProperty → obsolete 0.16