suzanne.soy/envlang-csharp
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Custom exception classes, HashCode, started Parser

Browse Source
This commit is contained in:
Suzanne Soy 2020-08-19 18:36:41 +00:00
parent 967e1e3266
commit b0c47947a6
8 changed files with 154 additions and 43 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.replit
View File

@ -1 +1 @@
run='make'
run='reset; make'

17
Exceptions.cs Normal file
View File

@ -0,0 +1,17 @@
using System;
public abstract class UserErrorException : Exception {
public UserErrorException(string e) : base(e) {}
}
public class ParserErrorException : UserErrorException {
public ParserErrorException(string e) : base("Parser error: " + e) {}
}
public class LexerErrorException : UserErrorException {
public LexerErrorException(string e) : base("Lexer error: " + e) {}
}
public class TestFailedException : UserErrorException {
public TestFailedException(string e) : base("Test failed: " + e) {}
}

6
Lexer.cs
View File

@ -122,7 +122,7 @@ public static partial class Lexer {
return result;
}
public static Exception ParseError(StringBuilder context, IEnumerator<GraphemeCluster> stream, S state, List<Rule> possibleNext, GraphemeCluster gc) {
public static ParserErrorException ParserError(StringBuilder context, IEnumerator<GraphemeCluster> stream, S state, List<Rule> possibleNext, GraphemeCluster gc) {
var rest =
stream
.SingleUseEnumerable()
@ -136,7 +136,7 @@ public static partial class Lexer {
.First()
.Match(some: (x => x.UnicodeCategory(0).ToString()),
none: "None (empty string)");
return new Exception(
return new ParserErrorException(
$"Unexpected {actual} (Unicode category {cat}) while the lexer was in state {state}: expected one of {expected}{Environment.NewLine}{context} <--HERE {rest}"
);
}
@ -158,7 +158,7 @@ public static partial class Lexer {
possibleNext
.First(r => r.test(c))
.IfSome(rule => Transition(ref state, ref lexeme, c, rule))
.ElseThrow(() => ParseError(context, e, state, possibleNext, c));
.ElseThrow(() => ParserError(context, e, state, possibleNext, c));
}
}

23
Parser.cs
View File

@ -4,9 +4,27 @@ using System.Collections.Generic;
using System.Linq;
using Immutable;
using S = Lexer.S;
using Lexeme = Lexer.Lexeme;
using static Global;
public static class Parser {
public static partial class Parser {
public class PrecedenceDAG: Dictionary<string, DAGNode> {};
public static PrecedenceDAG DefaultPrecedenceDAG = new PrecedenceDAG();
public static PrecedenceDAG With(PrecedenceDAG precedenceDAG, Operator @operator) {
throw new NotImplementedException();
}
public static void DagToGrammar(DAGNode precedenceDAG) {
}
public static void RecursiveDescent(IEnumerable<Lexeme> e) {
}
public static Ast.Expr Parse(string source) {
return Lexer.Lex(source)
.SelectMany(lexeme =>
@ -21,7 +39,8 @@ public static class Parser {
)
)
.Single()
.ElseThrow(() => new Exception("empty file or more than one expression in file."));
.ElseThrow(() => new ParserErrorException(
"empty file or more than one expression in file."));
}
}

44
ParserGenerator.cs Normal file
View File

@ -0,0 +1,44 @@
using static Generator;
public static class ParserGenerator {
public static void Main() {
Generate(
"ParserGenerated.cs",
"using System.Collections.Generic;\n"
+ "using S = Lexer.S;",
"public static partial class Parser {",
"}",
"Parser.",
Types(
Variant("Grammar",
Case("List<Parser.Grammar>", "Or"),
Case("List<Parser.Grammar>", "Sequence")),
Variant("Fixity",
Case("Closed"),
Case("InfixLeftAssociative"),
Case("InfixRightAssociative"),
Case("InfixNonAssociative"),
Case("Prefix"),
Case("Postfix"),
Case("Terminal")),
Record("Operator",
Field("List<S>", "Parts"),
Field("List<string>", "Holes")),
Record("Closed",
Field("S", "openSymbol"),
Field("S", "closedSymbol")),
Record("DAGNode",
Field("List<S>", "infixLeftAssociative"),
Field("List<S>", "infixRightAssociative"),
Field("List<S>", "infixNonAssociative"),
Field("List<S>", "prefix"),
Field("List<S>", "postfix"),
Field("List<Closed>", "closed"),
Field("List<S>", "terminal"),
Field("List<string>", "successors"))));
}
}

43
T4/Generator.cs
View File

@ -11,7 +11,7 @@ public enum Kind {
public static class Generator {
public static void WriteVariant(this System.IO.StreamWriter o, string header, string footer, string qualifier, string name, Dictionary<string, string> variant) {
o.WriteLine($"{header}");
o.WriteLine("");
o.WriteLine($"");
o.WriteLine($" /* To match against an instance of {name}, write:");
o.WriteLine($" x.Match(");
@ -21,17 +21,29 @@ public static class Generator {
o.WriteLine($" */");
o.WriteLine($" public abstract class {name} : IEquatable<{name}> {{");
o.WriteLine($" public class Visitor<T> {{");
foreach (var @case in variant) {
var C = @case.Key;
var Ty = @case.Value;
o.WriteLine($" public Func<{Ty == null ? "" : $"{Ty}, "}T> {C} {{ get; set; }} ");
}
o.WriteLine($" }}");
o.WriteLine($" public abstract T Match_<T>(Visitor<T> c);");
foreach (var @case in variant) {
var C = @case.Key;
var Ty = @case.Value;
o.WriteLine($" public static {name} {C}{Ty == null ? $" = new {C}()" : $"({Ty} value) => new {C}(value)"};");
o.WriteLine($" public static {name} {C}{Ty == null
? $" = new Constructors.{C}()"
: $"({Ty} value) => new Constructors.{C}(value)"};");
}
foreach (var @case in variant) {
var C = @case.Key;
var Ty = @case.Value;
o.WriteLine($" public virtual Immutable.Option<{C}> As{C}() => Immutable.Option.None<{C}>();");
o.WriteLine($" public virtual Immutable.Option<Constructors.{C}> As{C}() => Immutable.Option.None<Constructors.{C}>();");
}
o.WriteLine($" private string GetTag() {{");
@ -40,23 +52,17 @@ public static class Generator {
$" {@case.Key}: {@case.Value == null ? "()" : "value"} => \"{@case.Key}\"")));
o.WriteLine($" );");
o.WriteLine($" }}");
o.WriteLine("");
o.WriteLine($" public abstract bool Equals(Object other);");
o.WriteLine($"");
o.WriteLine($" public override abstract bool Equals(Object other);");
o.WriteLine($" public abstract bool Equals({name} other);");
o.WriteLine("");
o.WriteLine($" }}");
o.WriteLine("");
o.WriteLine($"");
o.WriteLine($" public override abstract int GetHashCode();");
o.WriteLine($" public static class Constructors {{");
foreach (var @case in variant) {
var C = @case.Key;
var Ty = @case.Value;
o.WriteLine(
$" public partial class Visitor<T> {{"
+ $" public Func<{Ty == null ? "" : $"{Ty}, "}T> {C} {{ get; set; }} "
+ @"}");
o.WriteLine("");
o.WriteLine($" public sealed class {C} : {name} {{");
if (Ty != null) {
o.WriteLine($" public readonly {Ty} value;");
@ -88,6 +94,9 @@ public static class Generator {
o.WriteLine("");
}
o.WriteLine($" }}");
o.WriteLine($" }}");
o.WriteLine("");
o.WriteLine($"}}");
o.WriteLine($"public static class {name}ExtensionMethods {{");
@ -96,7 +105,7 @@ public static class Generator {
o.WriteLine(String.Join(",\n", variant.Select(c =>
$" Func<{c.Value == null ? "" : $"{c.Value}, "}T> {c.Key}")));
o.WriteLine($" ) {{");
o.WriteLine($" return e.Match_(new {qualifier}Visitor<T> {{");
o.WriteLine($" return e.Match_(new {qualifier}{name}.Visitor<T> {{");
o.WriteLine(String.Join(",\n", variant.Select(c =>
$" {c.Key} = {c.Key}")));
o.WriteLine($" }});");
@ -107,7 +116,7 @@ public static class Generator {
public static void WriteRecord(this System.IO.StreamWriter o, string header, string footer, string qualifier, string name, Dictionary<string, string> record) {
o.WriteLine($"{header}");
o.WriteLine("");
o.WriteLine($" public class {name} : IEquatable<{name}> {{");
o.WriteLine($" public sealed class {name} : IEquatable<{name}> {{");
foreach (var @field in record) {
var F = @field.Key;
var Ty = @field.Value;
@ -136,7 +145,7 @@ public static class Generator {
o.WriteLine($" public bool Equals({name} other)");
o.WriteLine($" => Equality.Equatable<{name}>(this, other);");
o.WriteLine($" public override int GetHashCode()");
o.WriteLine($" => HashCode.Combine(\"{name}\",");
o.WriteLine($" => Equality.HashCode(\"{name}\",");
o.WriteLine(String.Join(",\n", record.Select(@field =>
$" this.{@field.Key}")));
o.WriteLine($" );");

16
Utils/Equality.cs
View File

@ -56,4 +56,20 @@ public static class Equality {
return ((Object)a).Equals(b);
}
}
public static int HashCode(Object o1) => System.HashCode.Combine(o1);
public static int HashCode(Object o1, Object o2) => System.HashCode.Combine(o1, o2);
public static int HashCode(Object o1, Object o2, Object o3) => System.HashCode.Combine(o1, o2, o3);
public static int HashCode(Object o1, Object o2, Object o3, Object o4) => System.HashCode.Combine(o1, o2, o3, o4);
public static int HashCode(Object o1, Object o2, Object o3, Object o4, Object o5) => System.HashCode.Combine(o1, o2, o3, o4, o5);
public static int HashCode(Object o1, Object o2, Object o3, Object o4, Object o5, Object o6) => System.HashCode.Combine(o1, o2, o3, o4, o5, o6);
public static int HashCode(Object o1, Object o2, Object o3, Object o4, Object o5, Object o6, Object o7) => System.HashCode.Combine(o1, o2, o3, o4, o5, o6, o7);
public static int HashCode(Object o1, Object o2, Object o3, Object o4, Object o5, Object o6, Object o7, Object o8) => System.HashCode.Combine(o1, o2, o3, o4, o5, o6, o7, o8);
public static int HashCode(Object o1, Object o2, Object o3, Object o4, Object o5, Object o6, Object o7, Object o8, params Object[] objects) {
var hash = System.HashCode.Combine(o1, o2, o3, o4, o5, o6, o7, o8);foreach (var o in objects) {
hash = System.HashCode.Combine(hash, o);
}
return hash;
}
}

46
main.cs
View File

@ -32,7 +32,7 @@ public static class MainClass {
var expectedStr = expected.Read();
if (actualStr != expectedStr) {
Console.WriteLine("\x1b[1;31mFail\x1b[m");
throw new Exception($"Test failed {source}: expected {expectedStr} but got {actualStr}.");
throw new TestFailedException($"{source}: expected {expectedStr} but got {actualStr}.");
} else {
Console.Write("\x1b[1;32mOK\x1b[m\r");
}
@ -57,26 +57,32 @@ public static class MainClass {
}
public static void Main (string[] args) {
if (args.Length != 1) {
Console.WriteLine("Usage: mono main.exe path/to/file.e");
try {
if (args.Length != 1) {
Console.WriteLine("Usage: mono main.exe path/to/file.e");
Console.WriteLine("");
Console.WriteLine("Language syntax:");
Console.WriteLine("");
Console.WriteLine(" Expression =");
Console.WriteLine(" Int");
Console.WriteLine(" | String");
Console.WriteLine(" | Variable");
Console.WriteLine(" | Pattern \"->\" Expression");
Console.WriteLine("");
Console.WriteLine("I'll run the tests for you in the meanwhile.");
Console.WriteLine("");
RunTests();
} else {
var source = args[0].File();
var destPrefix = source.DropExtension();
CompileToFile(Compilers.JS.Compile, source, destPrefix.Combine(Ext(".js")));
CompileToFile(Evaluator.Evaluate, source, destPrefix.Combine(Ext(".txt")));
Console.Write(destPrefix.Combine(Ext(".txt")).Read());
}
} catch (UserErrorException e) {
Console.WriteLine("");
Console.WriteLine("Language syntax:");
Console.WriteLine("");
Console.WriteLine(" Expression =");
Console.WriteLine(" Int");
Console.WriteLine(" | String");
Console.WriteLine(" | Variable");
Console.WriteLine(" | Pattern \"->\" Expression");
Console.WriteLine("");
Console.WriteLine("I'll run the tests for you in the meanwhile.");
Console.WriteLine("");
RunTests();
} else {
var source = args[0].File();
var destPrefix = source.DropExtension();
CompileToFile(Compilers.JS.Compile, source, destPrefix.Combine(Ext(".js")));
CompileToFile(Evaluator.Evaluate, source, destPrefix.Combine(Ext(".txt")));
Console.Write(destPrefix.Combine(Ext(".txt")).Read());
Console.WriteLine(e.Message);
Environment.Exit(1);
}
}
}