Libraries anvil io File getName

string getName()
Returns the name of file pointed by this File instance.