private void AddEntry(Dictionary<string,VEntry> Entries, SourcePos Loc, string Name, Value Value) { VEntry Displaced; Entries.TryGetValue(Name, out Displaced); if (Displaced != null) { throw pex(Loc, "duplicate definition of \"" + Name + "\"", Displaced.SourcePos, "original definition"); } Entries.Add(Name, new VEntry(Loc, Name, Value)); }
public VEntry(SourcePos SourcePos, string Name, Value Value) : base(SourcePos) { this.Name = Name; this.Value = Value; }
public Element(Value First, SourcePos ArrowPos, Value Second) { this.First = First; this.ArrowPos = ArrowPos; this.Second = Second; }
public Element(Value First) { this.First = First; this.ArrowPos = null; this.Second = null; }