The Listing 8 code uses a pair of mutually recursive methods for the actual analysis.

• 清单8中的代码使用两个相互递推的方法进行实际的分析。