Name	Size	Mode	Actions
__pycache__/	-	0755	rm
Actions.pxd	585	0644	editdlrm
Actions.py	2545	0644	editdlrm
DFA.py	6012	0644	editdlrm
Errors.py	1169	0644	editdlrm
Lexicons.py	6907	0644	editdlrm
Machines.py	7760	0644	editdlrm
Regexps.py	16208	0644	editdlrm
Scanners.pxd	1481	0644	editdlrm
Scanners.py	12259	0644	editdlrm
Timing.py	472	0644	editdlrm
Traditional.py	4120	0644	editdlrm
Transitions.py	7187	0644	editdlrm
__init__.py	1282	0644	editdlrm

# # Get time in platform-dependent way # from __future__ import absolute_import import os from sys import platform, exit, stderr if platform == 'mac': import MacOS def time(): return MacOS.GetTicks() / 60.0 timekind = "real" elif hasattr(os, 'times'): def time(): t = os.times() return t[0] + t[1] timekind = "cpu" else: stderr.write( "Don't know how to get time on platform %s\n" % repr(platform)) exit(1)