MethodDeclaration range #54
Description
The range of MethodDeclaration does not include the range of JmlContracts.
Range invariant child.range \subseteq child.parent.range should be adhered.
{{ message }}
The range of MethodDeclaration does not include the range of JmlContracts.
Range invariant child.range \subseteq child.parent.range should be adhered.