@@ -19,7 +19,7 @@ in `pool`, the default pool is all workers.
19
19
`verbosity` set to 0 silences updates on the current file being scanned.
20
20
21
21
"""
22
- function segy_scan (dir:: String , filt:: Union{String, Regex} , keys:: Array{String,1} , blocksize:: Int ;
22
+ function segy_scan (dir:: AbstractString , filt:: Union{String, Regex} , keys:: Array{String,1} , blocksize:: Int ;
23
23
chunksize:: Int = CHUNKSIZE,
24
24
pool:: WorkerPool = WorkerPool (workers ()),
25
25
verbosity:: Int = 1 ,
44
44
Scans all files whose name contains `filt` in each directory of `dirs` using `blocksize`.
45
45
46
46
"""
47
- function segy_scan (dirs:: Array{String ,1} , filt:: Union{String, Regex} , keys:: Array{String,1} , blocksize:: Int ;
47
+ function segy_scan (dirs:: Array{<:AbstractString ,1} , filt:: Union{String, Regex} , keys:: Array{String,1} , blocksize:: Int ;
48
48
chunksize:: Int = CHUNKSIZE,
49
49
pool:: WorkerPool = WorkerPool (workers ()),
50
50
verbosity:: Int = 1 ,
51
51
filter:: Bool = true )
52
52
53
- files = Array {String, 1} ()
53
+ files = Array {supertype(typeof(dirs[1]*"")), 1} ()
54
54
for dir in dirs
55
55
endswith (dir, " /" ) ? nothing : dir *= " /"
56
56
filter ? (filenames = searchdir (dir, filt)) : (filenames = [filt])
@@ -73,7 +73,7 @@ If no `blocksize` is specified, the scanner automatically detects source locatio
73
73
blocks of continguous traces for each source location, but each block no larger then CHUNKSIZE.
74
74
75
75
"""
76
- function segy_scan (dir:: String , filt:: Union{String, Regex} , keys:: Array{String,1} ;
76
+ function segy_scan (dir:: AbstractString , filt:: Union{String, Regex} , keys:: Array{String,1} ;
77
77
chunksize:: Int = CHUNKSIZE,
78
78
pool:: WorkerPool = WorkerPool (workers ()),
79
79
verbosity:: Int = 1 ,
98
98
Scans all files whose name contains `filt` in each directory of `dirs`.
99
99
100
100
"""
101
- function segy_scan (dirs:: Array{String ,1} , filt:: Union{String, Regex} , keys:: Array{String,1} ;
101
+ function segy_scan (dirs:: Array{<:AbstractString ,1} , filt:: Union{String, Regex} , keys:: Array{String,1} ;
102
102
chunksize:: Int = CHUNKSIZE,
103
103
pool:: WorkerPool = WorkerPool (workers ()),
104
104
verbosity:: Int = 1 ,
105
105
filter:: Bool = true )
106
106
107
- files = Array {String, 1} ()
107
+ files = Array {supertype(typeof(dirs[1]*"")), 1} ()
108
108
for dir in dirs
109
109
endswith (dir, " /" ) ? nothing : dir *= " /"
110
110
filter ? (filenames = searchdir (dir, filt)) : (filenames = [filt])
0 commit comments