[go: up one dir, main page]
Menu ▾ ▴

[390b88]: / ir / check.py  Maximize  Restore  History

Download this file

59 lines (41 with data), 1.1 kB 

 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
'''Intermediate code correctness checking.

'''





import os.path



import aterm.asd



from transf import exception

from transf import transformation

from transf import lib

from transf import parse

from transf import util



import ir



asd = aterm.asd.parse(open(os.path.join(ir.__path__[0], 'ir.asdl'), 'rt').read())





class _Check(transformation.Transformation):



	def __init__(self, asd, production):

		transformation.Transformation.__init__(self)

		self.asd = asd

		self.production = production



	def apply(self, trm, ctx):

		try:

			self.asd.validate(self.production, trm)

		except aterm.asd.MismatchException, ex:

			raise exception.Fatal(str(ex))

		else:

			return trm



type = _Check(asd, "type")

expr = _Check(asd, "expr")

stmt = _Check(asd, "stmt")

module = _Check(asd, "module")





if __name__ == '__main__':

	import aterm.factory

	import sys



	factory = aterm.factory.factory



	for arg in sys.argv[1:]:

		term = factory.readFromTextFile(file(arg, 'rt'))

		sys.stderr.write('Checking %s ...\n' % arg)

		try:

			module(term)

		except exception.Failure:

			sys.stderr.write('FAILED\n')

		else:

			sys.stderr.write('OK\n')

		sys.stderr.write('\n')