public long GetFileSize(string relativePath) { Contract.Requires(relativePath != null); Contract.Ensures(Contract.Result<long>() >= 0); return 0; // dummy value }