Lines Matching defs:string
41 import string
247 desc = string.replace(desc, "'", " ")
248 l = string.split(desc, ".")
338 desc = string.replace(desc, "'", " ")
395 title = string.replace(title, "'", " ")
474 str = string.replace(str, ".", " ")
475 str = string.replace(str, "!", " ")
476 str = string.replace(str, "?", " ")
477 str = string.replace(str, ",", " ")
478 str = string.replace(str, "'", " ")
479 str = string.replace(str, '"', " ")
480 str = string.replace(str, ";", " ")
481 str = string.replace(str, "(", " ")
482 str = string.replace(str, ")", " ")
483 str = string.replace(str, "{", " ")
484 str = string.replace(str, "}", " ")
485 str = string.replace(str, "<", " ")
486 str = string.replace(str, ">", " ")
487 str = string.replace(str, "=", " ")
488 str = string.replace(str, "/", " ")
489 str = string.replace(str, "*", " ")
490 str = string.replace(str, ":", " ")
491 str = string.replace(str, "#", " ")
492 str = string.replace(str, "\\", " ")
493 str = string.replace(str, "\n", " ")
494 str = string.replace(str, "\r", " ")
495 str = string.replace(str, "\xc2", " ")
496 str = string.replace(str, "\xa0", " ")
500 str = string.replace(str, "'", " ")
501 str = string.replace(str, "\n", " ")
502 str = string.replace(str, "\r", " ")
503 str = string.replace(str, "\xc2", " ")
504 str = string.replace(str, "\xa0", " ")
505 l = string.split(str)
506 str = string.join(str)
512 cur = string.lower(str[0])
517 cur = cur + string.lower(str[0])
560 l = string.split(str)
606 l = string.split(str)
653 l = string.split(str)
793 info = string.replace(info, "'", " ")
794 info = string.strip(info)
795 l = string.split(info)
808 symbol = string.replace(symbol, "'", " ")
809 symbol = string.strip(symbol)
831 info = string.replace(info, "'", " ")
832 info = string.strip(info)
834 l = string.split(info)
848 symbol = string.replace(symbol, "'", " ")
849 symbol = string.strip(symbol)
861 rinfo = string.replace(rinfo, "'", " ")
862 rinfo = string.strip(rinfo)
867 ainfo = string.replace(ainfo, "'", " ")
868 ainfo = string.strip(ainfo)
872 name = string.replace(name, "'", " ")
873 name = string.strip(name)
880 info = string.replace(info, "'", " ")
881 info = string.strip(info)