| | | 1 | | using NanoCLang.Environemnts; |
| | | 2 | | using System; |
| | | 3 | | using System.Collections.Generic; |
| | | 4 | | |
| | | 5 | | namespace NanoCLang.Entities { |
| | | 6 | | /// <summary> |
| | | 7 | | /// Provides a class for function bindings. |
| | | 8 | | /// </summary> |
| | | 9 | | public class FunctionBinding : Program, IEquatable<FunctionBinding?> { |
| | | 10 | | /// <summary> |
| | | 11 | | /// Creates a new instance of a function binding that binds the <paramref name="definition"/> to the function <p |
| | | 12 | | /// </summary> |
| | | 13 | | /// <param name="name">Name that the function is bound to.</param> |
| | | 14 | | /// <param name="definition">Definition of the function.</param> |
| | | 15 | | /// <param name="body">Program that the function name is bound in.</param> |
| | 100 | 16 | | public FunctionBinding(string name, FunctionDefinition definition, Program body) { |
| | 50 | 17 | | Name = name; |
| | 50 | 18 | | Definition = definition; |
| | 50 | 19 | | Body = body; |
| | 50 | 20 | | } |
| | | 21 | | /// <summary> |
| | | 22 | | /// Definition of the function. |
| | | 23 | | /// </summary> |
| | 155 | 24 | | public FunctionDefinition Definition { get; } |
| | | 25 | | /// <summary> |
| | | 26 | | /// Program that the function name is bound in. |
| | | 27 | | /// </summary> |
| | 178 | 28 | | public Program Body { get; } |
| | | 29 | | /// <summary> |
| | | 30 | | /// Name that the function is bound to. |
| | | 31 | | /// </summary> |
| | 152 | 32 | | public string Name { get; } |
| | | 33 | | /// <inheritdoc/> |
| | 22 | 34 | | public override World WellFormed(GlobalEnvironment phi) { |
| | 22 | 35 | | VerbConsole.WriteLine(VerbosityLevel.Default, $"WF-FunctionBinding: {Name}"); |
| | 43 | 36 | | return phi.With(this, phi => { |
| | 21 | 37 | | Definition.WellFormed(phi, Name); |
| | 21 | 38 | | return Body.WellFormed(phi); |
| | 42 | 39 | | }); |
| | 20 | 40 | | } |
| | | 41 | | /// <inheritdoc/> |
| | 20 | 42 | | public override IEnumerable<StringFormatterToken> Tokens(NanoCSourceFormat args) { |
| | 20 | 43 | | yield return "letf"; |
| | 20 | 44 | | yield return " "; |
| | 20 | 45 | | yield return Name; |
| | 40 | 46 | | if (args.SpaceBeforeBindingAssignment) yield return " "; |
| | 20 | 47 | | yield return "="; |
| | 40 | 48 | | if (args.SpaceAfterBindingAssignment) yield return " "; |
| | 10968 | 49 | | foreach (var tk in Definition.Tokens(args)) yield return tk; |
| | 20 | 50 | | yield return " "; |
| | 20 | 51 | | yield return "in"; |
| | 20 | 52 | | if (Body is null) yield break; |
| | 20 | 53 | | if (args.NewlinesAfterFunctionBinding <= 0) yield return " "; |
| | 160 | 54 | | else for (int i = 0; i < args.NewlinesAfterFunctionBinding; i++) yield return new NewLineToken(); |
| | 15351 | 55 | | foreach (var tk in Body.Tokens(args)) yield return tk; |
| | 20 | 56 | | } |
| | | 57 | | /// <inheritdoc/> |
| | 25 | 58 | | public override IEnumerable<StringFormatterToken> Tokens(CSourceFormat args) { |
| | 111 | 59 | | foreach(var tk in Program.PrintHeader(args)) yield return tk; |
| | 171 | 60 | | foreach (var tk in Definition.Schema.World.Type.Tokens(args)) yield return tk; |
| | 25 | 61 | | yield return " "; |
| | 25 | 62 | | yield return Name; |
| | 5454 | 63 | | foreach (var tk in Definition.Tokens(args)) yield return tk; |
| | 25 | 64 | | if (Body is null) yield break; |
| | 150 | 65 | | for (int i = 0; i < args.NewlinesAfterFunctionBinding; i++) |
| | 50 | 66 | | yield return new NewLineToken(); |
| | 9892 | 67 | | if (!(Body is null)) foreach (var tk in Body.Tokens(args)) yield return tk; |
| | 25 | 68 | | } |
| | | 69 | | #region Equality checks |
| | | 70 | | /// <inheritdoc/> |
| | 21 | 71 | | public override bool Equals(object? obj) => Equals(obj as FunctionBinding); |
| | | 72 | | /// <inheritdoc/> |
| | 21 | 73 | | public bool Equals(FunctionBinding? other) => !(other is null) && EqualityComparer<FunctionDefinition>.Default.E |
| | | 74 | | /// <inheritdoc/> |
| | 0 | 75 | | public override int GetHashCode() => HashCode.Combine(Definition, Body, Name); |
| | | 76 | | /// <inheritdoc/> |
| | 0 | 77 | | public static bool operator ==(FunctionBinding? left, FunctionBinding? right) => EqualityComparer<FunctionBindin |
| | | 78 | | /// <inheritdoc/> |
| | 0 | 79 | | public static bool operator !=(FunctionBinding? left, FunctionBinding? right) => !(left == right); |
| | | 80 | | #endregion |
| | | 81 | | } |
| | | 82 | | } |