Clarification about uri encoding

[Paul Anderson <paul@grammatech.com>]

All:

Is it valid SARIF to have a uri encoded like this: "file:///c%3A/tmp/foo.c", and for this to be considered the same as "file:///c:/tmp/foo.c"?

My reading is yes, the encoding of the colon in that position is optional, but I just want to make sure....

Thanks,

-Paul

-- 
Paul Anderson, VP of Engineering, GrammaTech, Inc.
531 Esty St., Ithaca, NY 14850
Tel: +1 607 273-7340 x118; http://www.grammatech.com