public void AddLiteral(string literal, DfaNode node)
{
if (Literals == null)
{
Literals = new Dictionary <string, DfaNode>(StringComparer.OrdinalIgnoreCase);
}
Literals.Add(literal, node);
}
protected override ICommandAcceptor OnInitialize(ICommandAcceptor previousAcceptor)
{
if (ArgumentCount > 1)
{
return(base.OnInitialize(previousAcceptor));
}
Literals.Add(previousAcceptor);
CompletedLiterals = 1;
return(Factory.CreateLiteral(Calculate()));
}
public void AddChecked(Lit l)
{
bool found = false;
if (l.IsTemporary)
{
for (int i = 0; i < this.Literals.Count; i++)
{
if (this.Literals[i].IsTemporary && l.Atom == this.Literals[i].Atom)
{
found = true;
break;
}
}
if (!found)
{
Literals.Add(l);
} //else { }
return;
}
for (int i = 0; i < this.Literals.Count; i++)
{
if (l.Atom == this.Literals[i].Atom)
{
found = true;
if (l.Sign != this.Literals[i].Sign)
{
this.IsTautologic = true;
this.Literals.Clear();
}
//else {}
break;
}
}
if (!found)
{
Literals.Add(l);
}
return;
}
/// <summary>
/// Adds a literal to the enum (an entry)
/// </summary>
/// <param name="Name">Name of the entry</param>
/// <param name="Value">Value associated with it</param>
public virtual void AddLiteral(string Name, object Value)
{
Literals.Add(Builder.DefineLiteral(Name, Value));
}
/// <summary>
/// Adds a literal to the enum (an entry)
/// </summary>
/// <param name="name">name of the entry</param>
/// <param name="value">Value associated with it</param>
public virtual void AddLiteral(string name, object value)
{
Literals.Add(Builder.DefineLiteral(name, value));
}
