public IApplicationParseNode CreateApplication(ProductionRule production, ParseNodePreference preference, IReadOnlyList<IParseNode> children)
{
Contract.Requires<ArgumentNullException>(production != null);
Contract.Requires<InvalidEnumArgumentException>(Enum.IsDefined(typeof(ParseNodePreference), preference));
Contract.Requires<ArgumentNullException>(children != null);
Contract.Ensures(Contract.Result<IApplicationParseNode>() != null);
return default(IApplicationParseNode);
}
/// <inheritdoc />
public IApplicationParseNode CreateApplication(ProductionRule production, ParseNodePreference preference, IReadOnlyList<IParseNode> children)
{
// CONTRACT: Inherited from IParseNodeFactory
return new ApplicationParseNode(production, preference, children);
}
