/// <summary>
/// Check to see whether there's variable-sized construct in an array. These include arrayVariable, arrayStreamed, union, string.
/// </summary>
/// <remarks>
/// This check should apply to the following scenarios:
/// <list>
/// Arrays contain arrayVariable, arrayStreamed, or union
/// Arrays contain struct which contains any of the above three elements
/// Arrays contain a number of embedded structs at least one of which contains any of the above three elements
/// Arrays contain arrayFixed which contains one of the above as element
/// Arrays contain a number of embedded arrayFixed any of which contains any of the above three elements
/// </list>
/// </remarks>
/// <param name="node"></param>
/// <param name="report"></param>
private static void checkVariableConstruct(AbstractNode node, ArrayList report)
{
if (node.GetType().Equals(typeof(StructNode)))
{
foreach (AbstractNode aNode in ((StructNode)node).getMembers())
{
if (aNode.isComplex())
{
checkVariableConstruct(aNode, report);
}
}
}
else if (node.GetType().Equals(typeof(UnionNode)))
{
report.Add("Warning: BinX library version 1.x does not support arrays containing union [" + node.toNodeText() + "].");
}
else if (node.GetType().Equals(typeof(ArrayNode)))
{
ArrayNode aNode = (ArrayNode)node;
if (aNode.isArrayFixed() == false)
{
report.Add("Warning: BinX library version 1.x does not support arrays containing variable-sized arrays [" + aNode.toNodeText() + "].");
}
else
{
checkVariableConstruct(aNode.getElement(), report);
}
}
}
/// <summary>
/// Check struct, union and array node for useType references, duplicate union case values.
/// </summary>
/// <remarks>
/// This check should apply to the following scenarios:
/// <list>
/// A struct contains two or more member elements that have the same variable name
/// A struct contains a useType as its member or member of its member which referenced a undefined type
/// A struct contains no member element
/// A union contains no case element
/// A union contains two or more cases with the same discriminant value
/// A union contains a useType element in any of the case elements that referenced a undefined type
/// An array contains no dimension element
/// An streamed array contains more than one dim element
/// An variable-sized array's first dim element has a count (should be zero)
/// A fixed array contains a dim element with a zero count (should be greater than 0)
/// An array contains useType element that referenced a undefined type
/// An array contains a variable-sized construct in its element or embeded descedants.
/// </list>
/// </remarks>
/// <param name="dataNode"></param>
/// <param name="defs"></param>
/// <param name="report"></param>
private static void checkComplexType(ComplexNode dataNode, Hashtable defs, ArrayList report)
{
if (dataNode.GetType().Equals(typeof(StructNode)))
{
StructNode sNode = (StructNode)dataNode;
if (sNode.getMemberCount() > 0)
{
Hashtable varNames = new Hashtable();
foreach (AbstractNode aNode in ((StructNode)dataNode).getMembers())
{
//check duplicate variable names as warnings
checkVarNames(aNode, varNames, report);
checkUseType(aNode, defs, report);
}
}
else
{
//empty struct
report.Add("Warning: struct '" + sNode.toNodeText() + "' contains no member element.");
}
}
else if (dataNode.GetType().Equals(typeof(UnionNode)))
{
UnionNode uNode = (UnionNode)dataNode;
if (uNode.getCaseCount() > 0)
{
Hashtable cases = new Hashtable();
foreach (CaseNode cNode in uNode.getCases())
{
//case values must be unique
if (cases.Contains(cNode.getDiscriminantValue()))
{
report.Add("Error: duplicate case value '" + cNode.getDiscriminantValue() + "' at union type '" + dataNode.toNodeText() + "'.");
}
else
{
cases.Add(cNode.getDiscriminantValue(), cNode);
}
//if case body is useType, check type defs
checkUseType(cNode.getCaseBody(), defs, report);
}
}
else
{
report.Add("Warning: union '" + uNode.toNodeText() + "' contains no case element.");
}
}
else if (dataNode.GetType().Equals(typeof(ArrayNode)))
{
ArrayNode arrayNode = (ArrayNode)dataNode;
if (arrayNode.getDimension() == null)
{
report.Add("Error: Array '" + arrayNode.toNodeText() + "' has no dimension element.");
}
else
{
if (arrayNode.isArrayStreamed() && arrayNode.getDimensionCount() > 1)
{
report.Add("Warning: Streamed array contains more than one dimension.");
}
else if (arrayNode.isArrayFixed())
{
for (DimNode dn = arrayNode.getDimension(); dn != null; dn = dn.getChild())
{
if (dn.count() <= 0)
{
report.Add("Error: array dimension is of invalid size at '" + arrayNode.toNodeText() + "'.");
}
}
}
else
{
//first dim must be of 0 size
DimNode dn = arrayNode.getDimension();
if (dn.count() > 0)
{
report.Add("Warning: first dimension count of a variable-sized array ignored at '" + arrayNode.toNodeText() + "'.");
}
for (dn = dn.getChild(); dn != null; dn = dn.getChild())
{
if (dn.count() <= 0)
{
report.Add("Error: array dimension is of invalid size at '" + arrayNode.toNodeText() + "'.");
}
}
}
}
checkUseType(arrayNode.getElement(), defs, report);
//check for variable-sized construct contained in arrays
checkVariableConstruct(arrayNode.getElement(), report);
}
}
