make_static_database.py File Reference

Namespaces
	make_static_database

Variables
string	make_static_database.output = "static_database.hh";
string	make_static_database.path_prefix = "/Users/mtyka/rosetta_database/"
	make_static_database.outfile = open( output, "w" )
	make_static_database.escaped_chars = re.compile('(["\\%])');
	make_static_database.file = re.sub( '//', '/', file )
string	make_static_database.fullfilename = path_prefix + "/" + file
	make_static_database.input = open( fullfilename, "r" );
	make_static_database.inputdata = input.read().split("\n")
	make_static_database.line = re.sub( '\\\\', '\\\\\\\\', line )