summaryrefslogtreecommitdiffstats
path: root/Demo/parser/example.py
blob: 363f5bb693d07987b990209796bec61162530ceb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
"""Simple code to extract class & function docstrings from a module.

This code is used as an example in the library reference manual in the
section on using the parser module.  Refer to the manual for a thorough
discussion of the operation of this code.
"""

import symbol
import token
import types


def get_docs(fileName):
    """Retrieve information from the parse tree of a source file.

    fileName
	Name of the file to read Python source code from.
    """
    source = open(fileName).read()
    import os
    basename = os.path.basename(os.path.splitext(fileName)[0])
    import parser
    ast = parser.suite(source)
    tup = parser.ast2tuple(ast)
    return ModuleInfo(tup, basename)


class SuiteInfoBase:
    _docstring = ''
    _name = ''

    def __init__(self, tree = None):
	self._class_info = {}
	self._function_info = {}
	if tree:
	    self._extract_info(tree)

    def _extract_info(self, tree):
	# extract docstring
	if len(tree) == 2:
	    found, vars = match(DOCSTRING_STMT_PATTERN[1], tree[1])
	else:
	    found, vars = match(DOCSTRING_STMT_PATTERN, tree[3])
	if found:
	    self._docstring = eval(vars['docstring'])
	# discover inner definitions
	for node in tree[1:]:
	    found, vars = match(COMPOUND_STMT_PATTERN, node)
	    if found:
		cstmt = vars['compound']
		if cstmt[0] == symbol.funcdef:
		    name = cstmt[2][1]
		    self._function_info[name] = FunctionInfo(cstmt)
		elif cstmt[0] == symbol.classdef:
		    name = cstmt[2][1]
		    self._class_info[name] = ClassInfo(cstmt)

    def get_docstring(self):
	return self._docstring

    def get_name(self):
	return self._name

    def get_class_names(self):
	return self._class_info.keys()

    def get_class_info(self, name):
	return self._class_info[name]

    def __getitem__(self, name):
	try:
	    return self._class_info[name]
	except KeyError:
	    return self._function_info[name]


class SuiteFuncInfo:
    #  Mixin class providing access to function names and info.

    def get_function_names(self):
	return self._function_info.keys()

    def get_function_info(self, name):
	return self._function_info[name]


class FunctionInfo(SuiteInfoBase, SuiteFuncInfo):
    def __init__(self, tree = None):
	self._name = tree[2][1]
	SuiteInfoBase.__init__(self, tree and tree[-1] or None)


class ClassInfo(SuiteInfoBase):
    def __init__(self, tree = None):
	self._name = tree[2][1]
	SuiteInfoBase.__init__(self, tree and tree[-1] or None)

    def get_method_names(self):
	return self._function_info.keys()

    def get_method_info(self, name):
	return self._function_info[name]


class ModuleInfo(SuiteInfoBase, SuiteFuncInfo):
    def __init__(self, tree = None, name = "<string>"):
	self._name = name
	SuiteInfoBase.__init__(self, tree)
	if tree:
	    found, vars = match(DOCSTRING_STMT_PATTERN, tree[1])
	    if found:
		self._docstring = vars["docstring"]


from types import ListType, TupleType

def match(pattern, data, vars=None):
    """Match `data' to `pattern', with variable extraction.

    pattern
	Pattern to match against, possibly containing variables.

    data
	Data to be checked and against which variables are extracted.

    vars
	Dictionary of variables which have already been found.  If not
	provided, an empty dictionary is created.

    The `pattern' value may contain variables of the form ['varname'] which
    are allowed to match anything.  The value that is matched is returned as
    part of a dictionary which maps 'varname' to the matched value.  'varname'
    is not required to be a string object, but using strings makes patterns
    and the code which uses them more readable.

    This function returns two values: a boolean indicating whether a match
    was found and a dictionary mapping variable names to their associated
    values.
    """
    if vars is None:
	vars = {}
    if type(pattern) is ListType:	# 'variables' are ['varname']
	vars[pattern[0]] = data
	return 1, vars
    if type(pattern) is not TupleType:
	return (pattern == data), vars
    if len(data) != len(pattern):
	return 0, vars
    for pattern, data in map(None, pattern, data):
	same, vars = match(pattern, data, vars)
	if not same:
	    break
    return same, vars


#  This pattern identifies compound statements, allowing them to be readily
#  differentiated from simple statements.
#
COMPOUND_STMT_PATTERN = (
    symbol.stmt,
    (symbol.compound_stmt, ['compound'])
    )


#  This pattern will match a 'stmt' node which *might* represent a docstring;
#  docstrings require that the statement which provides the docstring be the
#  first statement in the class or function, which this pattern does not check.
#
DOCSTRING_STMT_PATTERN = (
    symbol.stmt,
    (symbol.simple_stmt,
     (symbol.small_stmt,
      (symbol.expr_stmt,
       (symbol.testlist,
	(symbol.test,
	 (symbol.and_test,
	  (symbol.not_test,
	   (symbol.comparison,
	    (symbol.expr,
	     (symbol.xor_expr,
	      (symbol.and_expr,
	       (symbol.shift_expr,
		(symbol.arith_expr,
		 (symbol.term,
		  (symbol.factor,
		   (symbol.power,
		    (symbol.atom,
		     (token.STRING, ['docstring'])
		     )))))))))))))))),
     (token.NEWLINE, '')
     ))

#
#  end of file