From c3fc88b703781cdb3526e3b1f5f7e2410907cbce Mon Sep 17 00:00:00 2001
From: GGG KILLER <gggkiller2@gmail.com>
Date: Mon, 14 Sep 2020 18:26:09 -0300
Subject: [PATCH] Remove composable stuff

---
 GParse/Composable/Alternation.cs              | 23 --------
 GParse/Composable/GrammarNode.cs              | 50 ----------------
 GParse/Composable/GrammarNodeListContainer.cs | 49 ----------------
 GParse/Composable/Negation.cs                 | 23 --------
 GParse/Composable/NonTerminal.cs              | 24 --------
 GParse/Composable/Repetition.cs               | 32 ----------
 GParse/Composable/Sequence.cs                 | 23 --------
 GParse/Composable/Terminal.cs                 | 24 --------
 GParse/Lexing/Composable/CharRangeNode.cs     | 32 ----------
 .../Composable/ComposableLexerRuleCompiler.cs | 22 -------
 .../ComposableLexerRuleInterpreter.cs         | 25 --------
 .../IComposableLexerRuleCompiler.cs           | 19 ------
 GParse/Lexing/Composable/PrefixNode.cs        | 58 -------------------
 13 files changed, 404 deletions(-)
 delete mode 100644 GParse/Composable/Alternation.cs
 delete mode 100644 GParse/Composable/GrammarNode.cs
 delete mode 100644 GParse/Composable/GrammarNodeListContainer.cs
 delete mode 100644 GParse/Composable/Negation.cs
 delete mode 100644 GParse/Composable/NonTerminal.cs
 delete mode 100644 GParse/Composable/Repetition.cs
 delete mode 100644 GParse/Composable/Sequence.cs
 delete mode 100644 GParse/Composable/Terminal.cs
 delete mode 100644 GParse/Lexing/Composable/CharRangeNode.cs
 delete mode 100644 GParse/Lexing/Composable/ComposableLexerRuleCompiler.cs
 delete mode 100644 GParse/Lexing/Composable/ComposableLexerRuleInterpreter.cs
 delete mode 100644 GParse/Lexing/Composable/IComposableLexerRuleCompiler.cs
 delete mode 100644 GParse/Lexing/Composable/PrefixNode.cs

