sources.array[ src ].filename,
pos - sources.array[ src ].start +
sources.array[ src ].from,
sources.array[ src ].filename,
pos - sources.array[ src ].start +
sources.array[ src ].from,
if ( ( src < sources.count ) && ( sources.array[ src ].start < x ) ) {
// Dump sources.array[src] up to x;
if ( !push ) {
if ( ( src < sources.count ) && ( sources.array[ src ].start < x ) ) {
// Dump sources.array[src] up to x;
if ( !push ) {
sources.array[ src ].filename,
sources.array[ src ].from,
//pos - sources.array[ src ].start,
sources.array[ src ].filename,
sources.array[ src ].from,
//pos - sources.array[ src ].start,