| | | 1 | | using NanoCLang.Environemnts; |
| | | 2 | | using System; |
| | | 3 | | using System.Collections.Generic; |
| | | 4 | | |
| | | 5 | | namespace NanoCLang.Entities { |
| | | 6 | | /// <summary> |
| | | 7 | | /// Provide an abstract base class for all writing expressions. |
| | | 8 | | /// </summary> |
| | | 9 | | public abstract class WriteExpression : Expression { |
| | | 10 | | /// <summary> |
| | | 11 | | /// Equivalent read expression that is fixed during type inference. |
| | | 12 | | /// </summary> |
| | | 13 | | public virtual PointerWriteExpression? BaseWrite { get; protected set; } |
| | | 14 | | /// <inheritdoc/> |
| | | 15 | | public override IEnumerable<StringFormatterToken> Tokens(CSourceFormat args) |
| | | 16 | | => (BaseWrite ?? throw new InvalidOperationException("Write Expression must be fixed when translating!")) |
| | | 17 | | .Tokens(args); |
| | | 18 | | } |
| | | 19 | | /// <summary> |
| | | 20 | | /// Provides a class for pointer write expressions. |
| | | 21 | | /// </summary> |
| | | 22 | | public class PointerWriteExpression : WriteExpression, IEquatable<PointerWriteExpression?> { |
| | | 23 | | /// <summary> |
| | | 24 | | /// Creates a new instance of a pointer write expression that writes the <paramref name="value"/> to the <paramr |
| | | 25 | | /// </summary> |
| | | 26 | | /// <param name="pointer">Pointer to write to.</param> |
| | | 27 | | /// <param name="value">Value that shall be written.</param> |
| | 54 | 28 | | public PointerWriteExpression(PureExpression pointer, PureExpression value) { |
| | 27 | 29 | | Pointer = pointer; |
| | 27 | 30 | | Value = value; |
| | 27 | 31 | | } |
| | | 32 | | /// <summary> |
| | | 33 | | /// Pointer that is written to. |
| | | 34 | | /// </summary> |
| | 55 | 35 | | public PureExpression Pointer { get; } |
| | | 36 | | /// <summary> |
| | | 37 | | /// Value that is written to the <see cref="Pointer"/>. |
| | | 38 | | /// </summary> |
| | 85 | 39 | | public PureExpression Value { get; } |
| | | 40 | | /// <inheritdoc/> |
| | 0 | 41 | | public override PointerWriteExpression? BaseWrite { get => this; protected set => throw new InvalidOperationExce |
| | | 42 | | /// <inheritdoc/> |
| | 18 | 43 | | protected override World DoInferWorld(GlobalEnvironment phi, LocalEnvironment gamma, Heap heap) { |
| | 18 | 44 | | var ptrType = Pointer.InferType(gamma); |
| | 18 | 45 | | _ = PointerReadExpression.GetPointerValueType(ptrType, gamma, heap); |
| | 17 | 46 | | if (!(ptrType.BaseType is ReferenceType ptrRef)) |
| | 0 | 47 | | throw new IllFormedException(Pointer, "Pointer is not a reference!"); |
| | 17 | 48 | | var newHeap = heap.StrongUpdate(ptrRef, Value, out var tau); |
| | 17 | 49 | | Value.CheckType(gamma, tau); |
| | 17 | 50 | | return new World(IntegerType.Void, newHeap); |
| | 17 | 51 | | } |
| | | 52 | | /// <inheritdoc/> |
| | 7 | 53 | | public override IEnumerable<StringFormatterToken> Tokens(NanoCSourceFormat args) { |
| | 7 | 54 | | yield return "*"; |
| | 7 | 55 | | if (args.SpaceAfterDerefOperator) yield return " "; |
| | 126 | 56 | | foreach (var tk in Pointer.Tokens(args)) yield return tk; |
| | 14 | 57 | | if (args.SpaceBeforeBindingAssignment) yield return " "; |
| | 7 | 58 | | yield return "="; |
| | 14 | 59 | | if (args.SpaceAfterBindingAssignment) yield return " "; |
| | 54 | 60 | | foreach (var tk in Value.Tokens(args)) yield return tk; |
| | 7 | 61 | | } |
| | | 62 | | /// <inheritdoc/> |
| | 14 | 63 | | public override IEnumerable<StringFormatterToken> Tokens(CSourceFormat args) { |
| | 14 | 64 | | var writtenType = Value.FixedType; |
| | 14 | 65 | | if (writtenType is null) throw new InvalidOperationException("Expression must have fixed world when translat |
| | 14 | 66 | | yield return "*"; |
| | 14 | 67 | | if (args.SpaceAfterDerefOperator) yield return " "; |
| | 14 | 68 | | yield return "(("; |
| | 93 | 69 | | foreach (var tk in writtenType.Tokens(args)) yield return tk; |
| | 14 | 70 | | yield return "*)"; |
| | 402 | 71 | | foreach (var tk in Pointer.Tokens(args)) yield return tk; |
| | 14 | 72 | | yield return ")"; |
| | 28 | 73 | | if (args.SpaceBeforeBindingAssignment) yield return " "; |
| | 14 | 74 | | yield return "="; |
| | 28 | 75 | | if (args.SpaceAfterBindingAssignment) yield return " "; |
| | 126 | 76 | | foreach (var tk in Value.Tokens(args)) yield return tk; |
| | 14 | 77 | | } |
| | | 78 | | /// <inheritdoc/> |
| | 2 | 79 | | public override IEnumerable<string> RequiredFunctions() { yield break; } |
| | | 80 | | #region Equality checks |
| | | 81 | | /// <inheritdoc/> |
| | 8 | 82 | | public override bool Equals(object? obj) => Equals(obj as PointerWriteExpression); |
| | | 83 | | /// <inheritdoc/> |
| | 8 | 84 | | public bool Equals(PointerWriteExpression? other) => !(other is null) && EqualityComparer<PureExpression>.Defaul |
| | | 85 | | /// <inheritdoc/> |
| | 0 | 86 | | public override int GetHashCode() => HashCode.Combine(Pointer, Value); |
| | | 87 | | /// <inheritdoc/> |
| | 0 | 88 | | public static bool operator ==(PointerWriteExpression? left, PointerWriteExpression? right) => EqualityComparer< |
| | | 89 | | /// <inheritdoc/> |
| | 0 | 90 | | public static bool operator !=(PointerWriteExpression? left, PointerWriteExpression? right) => !(left == right); |
| | | 91 | | #endregion |
| | | 92 | | } |
| | | 93 | | } |