489             return ps.externalCodeSize + ps.externalDataSize
941                             long externalDataSize = stats.externalDataSize
943                             long newSize = externalCodeSize + externalDataSize
950                                     entry.externalDataSize != externalDataSize ||
957                                 entry.externalDataSize = externalDataSize;
1077         public long externalDataSize;
1079         // This is the part of externalDataSize that is in the cache
1083         // the user may need to manage.  The externalDataSize also includes
1085         // externalDataSize that we can just consider to be "cache" files

Indexes created Fri Jan 08 05:29:00 CET 2016