Modified the definition and parsing of SourceLocation to correspond to
the new API