Lines Matching defs:string
13 import string
34 (blockfile, catfile) = string.split(sources)
52 line = string.strip(line)
56 fields = string.split(line, ';')
57 range = string.strip(fields[0])
58 (start, end) = string.split(range, "..")
59 name = string.strip(fields[1])
60 name = string.replace(name, ' ', '')
74 alias = string.split(block,':')
75 alist = string.split(alias[1],',')
107 line = string.strip(line)
111 fields = string.split(line, ';')
112 point = string.strip(fields[0])
257 #include <string.h>
282 name = string.replace(block, '-', '')
375 name = string.replace(block, '-', '')
