Representation of SrcSpan as JSON object