Microsoft.Automata.Rex.RexEngine.GenerateMembers C# (CSharp) Méthode

GenerateMembers() public méthode

Generates at most k distinct strings that match all the given regexes. The enumeration is empty if there are no strings that match all the regexes.
public GenerateMembers ( RegexOptions options, int k ) : IEnumerable
options RegexOptions regular expression options
k int number of members to be generated
Résultat IEnumerable
        public IEnumerable<string> GenerateMembers(RegexOptions options, int k, params string[] regexes)
        {
            Automaton<BDD> sfa = CreateFromRegexes(options, regexes);
            return GenerateMembers(sfa, k);
        }

Same methods

RexEngine::GenerateMembers ( Automaton sfa, int k ) : IEnumerable

Usage Example

Exemple #1
0
        public void TestSampleRegexesInMultilineMode()
        {
            Rex.RexEngine rex = new Rex.RexEngine(BitWidth.BV16);
            string[] regexes = File.ReadAllLines(regexesFile);
            List<int> exclude = new List<int>();

            int rxCount = 100; //number of strings to be generated for each regex
            for (int i = 1; i < regexes.Length; i++)
                foreach (string s in rex.GenerateMembers(RegexOptions.Multiline, rxCount, regexes[i]))
                    //if (!exclude.Contains(i))
                    Assert.IsTrue(Rex.RexEngine.IsMatch(s, regexes[i], RegexOptions.Multiline), "regex on line " + i + " in Samples/regexes.txt");
        }