//private static int DirectoryListingType = PhpResource.RegisterType(DirectoryListingName);
// Note: PHP uses the stream mechanism listings (opendir etc.)
// this is the same but a) faster, b) more memory expensive for large directories
// (and unfinished listings in script)
public DirectoryListing(PhpDirectory.PhpDirectoryContext dirctx, IEnumerable <string> listing)
: base(DirectoryListingName)
{
Debug.Assert(listing != null);
Debug.Assert(dirctx != null);
_dirctx = dirctx;
this.Enumerator = listing.GetEnumerator();
}
public DirectoryListing(PhpDirectory.PhpDirectoryContext dirctx, IEnumerable <string> listing)
: base(DirectoryListingName)
{
_dirctx = dirctx ?? throw new ArgumentNullException(nameof(dirctx));
if (listing == null)
{
throw new ArgumentNullException(nameof(listing));
}
this.Enumerator = listing.GetEnumerator();
}
