This paper introduced a kind of variable type collecting method, which is based on layered thoughtway and abstract syntax tree.

• 摘要提出了一种基于分层思想的，并且无需构造具体语法树的变量类型提取方法。