void firstFollowing(ScriptParserGenerator gen, DefinitionElement root, TextWriter writer, DefinitionContent content)
{
writer.WriteLine(string.Format(" {0}: first:<{1}> following:<{2}>", content, joinStr(content.GetFirstTerminals(gen)), joinStr(content.GetFollowingTerminals(gen))));
SelectionElement s = content as SelectionElement;
if (s != null)
{
foreach (ElementsElement elems in s.Candidates)
{
firstFollowing(gen, root, writer, elems);
}
}
ExpressionsElement ex = content as ExpressionsElement;
if (ex != null)
{
foreach (ElementsElement elems in ex.Selection.Candidates)
{
firstFollowing(gen, root, writer, elems);
}
}
ElementsElement es = content as ElementsElement;
if (es != null)
{
foreach (ElementElement elem in es.Elements)
{
firstFollowing(gen, root, writer, elem);
}
}
RepeatElement r = content as RepeatElement;
if (r != null)
{
firstFollowing(gen, root, writer, r.InnerExpression);
}
OptionElement o = content as OptionElement;
if (o != null)
{
firstFollowing(gen, root, writer, o.InnerExpression);
}
GroupElement g = content as GroupElement;
if (g != null)
{
firstFollowing(gen, root, writer, g.InnerExpression);
}
LiteralElement l = content as LiteralElement;
}
public int GetHashCode(DefinitionContent obj)
{
SelectionElement s = obj as SelectionElement;
if (s != null)
{
// ハッシュ値計算できないので適当
return(15773);
}
ExpressionsElement ex = obj as ExpressionsElement;
if (ex != null)
{
return(this.GetHashCode(ex.Selection));
}
ElementsElement es = obj as ElementsElement;
if (es != null)
{
return(es.Elements.Sum(e => this.GetHashCode(e)));
}
RepeatElement r = obj as RepeatElement;
if (r != null)
{
return(1744579 + this.GetHashCode(r.InnerExpression));
}
OptionElement o = obj as OptionElement;
if (o != null)
{
return(3234551 + this.GetHashCode(o.InnerExpression));
}
GroupElement g = obj as GroupElement;
if (g != null)
{
return(this.GetHashCode(g.InnerExpression));
}
LiteralElement l = obj as LiteralElement;
if (l != null)
{
return(l.InnerWord.GetHashCode() + l.Literal.Type.GetHashCode());
}
Debug.Assert(false);
return(7);
}
/// <summary> /// element = group ; /// </summary> /// <param name="group">group</param> protected abstract ElementElement ReturnElement(GroupElement group);
public bool Equals(DefinitionContent x, DefinitionContent y)
{
GroupElement x1 = x as GroupElement;
if (x1 != null)
{
return(this.Equals(x1.InnerExpression, y));
}
GroupElement y1 = y as GroupElement;
if (y1 != null)
{
return(this.Equals(x, y1.InnerExpression));
}
ExpressionsElement x2 = x as ExpressionsElement;
if (x2 != null)
{
return(this.Equals(x2.Selection, y));
}
ExpressionsElement y2 = y as ExpressionsElement;
if (y2 != null)
{
return(this.Equals(x, y2.Selection));
}
SelectionElement x3 = x as SelectionElement;
SelectionElement y3 = y as SelectionElement;
if (x3 != null && y3 != null)
{
// ∀x0(∈ x) x0 ∈ y かつ ∀y0(∈ y) y0 ∈ x ならば x = y
return(x3.Candidates.All(x0 => y3.Candidates.Any(y0 => this.Equals(x0, y0))) && y3.Candidates.All(y0 => x3.Candidates.Any(x0 => this.Equals(x0, y0))));
}
ElementsElement x4 = x as ElementsElement;
ElementsElement y4 = y as ElementsElement;
if (x4 != null && y4 != null)
{
if (x4.Elements.Count != y4.Elements.Count)
{
return(false);
}
return(CollectionEx.Zip(x4.Elements, y4.Elements, (x0, y0) => this.Equals(x0, y0)).All(eq => eq));
}
RepeatElement x5 = x as RepeatElement;
RepeatElement y5 = y as RepeatElement;
if (x5 != null && y5 != null)
{
return(this.Equals(x5.InnerExpression, y5.InnerExpression));
}
OptionElement x6 = x as OptionElement;
OptionElement y6 = y as OptionElement;
if (x6 != null && y6 != null)
{
return(this.Equals(x6.InnerExpression, y6.InnerExpression));
}
LiteralElement x7 = x as LiteralElement;
LiteralElement y7 = y as LiteralElement;
if (x7 != null && y7 != null)
{
return(x7.Literal.Type == y7.Literal.Type && x7.InnerWord == y7.InnerWord);
}
if (x == null && y == null)
{
return(true);
}
if (x == null || y == null)
{
return(false);
}
return(false);
}
/// <summary>
/// element = group ;
/// </summary>
/// <param name="group">group</param>
protected override ElementElement ReturnElement(GroupElement group)
{
return(group);
}