RdpPattern ReplaceAttributesWithEmpty(RdpPattern p)
{
if (p is RdpAttribute)
{
return(RdpEmpty.Instance);
}
RdpAbstractSingleContent asc = p as RdpAbstractSingleContent;
if (asc is RdpList)
{
return(new RdpList(ReplaceAttributesWithEmpty(asc.Child)));
}
if (asc is RdpOneOrMore)
{
return(new RdpOneOrMore(ReplaceAttributesWithEmpty(asc.Child)));
}
else if (asc is RdpElement)
{
return(asc); // should not be expected to contain any attribute as RdpElement.
}
RdpAbstractBinary ab = p as RdpAbstractBinary;
if (ab == null)
{
return(p);
}
if (ab is RdpGroup)
{
return(new RdpGroup(ReplaceAttributesWithEmpty(ab.LValue), ReplaceAttributesWithEmpty(ab.RValue)));
}
else if (ab is RdpChoice)
{
return(new RdpChoice(ReplaceAttributesWithEmpty(ab.LValue), ReplaceAttributesWithEmpty(ab.RValue)));
}
else if (ab is RdpInterleave)
{
return(new RdpInterleave(ReplaceAttributesWithEmpty(ab.LValue), ReplaceAttributesWithEmpty(ab.RValue)));
}
else if (ab is RdpAfter) // FIXME: is it correct?
{
return(new RdpAfter(ReplaceAttributesWithEmpty(ab.LValue), ReplaceAttributesWithEmpty(ab.RValue)));
}
throw new SystemException("INTERNAL ERROR: unexpected pattern: " + p.GetType());
}
// 4.19 (b)
private void CheckRecursion(RdpPattern p, int depth)
{
RdpAbstractBinary binary = p as RdpAbstractBinary;
if (binary != null)
{
// choice, interleave, group
CheckRecursion(binary.LValue, depth);
CheckRecursion(binary.RValue, depth);
return;
}
RdpAbstractSingleContent single = p as RdpAbstractSingleContent;
if (single != null)
{
CheckRecursion(single.Child, depth);
return;
}
switch (p.PatternType)
{
case RelaxngPatternType.Ref:
// get checkRecursionDepth from table.
int checkRecursionDepth = -1;
object checkedDepth = checkedDefs [p];
if (checkedDepth != null)
{
checkRecursionDepth = (int)checkedDepth;
}
// get refPattern
RdpUnresolvedRef pref = p as RdpUnresolvedRef;
RelaxngGrammar target = pref.TargetGrammar;
RdpPattern refPattern = pref.RefPattern;
if (refPattern == null)
{
// FIXME: fill line info
throw new RelaxngException("No matching define found for " + pref.Name);
}
if (checkRecursionDepth == -1)
{
checkedDefs [p] = depth;
/*test*/
if (refPattern.PatternType != RelaxngPatternType.Element)
{
CheckRecursion(refPattern, depth);
}
checkedDefs [p] = -2;
}
else if (depth == checkRecursionDepth)
{
// FIXME: fill line info
throw new RelaxngException(String.Format("Detected illegal recursion. Ref name is {0}.", pref.Name));
}
break;
case RelaxngPatternType.Attribute:
CheckRecursion(((RdpAttribute)p).Children, depth);
break;
case RelaxngPatternType.DataExcept:
CheckRecursion(((RdpDataExcept)p).Except, depth);
break;
case RelaxngPatternType.Element:
RdpElement el = p as RdpElement;
CheckRecursion(el.Children, depth + 1); // +1
break;
case RelaxngPatternType.List:
CheckRecursion(((RdpList)p).Child, depth);
break;
}
}
// remove ref and parentRef.
// add new defines for each elements.
private void CheckReferences(RdpPattern p)
{
RdpAbstractBinary binary = p as RdpAbstractBinary;
if (binary != null)
{
// choice, interleave, group
CheckReferences(binary.LValue);
CheckReferences(binary.RValue);
return;
}
RdpAbstractSingleContent single = p as RdpAbstractSingleContent;
if (single != null)
{
CheckReferences(single.Child);
return;
}
switch (p.PatternType)
{
case RelaxngPatternType.Ref:
// FIXME: This should not re-expand ref
RdpUnresolvedRef pref = p as RdpUnresolvedRef;
if (pref.RefPattern != null)
{
break;
}
RelaxngGrammar target = pref.TargetGrammar;
if (target == null)
{
// FIXME: fill line info
throw new RelaxngException("Referenced definition was not found.");
}
RdpPattern defP = target.assembledDefs [pref.Name] as RdpPattern;
if (defP == null)
{
target.unresolvedPatterns.Add(p);
}
else
{
ArrayList al = target.refPatterns [defP] as ArrayList;
if (al == null)
{
al = new ArrayList();
target.refPatterns [defP] = al;
}
al.Add(p);
pref.RefPattern = defP;
}
break;
case RelaxngPatternType.Attribute:
CheckReferences(((RdpAttribute)p).Children);
break;
case RelaxngPatternType.DataExcept:
CheckReferences(((RdpDataExcept)p).Except);
break;
case RelaxngPatternType.Element:
RdpElement el = p as RdpElement;
CheckReferences(el.Children);
string name = ElementDefMap [el] as string;
if (name == null)
{
// add new define
int idx = 0;
string newName = "element0";
if (el.NameClass is RdpName)
{
newName = ((RdpName)el.NameClass).LocalName;
}
while (true)
{
if (assembledDefs [newName] == null)
{
elementReplacedDefs [newName] = el.Children;
break;
}
newName = "element" + ++idx;
}
ElementDefMap [el] = newName;
}
// Even though the element is replaced with ref,
// derivative of ref is RdpElement in fact...
break;
case RelaxngPatternType.List:
CheckReferences(((RdpList)p).Child);
break;
case RelaxngPatternType.Empty:
case RelaxngPatternType.NotAllowed:
case RelaxngPatternType.Text:
case RelaxngPatternType.Value:
break;
//case RelaxngPatternType.ExternalRef:
//case RelaxngPatternType.Include:
// Mixed, Optional, ZeroOrMore are already removed.
// Choice, Group, Interleave, OneOrMore are already proceeded.
}
}
internal static string DebugRdpPattern(RdpPattern p, IDictionary <object, object> visitedPattern)
{
if (p is RdpText)
{
return("<text/>\n");
}
if (p is RdpEmpty)
{
return("<empty/>\n");
}
if (p is RdpNotAllowed)
{
return("<notAllowed/>\n");
}
if (visitedPattern.ContainsKey(p))
{
return("<" + p.PatternType + " ref='" + p.GetHashCode() + "'/>");
}
visitedPattern.Add(p, p);
string intl = "(id=" + p.GetHashCode() + ") ";
RdpAbstractSingleContent s = p as RdpAbstractSingleContent;
if (s != null)
{
intl = DebugRdpPattern(s.Child, visitedPattern);
}
RdpAbstractBinary b = p as RdpAbstractBinary;
if (b != null)
{
intl = DebugRdpPattern(b.LValue, visitedPattern) +
DebugRdpPattern(b.RValue, visitedPattern);
}
RdpData data = p as RdpData;
if (data != null)
{
intl = String.Format("name={0},ns={1},type={2} {3}",
data.Datatype.LocalName,
data.Datatype.NamespaceURI,
data.Datatype.GetType(),
data is RdpDataExcept ? DebugRdpPattern(((RdpDataExcept)data).Except, visitedPattern) : String.Empty);
}
RdpValue value = p as RdpValue;
if (value != null)
{
intl = String.Format("name={0},ns={1},value={2} type={3}",
value.Datatype.LocalName,
value.Datatype.NamespaceURI,
value.Value,
value.Datatype.GetType());
}
RdpElement el = p as RdpElement;
if (el != null)
{
intl = DebugNameClass(el.NameClass) +
DebugRdpPattern(el.Children, visitedPattern);
}
RdpAttribute at = p as RdpAttribute;
if (at != null)
{
intl = DebugNameClass(at.NameClass) +
DebugRdpPattern(at.Children, visitedPattern);
}
string str = String.Format("<{0} id='id{1}'>\n{2}\n</{0}>",
p.PatternType.ToString(),
p.GetHashCode(),
intl);
return(str);
}
