Provides efficient pattern matching facilities for methods with bodies.
Example:
Matching all methods that have a method body:
for {
classFile ← project.classFiles
method @ MethodWithBody(code) ← classFile.methods
} {
// the type of method is "..resolved.Method"// the type of code is "..resolved.Code"
}
Provides efficient pattern matching facilities for methods with bodies.
Matching all methods that have a method body: