#NEWLINE# def visit_Always( self , node ) : #NEWLINE# #INDENT# label = self . labels . get ( self . frames . getLabelKey ( 'always' ) ) #NEWLINE# current = self . stackNextFrame ( label , 'always' , generate = self . frames . isGenerate ( ) , always = True ) #NEWLINE# ( clock_name , clock_edge , clock_bit , reset_name , reset_edge , reset_bit , senslist ) = self . _createAlwaysinfo ( node , current ) #NEWLINE# self . frames . setAlwaysInfo ( clock_name , clock_edge , clock_bit , reset_name , label , reset_bit , senslist ) #NEWLINE# self . generic_visit ( node ) #NEWLINE# self . frames . setCurrent ( current )