Package transf :: Module _tests :: Class TestPath

Class TestPath

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

Instance Methods

testAnnotate(self)

checkTransformation(self, metaTransf, testCases)

testProject(self)

testSubTerm(self)

testRange(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
	projectTestCases = `[('1', '[]', '1'), ('[1,2]', '[]', '[1,2]')...`
	pathTestCases = `[('1', '[]', 'X(1)'), ('[1,2]', '[]', 'X([1,2]...`
	rangeTestCases = `[('[0,1,2]', 0, 0, '[0,1,2]'), ('[0,1,2]', 0,...`
Inherited from `TestMixin`: `termInputs`

Class Variable Details

projectTestCases

Value:

[('1', '[]', '1'), ('[1,2]', '[]', '[1,2]'), ('[1,2]', '[0]', '1'), ('
[1,2]', '[1]', '2'), ('C(1,2)', '[]', 'C(1,2)'), ('C(1,2)', '[0]', '1'
), ('C(1,2)', '[1]', '2'), ('A([B,C],[D,E])', '[0,0]', 'B'), ('A([B,C]
,[D,E])', '[1,0]', 'C'), ('A([B,C],[D,E])', '[0,1]', 'D'), ('A([B,C],[
D,E])', '[1,1]', 'E'),]

pathTestCases

Value:

[('1', '[]', 'X(1)'), ('[1,2]', '[]', 'X([1,2])'), ('[1,2]', '[0]', '[
X(1),2]'), ('[1,2]', '[1]', '[1,X(2)]'), ('C(1,2)', '[]', 'X(C(1,2))')
, ('C(1,2)', '[0]', 'C(X(1),2)'), ('C(1,2)', '[1]', 'C(1,X(2))'), ('A(
[B,C],[D,E])', '[0,1]', 'A([B,C],[X(D),E])'), ('A([B,C],[D,E])', '[1,0
]', 'A([B,X(C)],[D,E])'),]

rangeTestCases

Value:

[('[0,1,2]', 0, 0, '[0,1,2]'), ('[0,1,2]', 0, 1, '[X(0),1,2]'), ('[0,1
,2]', 0, 2, '[X(0),X(1),2]'), ('[0,1,2]', 0, 3, '[X(0),X(1),X(2)]'), (
'[0,1,2]', 1, 1, '[0,1,2]'), ('[0,1,2]', 1, 2, '[0,X(1),2]'), ('[0,1,2
]', 1, 3, '[0,X(1),X(2)]'), ('[0,1,2]', 2, 2, '[0,1,2]'), ('[0,1,2]', 
2, 3, '[0,1,X(2)]'), ('[0,1,2]', 3, 3, '[0,1,2]'),]