GenerateMembers() public method

Generates at most k distinct strings in the language of the sfa. The enumeration is empty if the language is empty.
public GenerateMembers ( Automaton sfa, int k ) : IEnumerable
sfa Automaton
k int
return IEnumerable
RexEngine Class Documentation
示例#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");
        }