// semmle-extractor-options: /r:System.Collections.Specialized.dll /r:System.Collections.dll /r:System.Linq.dll
using System;
using System.Collections;
using System.Collections.Generic;
using System.Collections.Specialized;
using System.Linq;
#nullable enable
public class Collections
{
    void M1(string[] args)
    {
        var b = args.Length == 0;
        b = args.Length == 1;
        b = args.Length != 0;
        b = args.Length != 1;
        b = args.Length > 0;
        b = args.Length >= 0;
        b = args.Length >= 1;
    }

    void M2(ICollection<string> args)
    {
        var b = args.Count == 0;
        b = args.Count == 1;
        b = args.Count != 0;
        b = args.Count != 1;
        b = args.Count > 0;
        b = args.Count >= 0;
        b = args.Count >= 1;
    }

    void M3(string[] args)
    {
        var b = args.Count() == 0;
        b = args.Count() == 1;
        b = args.Count() != 0;
        b = args.Count() != 1;
        b = args.Count() > 0;
        b = args.Count() >= 0;
        b = args.Count() >= 1;
    }

    void M4(string[] args)
    {
        var b = args.Any();
    }

    void M5(List<string> args)
    {
        if (args.Count == 0)
            return;
        var x = args.ToArray();
        args.Clear();
        x = args.ToArray();
        x = new string[] { "a", "b", "c" };
        x = x;
        x = new string[0];
        x = x;
    }

    void M6()
    {
        var x = new string[] { "a", "b", "c" }.ToList();
        x.Clear();
        if (x.Count == 0)
        {
            x.Add("a");
            x.Add("b");
        }
    }

    void M7(string[] args)
    {
        bool IsEmpty(string s) => s == "";
        var b = args.Any(IsEmpty);
        b = args.Count(IsEmpty) == 0;
        b = args.Count(IsEmpty) == 1;
        b = args.Count(IsEmpty) != 0;
        b = args.Count(IsEmpty) != 1;
        b = args.Count(IsEmpty) > 0;
        b = args.Count(IsEmpty) >= 0;
        b = args.Count(IsEmpty) >= 1;
    }

    void M8()
    {
        var x = new string[] { };
        string[] y = { };
        x = new string[] { "a" };
        string[] z = { "a" };
    }

    void M9(string[] args)
    {
        foreach (var arg in args)
            Console.WriteLine(args); // guarded by `args` being non-empty
    }

    void M10(string[] args)
    {
        foreach (var arg in args)
            ;
        Console.WriteLine(args);
    }
}