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;
}
