File assertions: #hasParent, #hasName, #hasExtension

Add examples.