make_static_database Namespace Reference

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

Variable Documentation

escaped_chars

make_static_database.escaped_chars = re.compile('(["\\%])');

file

make_static_database.file = re.sub( '//', '/', file )

fullfilename

string make_static_database.fullfilename = path_prefix + "/" + file

input

make_static_database.input = open( fullfilename, "r" );

inputdata

make_static_database.inputdata = input.read().split("\n")

line

make_static_database.line = re.sub( '\\\\', '\\\\\\\\', line )

outfile

make_static_database.outfile = open( output, "w" )

output

string make_static_database.output = "static_database.hh";

path_prefix

string make_static_database.path_prefix = "/Users/mtyka/rosetta_database/"