o ŒžP] ã@s0ddlmZmZddlmZGdd„deƒZdS)é)Ú AutomatonÚ NoTransitioné)ÚTestCasec@s8eZdZdZdd„Zdd„Zdd„Zdd „Zd d „Zd S) Ú CoreTestszN Tests for Automat's (currently private, implementation detail) core. cCsv| t¡ tƒWdƒn1swYd}d}t||d}| |j|¡| |t|ƒ¡| |t|ƒ¡dS)zj A L{NoTransition} exception describes the state and input symbol that caused it. Nz current-stateztransitionless-symbol)ÚstateÚsymbol)Ú assertRaisesÚ TypeErrorrÚassertIsrÚassertInÚstr)ÚselfrrÚnoTransitionException©rú9/usr/lib/python3/dist-packages/automat/_test/test_core.pyÚtest_NoTransition s ÿ zCoreTests.test_NoTransitioncCstƒ}| t|jdd¡dS)zx L{Automaton.outputForInput} raises L{NoTransition} if no transition for that input is defined. zno-statez no-symbolN)rr rÚoutputForInput©rÚarrrÚtest_noOutputForInputs ÿzCoreTests.test_noOutputForInputcCsntƒ}| ddddg¡| | ¡dh¡| | ¡dh¡| | dd¡ddgf¡| | ¡ddh¡dS)a L{Automaton.addTransition} adds its input symbol to L{Automaton.inputAlphabet}, all its outputs to L{Automaton.outputAlphabet}, and causes L{Automaton.outputForInput} to start returning the new state and output symbols. Ú beginningÚbeginÚendingÚendN)rÚ addTransitionÚ assertEqualÚ inputAlphabetÚoutputAlphabetrÚstatesrrrrÚtest_oneTransition(sÿzCoreTests.test_oneTransitioncCs\tƒ}d}| t|jddd|¡| | ¡¡| | ¡¡| | ¡¡| | ¡¡dS)z L{Automaton.addTransition} raises a TypeError when given outputs that aren't iterable and doesn't add any transitions. éÚ fromStateÚ viaSymbolÚtoStateN) rr r rÚ assertFalserrrÚallTransitions)rrÚnonIterableOutputsrrrÚ%test_oneTransition_nonIterableOutputs8sýz/CoreTests.test_oneTransition_nonIterableOutputscCsPtƒ}d|_| |jd¡| t¡ d|_WdƒdS1s!wYdS)z˜ L{Automaton.initialState} is a descriptor that sets the initial state if it's not yet set, and raises L{ValueError} if it is. za statez another stateN)rÚ initialStaterr Ú ValueErrorrrrrÚtest_initialStateIs  "ÿzCoreTests.test_initialStateN) Ú__name__Ú __module__Ú __qualname__Ú__doc__rrr r(r+rrrrrs  rN)Ú_corerrÚunittestrrrrrrÚs