C# (CSharp) PropositionalTokenizer Examples

Example #1

File: PropositionalTokenizerTests.cs Project: ajkimberley/PLP-Propositional-Logic-Parser-

        public void ScanNothingTest()
        {
            PropositionalTokenizer tokenizer = new PropositionalTokenizer();

            var tokens = tokenizer.Scan("");

            Assert.AreEqual(0, tokens.Count());
        }

Example #2

File: PropositionalTokenizerTests.cs Project: ajkimberley/PLP-Propositional-Logic-Parser-

        public void ScanLeftBracketTokenTest()
        {
            PropositionalTokenizer tokenizer = new PropositionalTokenizer();

            var tokens = tokenizer.Scan("(");

            Assert.AreEqual(1, tokens.Count());

            Assert.IsInstanceOfType(tokens.ElementAt(0), typeof(LeftBracketToken));
        }

Example #3

File: PropositionalTokenizerTests.cs Project: ajkimberley/PLP-Propositional-Logic-Parser-

        public void ScanSinglePropositionTest()
        {
            PropositionalTokenizer tokenizer = new PropositionalTokenizer();

            var tokens = tokenizer.Scan("P");

            Assert.AreEqual(1, tokens.Count());

            Assert.IsInstanceOfType(tokens.ElementAt(0), typeof(PropVarsToken));
        }

Example #4

File: PropositionalTokenizerTests.cs Project: ajkimberley/PLP-Propositional-Logic-Parser-

        public void ScanWhiteSpaceTest()
        {
            PropositionalTokenizer tokenizer = new PropositionalTokenizer();

            List <string> whiteSpaceChars = new List <string> {
                " ", "\t", "\r", "\n"
            };

            foreach (string c in whiteSpaceChars)
            {
                var tokens = tokenizer.Scan(c);

                Assert.AreEqual(0, tokens.Count());
            }
        }

Example #5

File: PropositionalTokenizerTests.cs Project: ajkimberley/PLP-Propositional-Logic-Parser-

        public void ScanInvalidTokenTest()
        {
            PropositionalTokenizer tokenizer = new PropositionalTokenizer();

            var tokens = tokenizer.Scan("%");
        }