Package aterm :: Module asd :: Class TestAsd

Class TestAsd

Nested Classes
Inherited from `unittest.TestCase`: `failureException`

Instance Methods

testParse(self)

testValidate(self)

Inherited from unittest.TestCase: __call__, __init__, __repr__, __str__, assertAlmostEqual, assertAlmostEquals, assertEqual, assertEquals, assertFalse, assertNotAlmostEqual, assertNotAlmostEquals, assertNotEqual, assertNotEquals, assertRaises, assertTrue, assert_, countTestCases, debug, defaultTestResult, fail, failIf, failIfAlmostEqual, failIfEqual, failUnless, failUnlessAlmostEqual, failUnlessEqual, failUnlessRaises, id, run, setUp, shortDescription, tearDown

Class Variables
	sampleDescription = `...`
	validateTestCases = `[('exp', 'Id("a")', True), ('exp', 'Num(1)...`

Class Variable Details

sampleDescription

Value:

'''
		stm = Compound(stm head, stm next)
			| Assign(identifier? lval, exp rval)
			| Print(exp* args)
		exp = Id(string)
			| Num(int)
			| Op(exp, binop, exp)
		binop = Plus | Minus | Times | Div
...

validateTestCases

Value:

[('exp', 'Id("a")', True), ('exp', 'Num(1)', True), ('exp', 'Op(Num(1)
,Plus,Num(1))', True), ('stm', 'Print([])', True), ('stm', 'Print([Num
(1),Num(2)])', True), ('exp', 'Id(1)', False), ('exp', 'Num("a")', Fal
se), ('exp', 'Op(Plus,Num(1),Num(1))', False), ('stm', 'Print()', Fals
e),]