transf._tests.TestParse

Class TestParse

Nested Classes

Inherited from unittest.TestCase: failureException

Instance Methods

testParse(self)

Inherited from TestMixin: setUp

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, shortDescription, tearDown

Class Variables

parseTestCases = [('id', 'Ident'), ('fail', 'Fail'), ('?1', 'M...

Inherited from TestMixin: termInputs

Class Variable Details

parseTestCases

Value:

[('id', 'Ident'), ('fail', 'Fail'), ('?1', 'Match(Int(1))'), ('?0.1', 
'Match(Real(0.1))'), ('?"s"', 'Match(Str("s"))'), ('?[]', 'Match(Nil)'
), ('?[1,2]', 'Match(Cons(Int(1),Cons(Int(2),Nil)))'), ('?[1,*[2]]', '
Match(Cons(Int(1),Cons(Int(2),Nil)))'), ('?C', 'Match(ApplName("C"))')
, ('?C(1,2)', 'Match(Appl("C",[Int(1),Int(2)]))'), ('?_', 'Match(Wildc
ard)'), ('?_(_,_)', 'Match(ApplCons(Wildcard,Cons(Wildcard,Cons(Wildca
rd,Nil))))'), ('?x', 'Match(Var("x"))'), ('?f(x,y)', 'Match(ApplCons(V
ar("f"),Cons(Var("x"),Cons(Var("y"),Nil))))'), ('?C{X,Y,Z}', 'Match(An
...