diff --git a/GParse/Composable/Alternation.cs b/GParse/Composable/Alternation.cs
deleted file mode 100644
index a435403..0000000
--- a/GParse/Composable/Alternation.cs
+++ /dev/null
@@ -1,23 +0,0 @@
-using System.Collections.Generic;
-
-namespace GParse.Composable
-{
-    /// <summary>
-    /// Represents an alternation of different possible grammar trees
-    /// </summary>
-    public class Alternation<T> : GrammarNodeListContainer<Alternation<T>, T>
-    {
-        /// <summary>
-        /// The grammar nodes that compose this alternation
-        /// </summary>
-        public IReadOnlyList<GrammarNode<T>> GrammarNodes => this.grammarNodes;
-
-        /// <summary>
-        /// Initializes an alternation
-        /// </summary>
-        /// <param name="grammarNodes"></param>
-        public Alternation ( params GrammarNode<T>[] grammarNodes ) : base ( grammarNodes )
-        {
-        }
-    }
-}
diff --git a/GParse/Composable/GrammarNode.cs b/GParse/Composable/GrammarNode.cs
deleted file mode 100644
index 26ee7b2..0000000
--- a/GParse/Composable/GrammarNode.cs
+++ /dev/null
@@ -1,50 +0,0 @@
-using System.Collections.Generic;
-
-namespace GParse.Composable
-{
-    /// <summary>
-    /// The base class for all grammar nodes
-    /// </summary>
-    public abstract class GrammarNode<T>
-    {
-        /// <summary>
-        /// Creates an alternation node
-        /// </summary>
-        /// <param name="left"></param>
-        /// <param name="right"></param>
-        /// <returns></returns>
-        public static Alternation<T> operator | ( GrammarNode<T> left, GrammarNode<T> right )
-        {
-            var nodes = new List<GrammarNode<T>> ( );
-            if ( left is Alternation<T> leftAlternation )
-                nodes.AddRange ( leftAlternation.GrammarNodes );
-            else
-                nodes.Add ( left );
-            if ( right is Alternation<T> rightAlternation )
-                nodes.AddRange ( rightAlternation.GrammarNodes );
-            else
-                nodes.Add ( right );
-            return new Alternation<T> ( nodes.ToArray ( ) );
-        }
-
-        /// <summary>
-        /// Creates a sequence node
-        /// </summary>
-        /// <param name="left"></param>
-        /// <param name="right"></param>
-        /// <returns></returns>
-        public static Sequence<T> operator & ( GrammarNode<T> left, GrammarNode<T> right )
-        {
-            var nodes = new List<GrammarNode<T>> ( );
-            if ( left is Sequence<T> leftAlternation )
-                nodes.AddRange ( leftAlternation.GrammarNodes );
-            else
-                nodes.Add ( left );
-            if ( right is Sequence<T> rightAlternation )
-                nodes.AddRange ( rightAlternation.GrammarNodes );
-            else
-                nodes.Add ( right );
-            return new Sequence<T> ( nodes.ToArray ( ) );
-        }
-    }
-}
diff --git a/GParse/Composable/GrammarNodeListContainer.cs b/GParse/Composable/GrammarNodeListContainer.cs
deleted file mode 100644
index 9ddfb0f..0000000
--- a/GParse/Composable/GrammarNodeListContainer.cs
+++ /dev/null
@@ -1,49 +0,0 @@
-using System.Collections.Generic;
-
-namespace GParse.Composable
-{
-    /// <summary>
-    /// Represents a node that contains other nodes as it's children
-    /// </summary>
-    /// <typeparam name="TNode"></typeparam>
-    /// <typeparam name="TElem"></typeparam>
-    public abstract class GrammarNodeListContainer<TNode, TElem> : GrammarNode<TElem>
-        where TNode : GrammarNodeListContainer<TNode, TElem>
-    {
-        /// <summary>
-        /// The list of grammar nodes
-        /// </summary>
-        protected readonly List<GrammarNode<TElem>> grammarNodes;
-
-        /// <summary>
-        /// Initializes a new <see cref="GrammarNodeListContainer{TNode,TElem}" />
-        /// </summary>
-        /// <param name="grammarNodes"></param>
-        protected GrammarNodeListContainer ( GrammarNode<TElem>[] grammarNodes )
-        {
-            this.grammarNodes = new List<GrammarNode<TElem>> ( grammarNodes );
-        }
-
-        /// <summary>
-        /// Appends a node to this container's children list
-        /// </summary>
-        /// <param name="grammarNode"></param>
-        /// <returns></returns>
-        public virtual TNode AppendNode ( GrammarNode<TElem> grammarNode )
-        {
-            this.grammarNodes.Add ( grammarNode );
-            return ( TNode ) this;
-        }
-
-        /// <summary>
-        /// Appends a collection of nodes to this container's children list
-        /// </summary>
-        /// <param name="grammarNodes"></param>
-        /// <returns></returns>
-        public virtual TNode AppendNodes ( IEnumerable<GrammarNode<TElem>> grammarNodes )
-        {
-            this.grammarNodes.AddRange ( grammarNodes );
-            return ( TNode ) this;
-        }
-    }
-}
diff --git a/GParse/Composable/Negation.cs b/GParse/Composable/Negation.cs
deleted file mode 100644
index ddb08ce..0000000
--- a/GParse/Composable/Negation.cs
+++ /dev/null
@@ -1,23 +0,0 @@
-namespace GParse.Composable
-{
-    /// <summary>
-    /// Represents a negation of a grammar node
-    /// </summary>
-    /// <typeparam name="T"></typeparam>
-    public class Negation<T> : GrammarNode<T>
-    {
-        /// <summary>
-        /// The grammar node to be negated
-        /// </summary>
-        public GrammarNode<T> GrammarNode { get; }
-
-        /// <summary>
-        /// Initializes a new grammar node
-        /// </summary>
-        /// <param name="grammarNode"></param>
-        public Negation ( GrammarNode<T> grammarNode )
-        {
-            this.GrammarNode = grammarNode;
-        }
-    }
-}
\ No newline at end of file
diff --git a/GParse/Composable/NonTerminal.cs b/GParse/Composable/NonTerminal.cs
deleted file mode 100644
index 0fe0919..0000000
--- a/GParse/Composable/NonTerminal.cs
+++ /dev/null
@@ -1,24 +0,0 @@
-using System;
-
-namespace GParse.Composable
-{
-    /// <summary>
-    /// Represents a non-terminal
-    /// </summary>
-    public class NonTerminal<T> : GrammarNode<T>
-    {
-        /// <summary>
-        /// The name of the production this references
-        /// </summary>
-        public String Name { get; }
-
-        /// <summary>
-        /// Initializes a non-terminal
-        /// </summary>
-        /// <param name="name"></param>
-        public NonTerminal ( String name )
-        {
-            this.Name = name;
-        }
-    }
-}
diff --git a/GParse/Composable/Repetition.cs b/GParse/Composable/Repetition.cs
deleted file mode 100644
index e25be33..0000000
--- a/GParse/Composable/Repetition.cs
+++ /dev/null
@@ -1,32 +0,0 @@
-using System;
-
-namespace GParse.Composable
-{
-    /// <summary>
-    /// Represents a repetition of a grammar node
-    /// </summary>
-    /// <typeparam name="T"></typeparam>
-    public class Repetition<T> : GrammarNode<T>
-    {
-        /// <summary>
-        /// The grammar node that is to be repeated
-        /// </summary>
-        public GrammarNode<T> GrammarNode { get; }
-
-        /// <summary>
-        /// The number of repetitions required and permitted.
-        /// </summary>
-        public (UInt32? Minimum, UInt32? Maximum) Repetitions { get; }
-
-        /// <summary>
-        /// Creates a new repetition node
-        /// </summary>
-        /// <param name="grammarNode"></param>
-        /// <param name="repetitions"></param>
-        public Repetition ( GrammarNode<T> grammarNode, (UInt32? Minimum, UInt32? Maximum) repetitions )
-        {
-            this.GrammarNode = grammarNode;
-            this.Repetitions = repetitions;
-        }
-    }
-}
\ No newline at end of file
diff --git a/GParse/Composable/Sequence.cs b/GParse/Composable/Sequence.cs
deleted file mode 100644
index ef04ec0..0000000
--- a/GParse/Composable/Sequence.cs
+++ /dev/null
@@ -1,23 +0,0 @@
-using System.Collections.Generic;
-
-namespace GParse.Composable
-{
-    /// <summary>
-    /// Represents a sequence of grammar rules
-    /// </summary>
-    public class Sequence<T> : GrammarNodeListContainer<Sequence<T>, T>
-    {
-        /// <summary>
-        /// The grammar nodes that compose this sequence
-        /// </summary>
-        public IReadOnlyList<GrammarNode<T>> GrammarNodes => this.grammarNodes;
-
-        /// <summary>
-        /// Initializes a sequence
-        /// </summary>
-        /// <param name="grammarNodes"></param>
-        public Sequence ( params GrammarNode<T>[] grammarNodes ) : base(grammarNodes)
-        {
-        }
-    }
-}
diff --git a/GParse/Composable/Terminal.cs b/GParse/Composable/Terminal.cs
deleted file mode 100644
index b7806c9..0000000
--- a/GParse/Composable/Terminal.cs
+++ /dev/null
@@ -1,24 +0,0 @@
-using System;
-
-namespace GParse.Composable
-{
-    /// <summary>
-    /// Represents a terminal
-    /// </summary>
-    public class Terminal<T> : GrammarNode<T>
-    {
-        /// <summary>
-        /// The value of the terminal
-        /// </summary>
-        public T Value { get; }
-
-        /// <summary>
-        /// Initializes a new terminal
-        /// </summary>
-        /// <param name="value"></param>
-        public Terminal ( T value )
-        {
-            this.Value = value;
-        }
-    }
-}
diff --git a/GParse/Lexing/Composable/CharRangeNode.cs b/GParse/Lexing/Composable/CharRangeNode.cs
deleted file mode 100644
index 84068fd..0000000
--- a/GParse/Lexing/Composable/CharRangeNode.cs
+++ /dev/null
@@ -1,32 +0,0 @@
-using System;
-using GParse.Composable;
-
-namespace GParse.Lexing.Composable
-{
-    /// <summary>
-    /// Represents a grammar node that matches an inclusive range
-    /// </summary>
-    public class CharRangeNode : GrammarNode<Char>
-    {
-        /// <summary>
-        /// The first char this range will match
-        /// </summary>
-        public Char Start { get; }
-
-        /// <summary>
-        /// The last char this range will match
-        /// </summary>
-        public Char End { get; }
-
-        /// <summary>
-        /// Initializes this character range grammar node
-        /// </summary>
-        /// <param name="start">The first char this range will match</param>
-        /// <param name="end">The last char this range will match</param>
-        public CharRangeNode ( Char start, Char end )
-        {
-            this.Start = start;
-            this.End = end;
-        }
-    }
-}
\ No newline at end of file
diff --git a/GParse/Lexing/Composable/ComposableLexerRuleCompiler.cs b/GParse/Lexing/Composable/ComposableLexerRuleCompiler.cs
deleted file mode 100644
index aafeea8..0000000
--- a/GParse/Lexing/Composable/ComposableLexerRuleCompiler.cs
+++ /dev/null
@@ -1,22 +0,0 @@
-using System;
-using System.Collections.Generic;
-using System.Reflection.Emit;
-using System.Text;
-using GParse.Composable;
-using GParse.Lexing.Modules;
-
-namespace GParse.Lexing.Composable
-{
-    /// <summary>
-    /// A <see cref="GrammarNode{T}"/>-based lexer rule compiler
-    /// </summary>
-    /// <typeparam name="TTokenType"></typeparam>
-    public class ComposableLexerRuleCompiler<TTokenType> : IComposableLexerRuleCompiler<TTokenType>
-    {
-        /// <inheritdoc/>
-        public ILexerModule<TTokenType> CompileRule ( GrammarNode<Char> grammarNode )
-        {
-            throw new NotImplementedException ( );
-        }
-    }
-}
diff --git a/GParse/Lexing/Composable/ComposableLexerRuleInterpreter.cs b/GParse/Lexing/Composable/ComposableLexerRuleInterpreter.cs
deleted file mode 100644
index 6d9101d..0000000
--- a/GParse/Lexing/Composable/ComposableLexerRuleInterpreter.cs
+++ /dev/null
@@ -1,25 +0,0 @@
-using System;
-using GParse.Composable;
-using GParse.IO;
-using GParse.Lexing.Modules;
-
-namespace GParse.Lexing.Composable
-{
-    internal class ComposableLexerRuleInterpreter<TTokenType> : ILexerModule<TTokenType>
-    {
-        public String Name { get; }
-        public String Prefix { get; }
-        private GrammarNode<Char> RootNode { get; }
-
-        public ComposableLexerRuleInterpreter ( String name, GrammarNode<Char> rootNode )
-        {
-            this.Name = name;
-            this.Prefix = null!;
-            this.RootNode = rootNode;
-        }
-
-        public Boolean CanConsumeNext ( IReadOnlyCodeReader reader ) => throw new NotImplementedException ( );
-
-        public Token<TTokenType> ConsumeNext ( ICodeReader reader, IProgress<Diagnostic> diagnosticEmitter ) => throw new NotImplementedException ( );
-    }
-}
\ No newline at end of file
diff --git a/GParse/Lexing/Composable/IComposableLexerRuleCompiler.cs b/GParse/Lexing/Composable/IComposableLexerRuleCompiler.cs
deleted file mode 100644
index 57611d4..0000000
--- a/GParse/Lexing/Composable/IComposableLexerRuleCompiler.cs
+++ /dev/null
@@ -1,19 +0,0 @@
-using System;
-using GParse.Composable;
-using GParse.Lexing.Modules;
-
-namespace GParse.Lexing.Composable
-{
-    /// <summary>
-    /// The interface for a composable rule compiler
-    /// </summary>
-    public interface IComposableLexerRuleCompiler<TTokenType>
-    {
-        /// <summary>
-        /// Compiles a <see cref="GrammarNode{T}"/> into a <see cref="ILexerModule{TokenTypeT}"/>.
-        /// </summary>
-        /// <param name="grammarNode"></param>
-        /// <returns></returns>
-        ILexerModule<TTokenType> CompileRule ( GrammarNode<Char> grammarNode );
-    }
-}
\ No newline at end of file
diff --git a/GParse/Lexing/Composable/PrefixNode.cs b/GParse/Lexing/Composable/PrefixNode.cs
deleted file mode 100644
index ea18774..0000000
--- a/GParse/Lexing/Composable/PrefixNode.cs
+++ /dev/null
@@ -1,58 +0,0 @@
-using System;
-using System.Linq;
-using GParse.Composable;
-
-namespace GParse.Lexing.Composable
-{
-    /// <summary>
-    /// Represents a sequence that defines the prefix of this rule
-    /// </summary>
-    public class PrefixNode : GrammarNode<Char>
-    {
-        private static Boolean HasPrefixNodeInTree ( GrammarNode<Char> grammarNode )
-        {
-            return grammarNode switch
-            {
-                PrefixNode _ => true,
-                Sequence<Char> seq => seq.GrammarNodes.Any ( HasPrefixNodeInTree ),
-                Alternation<Char> alt => alt.GrammarNodes.Any ( HasPrefixNodeInTree ),
-                Negation<Char> neg => HasPrefixNodeInTree ( neg.GrammarNode ),
-                Repetition<Char> rep => HasPrefixNodeInTree ( rep.GrammarNode ),
-                _ => false,
-            };
-        }
-
-        /// <summary>
-        /// Returns whether a grammar node has a proper <see cref="PrefixNode"/>
-        /// </summary>
-        /// <param name="grammarNode"></param>
-        /// <returns></returns>
-        public static Boolean HasProperPrefixSequence ( GrammarNode<Char> grammarNode )
-        {
-            return grammarNode switch
-            {
-                PrefixNode _ => true,
-                Sequence<Char> seq => seq.GrammarNodes.Count > 0
-                                      && HasProperPrefixSequence ( seq.GrammarNodes[0] )
-                                      && seq.GrammarNodes.Skip ( 1 ).All ( g => !HasProperPrefixSequence ( g ) ),
-                Alternation<Char> alt => alt.GrammarNodes.Count > 0
-                                         && alt.GrammarNodes.All ( HasProperPrefixSequence ),
-                _ => false,
-            };
-        }
-
-        /// <summary>
-        /// The grammar node that represents the prefix
-        /// </summary>
-        public GrammarNode<Char> GrammarNode { get; }
-
-        /// <summary>
-        /// Initializes a prefix sequence
-        /// </summary>
-        /// <param name="grammarNode"></param>
-        public PrefixNode ( GrammarNode<Char> grammarNode )
-        {
-            this.GrammarNode = grammarNode;
-        }
-    }
-}
\ No newline at end of file