44public override XmlQueryType XmlType {

35n.XmlType = this.typeCheck.CheckQilExpression(n); 124n.XmlType = this.typeCheck.CheckQilExpression(n); 180n.XmlType = this.typeCheck.CheckOptimizeBarrier(n); 187n.XmlType = this.typeCheck.CheckUnknown(n); 200n.XmlType = this.typeCheck.CheckDataSource(n); 207n.XmlType = this.typeCheck.CheckNop(n); 214n.XmlType = this.typeCheck.CheckError(n); 221n.XmlType = this.typeCheck.CheckWarning(n); 234n.XmlType = this.typeCheck.CheckFor(n); 241n.XmlType = this.typeCheck.CheckLet(n); 248n.XmlType = this.typeCheck.CheckParameter(n); 255n.XmlType = this.typeCheck.CheckPositionOf(n); 268n.XmlType = this.typeCheck.CheckTrue(n); 275n.XmlType = this.typeCheck.CheckFalse(n); 282n.XmlType = this.typeCheck.CheckLiteralString(n); 289n.XmlType = this.typeCheck.CheckLiteralInt32(n); 296n.XmlType = this.typeCheck.CheckLiteralInt64(n); 303n.XmlType = this.typeCheck.CheckLiteralDouble(n); 310n.XmlType = this.typeCheck.CheckLiteralDecimal(n); 317n.XmlType = this.typeCheck.CheckLiteralQName(n); 324n.XmlType = this.typeCheck.CheckLiteralType(n); 331n.XmlType = this.typeCheck.CheckLiteralObject(n); 344n.XmlType = this.typeCheck.CheckAnd(n); 351n.XmlType = this.typeCheck.CheckOr(n); 358n.XmlType = this.typeCheck.CheckNot(n); 371n.XmlType = this.typeCheck.CheckConditional(n); 378n.XmlType = this.typeCheck.CheckChoice(n); 391n.XmlType = this.typeCheck.CheckLength(n); 405n.XmlType = this.typeCheck.CheckUnion(n); 412n.XmlType = this.typeCheck.CheckIntersection(n); 419n.XmlType = this.typeCheck.CheckDifference(n); 426n.XmlType = this.typeCheck.CheckAverage(n); 433n.XmlType = this.typeCheck.CheckSum(n); 440n.XmlType = this.typeCheck.CheckMinimum(n); 447n.XmlType = this.typeCheck.CheckMaximum(n); 460n.XmlType = this.typeCheck.CheckNegate(n); 467n.XmlType = this.typeCheck.CheckAdd(n); 474n.XmlType = this.typeCheck.CheckSubtract(n); 481n.XmlType = this.typeCheck.CheckMultiply(n); 488n.XmlType = this.typeCheck.CheckDivide(n); 495n.XmlType = this.typeCheck.CheckModulo(n); 508n.XmlType = this.typeCheck.CheckStrLength(n); 515n.XmlType = this.typeCheck.CheckStrConcat(n); 522n.XmlType = this.typeCheck.CheckStrParseQName(n); 535n.XmlType = this.typeCheck.CheckNe(n); 542n.XmlType = this.typeCheck.CheckEq(n); 549n.XmlType = this.typeCheck.CheckGt(n); 556n.XmlType = this.typeCheck.CheckGe(n); 563n.XmlType = this.typeCheck.CheckLt(n); 570n.XmlType = this.typeCheck.CheckLe(n); 583n.XmlType = this.typeCheck.CheckIs(n); 590n.XmlType = this.typeCheck.CheckAfter(n); 597n.XmlType = this.typeCheck.CheckBefore(n); 610n.XmlType = this.typeCheck.CheckLoop(n); 617n.XmlType = this.typeCheck.CheckFilter(n); 630n.XmlType = this.typeCheck.CheckSort(n); 637n.XmlType = this.typeCheck.CheckSortKey(n); 644n.XmlType = this.typeCheck.CheckDocOrderDistinct(n); 657n.XmlType = this.typeCheck.CheckFunction(n); 664n.XmlType = this.typeCheck.CheckInvoke(n); 677n.XmlType = this.typeCheck.CheckContent(n); 684n.XmlType = this.typeCheck.CheckAttribute(n); 691n.XmlType = this.typeCheck.CheckParent(n); 698n.XmlType = this.typeCheck.CheckRoot(n); 705n.XmlType = this.typeCheck.CheckXmlContext(n); 712n.XmlType = this.typeCheck.CheckDescendant(n); 719n.XmlType = this.typeCheck.CheckDescendantOrSelf(n); 726n.XmlType = this.typeCheck.CheckAncestor(n); 733n.XmlType = this.typeCheck.CheckAncestorOrSelf(n); 740n.XmlType = this.typeCheck.CheckPreceding(n); 747n.XmlType = this.typeCheck.CheckFollowingSibling(n); 754n.XmlType = this.typeCheck.CheckPrecedingSibling(n); 761n.XmlType = this.typeCheck.CheckNodeRange(n); 768n.XmlType = this.typeCheck.CheckDeref(n); 781n.XmlType = this.typeCheck.CheckElementCtor(n); 788n.XmlType = this.typeCheck.CheckAttributeCtor(n); 795n.XmlType = this.typeCheck.CheckCommentCtor(n); 802n.XmlType = this.typeCheck.CheckPICtor(n); 809n.XmlType = this.typeCheck.CheckTextCtor(n); 816n.XmlType = this.typeCheck.CheckRawTextCtor(n); 823n.XmlType = this.typeCheck.CheckDocumentCtor(n); 830n.XmlType = this.typeCheck.CheckNamespaceDecl(n); 837n.XmlType = this.typeCheck.CheckRtfCtor(n); 850n.XmlType = this.typeCheck.CheckNameOf(n); 857n.XmlType = this.typeCheck.CheckLocalNameOf(n); 864n.XmlType = this.typeCheck.CheckNamespaceUriOf(n); 871n.XmlType = this.typeCheck.CheckPrefixOf(n); 884n.XmlType = this.typeCheck.CheckTypeAssert(n); 891n.XmlType = this.typeCheck.CheckIsType(n); 898n.XmlType = this.typeCheck.CheckIsEmpty(n); 911n.XmlType = this.typeCheck.CheckXPathNodeValue(n); 918n.XmlType = this.typeCheck.CheckXPathFollowing(n); 925n.XmlType = this.typeCheck.CheckXPathPreceding(n); 932n.XmlType = this.typeCheck.CheckXPathNamespace(n); 945n.XmlType = this.typeCheck.CheckXsltGenerateId(n); 952n.XmlType = this.typeCheck.CheckXsltInvokeLateBound(n); 959n.XmlType = this.typeCheck.CheckXsltInvokeEarlyBound(n); 966n.XmlType = this.typeCheck.CheckXsltCopy(n); 973n.XmlType = this.typeCheck.CheckXsltCopyOf(n); 980n.XmlType = this.typeCheck.CheckXsltConvert(n);

81node.XmlType = newType;

287qilAxis.XmlType = T.PrimeProduct(T.NodeChoice(required), qilAxis.XmlType.Cardinality);

2253filter.XmlType = T.ContentS; // not attribute

108filter.XmlType = T.PrimeProduct(T.NodeChoice(intersection), filter.XmlType.Cardinality);

75if (!nd.XmlType.MaybeMany) { 89else if (nd.XmlType.IsDod) { 128if (!nd.XmlType.MaybeMany) { 132else if (nd.XmlType.IsDod) {

51if (ndLoop.Variable.NodeType == QilNodeType.Let || !ndLoop.Variable.Binding.XmlType.MaybeMany)

546XmlQueryType typ = ndLoop.XmlType; 625XmlQueryType typ = ndCopy.XmlType; 756if (ndLoop.XmlType.MaybeMany) 757CheckAttributeNamespaceConstruct(ndLoop.XmlType); 770CheckAttributeNamespaceConstruct(ndCopy.XmlType); 813CheckAttributeNamespaceConstruct(ndAttr.XmlType);

259if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 267if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 291if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 304if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 319if ((( ( (local0).XmlType ).IsSingleton ) && (!( IsGlobalVariable(local0) ))) && (this[XmlILOptimization.NormalizeSingletonLet])) { 347if ( ( (local2).XmlType ).IsSingleton ) { 373if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 381if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 427if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 435if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 480if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 514if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 599if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 617if (( ( (local1).XmlType ).IsSingleton ) && ( !OptimizerPatterns.Read(local1).MatchesPattern(OptimizerPatternName.MaybeSideEffects) )) { 665if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 673if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 747if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 755if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 820if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 828if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 892if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 900if ( ( (local1).XmlType ).Cardinality == XmlQueryCardinality.Zero ) { 913if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 921if ( ( (local1).XmlType ).Cardinality == XmlQueryCardinality.Zero ) { 934if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 942if ( ( (local1).XmlType ).Cardinality == XmlQueryCardinality.Zero ) { 955if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 963if ( ( (local1).XmlType ).Cardinality == XmlQueryCardinality.Zero ) { 979if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1029if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1037if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1071if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1079if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1103if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1111if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1145if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1153if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1177if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1185if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1211if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1234if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1242if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1249if (( ( (local2).XmlType ).IsSingleton ) && (this[XmlILOptimization.EliminateStrConcatSingle])) { 1281if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1289if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1306if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1314if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1347if (( IsPrimitiveNumeric( (local3).XmlType ) ) && ( IsPrimitiveNumeric(local5) )) { 1348if (( IsLiteral((local2)) ) && ( CanFoldXsltConvertNonLossy(local2, (local3).XmlType ) )) { 1351return Replace(XmlILOptimization.NormalizeXsltConvertNe, local0, VisitNe(f.Ne(local3, FoldXsltConvert(local2, (local3).XmlType ) ))); 1361if ( ( (local3).XmlType ).IsSingleton ) { 1364if ( ( (local4).XmlType ).IsSingleton ) { 1405if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1413if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1446if (( IsPrimitiveNumeric( (local3).XmlType ) ) && ( IsPrimitiveNumeric(local5) )) { 1447if (( IsLiteral((local2)) ) && ( CanFoldXsltConvertNonLossy(local2, (local3).XmlType ) )) { 1450return Replace(XmlILOptimization.NormalizeXsltConvertEq, local0, VisitEq(f.Eq(local3, FoldXsltConvert(local2, (local3).XmlType ) ))); 1474if ( ( (local3).XmlType ).IsSingleton ) { 1477if ( ( (local4).XmlType ).IsSingleton ) { 1490if ( ( (local3).XmlType ).IsSingleton ) { 1498if ( !( (local7).XmlType ).MaybeMany ) { 1524if ( !( (local6).XmlType ).MaybeMany ) { 1530if ( ( (local9).XmlType ).IsSingleton ) { 1551if (( ( (local4).XmlType ).IsSingleton ) && ( !( (local5).XmlType ).MaybeMany )) { 1572if (( !( (local4).XmlType ).MaybeMany ) && ( ( (local5).XmlType ).IsSingleton )) { 1604if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1612if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1645if (( IsPrimitiveNumeric( (local3).XmlType ) ) && ( IsPrimitiveNumeric(local5) )) { 1646if (( IsLiteral((local2)) ) && ( CanFoldXsltConvertNonLossy(local2, (local3).XmlType ) )) { 1649return Replace(XmlILOptimization.NormalizeXsltConvertGt, local0, VisitGt(f.Gt(local3, FoldXsltConvert(local2, (local3).XmlType ) ))); 1687if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1695if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1728if (( IsPrimitiveNumeric( (local3).XmlType ) ) && ( IsPrimitiveNumeric(local5) )) { 1729if (( IsLiteral((local2)) ) && ( CanFoldXsltConvertNonLossy(local2, (local3).XmlType ) )) { 1732return Replace(XmlILOptimization.NormalizeXsltConvertGe, local0, VisitGe(f.Ge(local3, FoldXsltConvert(local2, (local3).XmlType ) ))); 1756if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1764if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1797if (( IsPrimitiveNumeric( (local3).XmlType ) ) && ( IsPrimitiveNumeric(local5) )) { 1798if (( IsLiteral((local2)) ) && ( CanFoldXsltConvertNonLossy(local2, (local3).XmlType ) )) { 1801return Replace(XmlILOptimization.NormalizeXsltConvertLt, local0, VisitLt(f.Lt(local3, FoldXsltConvert(local2, (local3).XmlType ) ))); 1825if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1833if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1866if (( IsPrimitiveNumeric( (local3).XmlType ) ) && ( IsPrimitiveNumeric(local5) )) { 1867if (( IsLiteral((local2)) ) && ( CanFoldXsltConvertNonLossy(local2, (local3).XmlType ) )) { 1870return Replace(XmlILOptimization.NormalizeXsltConvertLe, local0, VisitLe(f.Le(local3, FoldXsltConvert(local2, (local3).XmlType ) ))); 1897if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1905if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1927if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1935if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1957if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1965if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 1990if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2046if ( ( (local3).XmlType ).IsSingleton ) { 2058if ((( (local1).NodeType == QilNodeType.Let ) || ( ( ( (QilNode) (local1)[0] ).XmlType ).IsSingleton )) && ( !OptimizerPatterns.Read(local1).MatchesPattern(OptimizerPatternName.MaybeSideEffects) )) { 2160if ( !( (local3).XmlType ).MaybeMany ) { 2215if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2223if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2459if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2469if ( ( (local3).XmlType ).IsSingleton ) { 2489if (( ( (local3).XmlType ) == ( XmlQueryTypeFactory.IntX ) ) && ( (local5) == ( XmlQueryTypeFactory.DoubleX ) )) { 2504if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2618if (( !OptimizerPatterns.Read(local2).MatchesPattern(OptimizerPatternName.IsPositional) ) && ( (local3).XmlType .IsSubtypeOf( XmlQueryTypeFactory.NodeNotRtfS ) )) { 2708XmlQueryType local4 = (XmlQueryType)((QilFunction)local0).XmlType; 2709if (( (local0).XmlType .IsSubtypeOf( XmlQueryTypeFactory.NodeS ) ) && (this[XmlILOptimization.AnnotateIndex1])) { 2710if ((( local1.Count == 2 ) && ( ( (QilNode) (local1)[0] ).XmlType .IsSubtypeOf( XmlQueryTypeFactory.Node ) )) && ( ( ( (QilNode) (local1)[1] ).XmlType ) == ( XmlQueryTypeFactory.StringX ) )) { 2765if (( (local0).XmlType .IsSubtypeOf( XmlQueryTypeFactory.NodeS ) ) && (this[XmlILOptimization.AnnotateIndex2])) { 2766if ((( local1.Count == 2 ) && ( ( ( (QilNode) (local1)[0] ).XmlType ) == ( XmlQueryTypeFactory.Node ) )) && ( ( ( (QilNode) (local1)[1] ).XmlType ) == ( XmlQueryTypeFactory.StringX ) )) { 2840if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2859if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2867if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2885if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2903if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2921if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2939if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2957if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2975if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 2993if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3011if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3029if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3048if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3056if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3075if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3083if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3100if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3108if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3130if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3138if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3157if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3177if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3185if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3204if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3223if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3242if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3262if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3270if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3296if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3329if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3342if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3355if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3368if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3385if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3395if ( (local1).XmlType .NeverSubtypeOf(local3) ) { 3406if ( (local1).XmlType .Prime .NeverSubtypeOf( local3.Prime ) ) { 3417if ( (local1).XmlType .IsSubtypeOf(local3) ) { 3432if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3443if ( (local1).XmlType .IsSubtypeOf(local3) ) { 3456if ( (local1).XmlType .NeverSubtypeOf(local3) ) { 3468if ( (local1).XmlType .Prime .NeverSubtypeOf( local3.Prime ) ) { 3480if ( (local1).XmlType .IsSubtypeOf(local3) ) { 3493if ( (local1).XmlType .NeverSubtypeOf(local3) ) { 3508if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3526if (( !( (local1).XmlType ).MaybeEmpty ) && ( !OptimizerPatterns.Read(local1).MatchesPattern(OptimizerPatternName.MaybeSideEffects) )) { 3534if ( !( (local1).XmlType ).MaybeEmpty ) { 3550if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3563if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3581if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3599if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3620if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3634if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3642if ( (object) ( (local2).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3661if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3681if ( (object) ( (local1).XmlType ) == (object) XmlQueryTypeFactory.None ) { 3704if ( ( (local1).XmlType ) == (local3) ) { 3949if (nd.XmlType.IsNode) { 3986return !((QilInvoke) nd).Function.XmlType.IsAtomicValue; 4106ndDest = FoldXsltConvert(ndDest, ndLiteral.XmlType); 4123XmlAtomicValue value = new XmlAtomicValue(ndLiteral.XmlType.SchemaType, ExtractLiteralValue(ndLiteral)); 4154Debug.Assert(left.XmlType == right.XmlType, "Comparison is not defined between " + left.XmlType + " and " + right.XmlType);

95iterInfo.Storage = StorageDescriptor.Global(methGlobal, GetItemStorageType(iter), !iter.XmlType.IsSingleton); 117isCached = !iter.XmlType.IsSingleton; 138Debug.Assert(iter.XmlType == TypeFactory.ItemS, "IlGen currently only supports parameters of type item*."); 217iterInfo.Storage = StorageDescriptor.Parameter(paramId, GetItemStorageType(iter), !iter.XmlType.IsSingleton); 236Debug.Assert(iter.XmlType == TypeFactory.ItemS, "IlGen currently only supports default values in parameters of type item*."); 250NestedVisitEnsureStack(iter.Binding, GetItemStorageType(iter), /*isCached:*/!iter.XmlType.IsSingleton); 264NestedVisitEnsureStack(ndFunc.Definition, GetItemStorageType(ndFunc), !ndFunc.XmlType.IsSingleton); 299Debug.Assert(nd.XmlType.IsSingleton || CachesResult(nd) || this.iterCurr.HasLabelNext, 339XmlQueryType typ = nd.XmlType; 351this.iterCurr.EnsureItemStorageType(nd.XmlType, typeof(XPathItem)); 356this.iterCurr.EnsureItemStorageType(nd.XmlType, typeof(XPathItem)); 849Debug.Assert(ndCond.Left.XmlType.TypeCode == XmlTypeCode.Boolean); 852if (ndCond.XmlType.IsSingleton) { 882if (!ndCond.XmlType.IsSingleton) { 883Debug.Assert(!ndCond.Center.XmlType.IsSingleton || !ndCond.Right.XmlType.IsSingleton); 913Debug.Assert(ndBranch.XmlType.IsSingleton, "Conditional must produce a singleton"); 927this.iterCurr.EnsureItemStorageType(ndBranch.XmlType, itemStorageType); 1089if (nd.XmlType.IsSingleton) { 1130this.iterCurr.EnsureItemStorageType(ndSeq[i].XmlType, itemStorageType); 1237if (ndSet.XmlType.IsSingleton) { 1302this.iterCurr.EnsureItemStorageType(ndAgg.XmlType, GetItemStorageType(ndAgg)); 1313if (ndAgg.XmlType.MaybeEmpty) { 1332this.helper.CallArithmeticOp(QilNodeType.Negate, ndNeg.XmlType.TypeCode); 1377this.helper.CallArithmeticOp(ndOp.NodeType, ndOp.XmlType.TypeCode); 1400Debug.Assert(!ndStrConcat.Values.XmlType.IsSingleton, "Optimizer should have folded StrConcat of a singleton value"); 1413if (!ndStr.XmlType.IsSingleton) 1473this.iterCurr.EnsureItemStorageType(ndStr.XmlType, typeof(string)); 1506if (ndParsedTagName.Right.XmlType.TypeCode == XmlTypeCode.String) { 1508Debug.Assert(ndParsedTagName.Right.XmlType.IsSingleton); 1583Debug.Assert(ndComp.Left.XmlType.IsAtomicValue && ndComp.Right.XmlType.IsAtomicValue, "Operands to compare must be atomic values."); 1584Debug.Assert(ndComp.Left.XmlType.IsSingleton && ndComp.Right.XmlType.IsSingleton, "Operands to compare must be cardinality one."); 1585Debug.Assert(ndComp.Left.XmlType == ndComp.Right.XmlType, "Operands to compare may not be heterogenous."); 1606code = ndComp.Left.XmlType.TypeCode; 1921this.iterCurr.EnsureItemStorageType(nodes.XmlType, typeof(XPathNavigator)); 1961if (ndIter.NodeType == QilNodeType.For || ndIter.XmlType.IsSingleton) { 1982Debug.Assert(ndFor.XmlType.IsSingleton); 2039Debug.Assert(!ndLet.XmlType.IsSingleton); 2045NestedVisit(ndLet.Binding, GetItemStorageType(ndLet), !ndLet.XmlType.IsSingleton); 2122this.iterCurr.EnsureItemStorageType(ndSort.Variable.XmlType, GetItemStorageType(ndSort.Variable)); 2161Debug.Assert(ndKey.Key.XmlType.IsAtomicValue, "Sort key must be an atomic value."); 2176if (ndKey.XmlType.IsSingleton) { 2180this.helper.AddSortKey(ndKey.Key.XmlType); 2187this.iterCurr.EnsureItemStorageType(ndKey.Key.XmlType, GetItemStorageType(ndKey.Key)); 2191this.helper.AddSortKey(ndKey.Key.XmlType); 2214if (ndDod.XmlType.IsSingleton) 2259kinds = ((ndDod.XmlType.NodeKinds & XmlNodeKindFlags.Attribute) != 0) ? XmlNodeKindFlags.Any : XmlNodeKindFlags.Content; 2376NestedVisitEnsureStack(ndActualArg, GetItemStorageType(ndFormalArg), !ndFormalArg.XmlType.IsSingleton); 2388this.iterCurr.Storage = StorageDescriptor.Stack(GetItemStorageType(ndInvoke), !ndInvoke.XmlType.IsSingleton); 2926if (!ndTypeAssert.Source.XmlType.IsSingleton && ndTypeAssert.XmlType.IsSingleton && !this.iterCurr.HasLabelNext) { 2942this.iterCurr.EnsureItemStorageType(ndTypeAssert.Source.XmlType, GetItemStorageType(ndTypeAssert)); 2953typDerived = ndIsType.Source.XmlType; 3198Debug.Assert(ndVal.Child.XmlType.IsNode, "XPathNodeValue node may only be applied to a sequence of Nodes."); 3201if (ndVal.Child.XmlType.IsSingleton) { 3270if (ndGenId.Child.XmlType.IsSingleton) { 3284this.iterCurr.EnsureItemStorageType(ndGenId.Child.XmlType, typeof(XPathNavigator)); 3364if (clrTypeRetSrc != clrTypeRetDst && !ndInvoke.XmlType.IsEmpty) { 3366this.helper.LoadInteger(this.helper.StaticData.DeclareXmlType(ndInvoke.XmlType)); 3390Debug.Assert(ndActualArg.XmlType.IsSubtypeOf(xmlTypeFormalArg), "Xml type of actual arg must be a subtype of the Xml type of the formal arg"); 3408else if ((ndActualArg.XmlType.IsSingleton && clrTypeFormalArg == itemType) || ndActualArg.XmlType.TypeCode == XmlTypeCode.None) { 3412else if (ndActualArg.XmlType.IsSingleton && clrTypeFormalArg == typeof(XPathItem)) { 3444if (ndInvoke.XmlType.IsEmpty) { 3464this.iterCurr.Storage = StorageDescriptor.Stack(GetItemStorageType(ndInvoke), !ndInvoke.XmlType.IsSingleton); 3480Debug.Assert(ndCopy.Left.XmlType.IsNode); 3492Debug.Assert(ndCopy.Left.XmlType.IsNode); 3526typSrc = ndConv.Source.XmlType; 3536Debug.Fail("Conversion from " + ndConv.Source.XmlType + " to " + ndConv.TargetType + " is not supported."); 3768this.iterCurr.EnsureNoStackNoCache(nd.XmlType.IsNode ? "$$$navInput" : "$$$itemInput"); 3785if (nd.XmlType.IsSingleton) { 3811Debug.Assert(ndName.XmlType.TypeCode == XmlTypeCode.QName, "Element or attribute name must have QName type."); 3872if ((ndName as QilBinary).Right.XmlType.TypeCode == XmlTypeCode.String) 3922ZeroCompare(relOp, ndSecond.XmlType.TypeCode == XmlTypeCode.Boolean); 4103if (!info.PushToWriterLast || nd.XmlType.IsSingleton) 4129if (nd.XmlType.IsSingleton) 4340nd.XmlType.TypeCode == XmlTypeCode.None, 4347this.iterCurr.EnsureItemStorageType(nd.XmlType, typeof(bool)); 4380else if (!isCached && nd.XmlType.IsSingleton) { 4385this.iterCurr.EnsureItemStorageType(nd.XmlType, itemStorageType); 4398NestedVisit(nd, GetItemStorageType(nd), !nd.XmlType.IsSingleton); 4410this.iterCurr.EnsureItemStorageType(nd.XmlType, GetItemStorageType(nd)); 4454Debug.Assert(nd.XmlType.IsSingleton && !XmlILConstructInfo.Read(nd).PushToWriterLast); 4489this.iterCurr.EnsureItemStorageType(nd.XmlType, itemStorageType); 4505if (nd.XmlType.IsSingleton) { 4526this.iterCurr.EnsureItemStorageType(nd.XmlType, cacheType); 4556return !nd.XmlType.IsSingleton; 4564if (nd.XmlType.IsSingleton) 4584return XmlILTypeHelper.GetStorageType(nd.XmlType); 4598return XmlILTypeHelper.GetStorageType(nd.XmlType.Prime);

52xt = XmlQueryTypeFactory.Sequence(xt, this.members[i].XmlType); 57xt = this.members[0].XmlType; 59xt = XmlQueryTypeFactory.Choice(xt, this.members[i].XmlType);

223Debug.Assert(arg.XmlType.TypeCode == XmlTypeCode.Boolean && arg.XmlType.IsSingleton, 404if (values.XmlType.IsSingleton) 538return f.Function(args, defn, sideEffects, defn.XmlType);

35XmlQueryType oldParentType = parent.XmlType; 41XmlQueryType oldChildType = oldChild != null ? oldChild.XmlType : null; 50if ((object) oldChild != (object) newChild || (newChild != null && (object) oldChildType != (object) newChild.XmlType)) {

220return node.Child.XmlType; 224return node.XmlType; 240return node.Child.XmlType; 260return node.Binding.XmlType.Prime; 264return node.Binding.XmlType; 268Check(node.Binding == null || node.Binding.XmlType.IsSubtypeOf(node.XmlType), node, "Parameter binding's xml type must be a subtype of the parameter's type"); 269return node.XmlType; 361return XmlQueryTypeFactory.Choice(node.Center.XmlType, node.Right.XmlType); 388return DistinctType(XmlQueryTypeFactory.Sequence(node.Left.XmlType, node.Right.XmlType)); 398return XmlQueryTypeFactory.AtMost(node.Left.XmlType, node.Left.XmlType.Cardinality); 402XmlQueryType xmlType = node.Child.XmlType; 427return node.Child.XmlType; 434return node.Left.XmlType.TypeCode == XmlTypeCode.None ? node.Right.XmlType : node.Left.XmlType; 472Check(node.Right.XmlType.IsSubtypeOf(XmlQueryTypeFactory.StringX) || node.Right.XmlType.IsSubtypeOf(XmlQueryTypeFactory.NamespaceS), 540XmlQueryType bodyType = node.Body.XmlType; 541XmlQueryCardinality variableCard = node.Variable.NodeType == QilNodeType.Let ? XmlQueryCardinality.One : node.Variable.Binding.XmlType.Cardinality; 557return XmlQueryTypeFactory.AtMost(node.Variable.Binding.XmlType, node.Variable.Binding.XmlType.Cardinality); 567XmlQueryType varType = node.Variable.Binding.XmlType; 579return node.Key.XmlType; 584return DistinctType(node.Child.XmlType); 596Check(node.Definition.XmlType.IsSubtypeOf(node.XmlType), node, "Function definition's xml type must be a subtype of the function's return type"); 597return node.XmlType; 612return node.Function.XmlType; 653return XmlQueryTypeFactory.Choice(node.Child.XmlType, XmlQueryTypeFactory.ContentS); 663return XmlQueryTypeFactory.Choice(node.Child.XmlType, XmlQueryTypeFactory.DocumentOrElementS); 684return XmlQueryTypeFactory.Choice(node.Left.XmlType, XmlQueryTypeFactory.ContentS, node.Right.XmlType); 783return node.XmlType; 864return node.XmlType; 870return XmlQueryTypeFactory.Choice(node.Left.XmlType, node.Right.XmlType); 876if ((node.Child.XmlType.NodeKinds & XmlNodeKindFlags.Document) != 0) 879return node.Child.XmlType; 920Check(node.XmlType.IsSubtypeOf(xmlType), node, "Node's type " + node.XmlType + " is not a subtype of " + xmlType); 925Check(node.XmlType.IsNumeric && node.XmlType.IsSingleton && node.XmlType.IsStrict, node, "Node's type " + node.XmlType + " must be a strict singleton numeric type"); 930Check(node.XmlType.IsNumeric && node.XmlType.IsStrict, node, "Node's type " + node.XmlType + " must be a strict numeric type"); 935Check(node.XmlType.IsAtomicValue && node.XmlType.IsStrict, node, "Node's type " + node.XmlType + " must be a strict atomic value type"); 940Check(node.Left.XmlType.IsSubtypeOf(node.Right.XmlType) || node.Right.XmlType.IsSubtypeOf(node.Left.XmlType), node, 941"Node must not have arguments with disjoint types " + node.Left.XmlType + " and " + node.Right.XmlType); 958if (body.XmlType.TypeCode == XmlTypeCode.None) 968return XmlQueryTypeFactory.AtMost(((QilTargetType)body).TargetType, variable.Binding.XmlType.Cardinality); 984return XmlQueryTypeFactory.AtMost(variable.Binding.XmlType, XmlQueryCardinality.ZeroOrOne);

266nd = f.Function(list[0], list[1], list[2], ann.XmlType != null ? ann.XmlType : list[1].XmlType);

130this.writer.WriteAttributeString("xmlType", node.XmlType.ToString((this.options & Options.RoundTripTypeInfo) != 0 ? "S" : "G"));

203paramTypes[arg] = XmlILTypeHelper.GetStorageType(ndParam.XmlType); 217typReturn = XmlILTypeHelper.GetStorageType(ndFunc.XmlType); 244typReturn = XmlILTypeHelper.GetStorageType(ndRef.XmlType);

76if (result.XmlType.MaybeMany && result.XmlType.IsNode && result.XmlType.IsNotRtf) { 132Debug.Assert(compType == XmlTypeCode.Boolean || left.XmlType.IsSingleton && right.XmlType.IsSingleton, "Both comparison operands must be singletons"); 151Debug.Assert(val.XmlType.IsSingleton); 153if (compType == XmlTypeCode.Boolean || nodeset.XmlType.IsSingleton) { 175if (right.XmlType.IsSingleton) { 178if (left.XmlType.IsSingleton) { 189XmlQueryType leftType = left.XmlType; 190XmlQueryType rightType = right.XmlType; 212XmlQueryType leftType = left.XmlType; 213XmlQueryType rightType = right.XmlType; 277XmlNodeKindFlags original = qilAxis.XmlType.NodeKinds; 287qilAxis.XmlType = T.PrimeProduct(T.NodeChoice(required), qilAxis.XmlType.Cardinality); 410if (predicate.XmlType.TypeCode == XmlTypeCode.Double) { 531if (arg.XmlType.IsSingleton) { 541if (arg.XmlType.IsSingleton) { 566if (arg.XmlType.IsSingleton) {

39XmlQueryType xt = n.XmlType; 52Debug.Assert(n != null && n.XmlType.IsSingleton && n.XmlType.IsNode, "Must be a singleton node"); 57Debug.Assert(n != null && n.XmlType.IsNode, "Must be a node-set"); 62Debug.Assert(n != null && n.XmlType.IsSingleton && n.XmlType.IsNode && n.XmlType.IsNotRtf, "Must be a singleton node and not an Rtf"); 67Debug.Assert(n != null && n.XmlType.IsSubtypeOf(T.StringX), "Must be a singleton string"); 72Debug.Assert(n != null && n.XmlType.IsSubtypeOf(T.StringXS), "Must be a sequence of strings"); 77Debug.Assert(n != null && n.XmlType.IsSubtypeOf(T.DoubleX), "Must be a singleton Double"); 82Debug.Assert(n != null && n.XmlType.IsSubtypeOf(T.BooleanX), "Must be a singleton Bool"); 87XmlQueryType xt = n.XmlType; 93XmlQueryType xt = n.XmlType; 158Debug.Assert(IsAnyType(n), "Unexpected expression type: " + n.XmlType.ToString()); 174switch (n.XmlType.TypeCode) { 189if (n.XmlType.IsNode) { 200switch (n.XmlType.TypeCode) { 216if (n.XmlType.IsNode) { 227switch (n.XmlType.TypeCode) { 239if (n.XmlType.IsNode) { 249if (n.XmlType.IsNode && n.XmlType.IsNotRtf && n.XmlType.IsSingleton) { 256if (n.XmlType.IsNode && n.XmlType.IsNotRtf) { 265if (n.XmlType.IsNode && n.XmlType.IsNotRtf) { 296if (id.XmlType.IsSingleton) {

69XmlQueryType formalType = formalArg.XmlType; 70XmlQueryType invokeType = invokeArg.XmlType;

173XmlNodeKindFlags nodeKinds = isType.Right.XmlType.NodeKinds;

380Debug.Assert(var.XmlType.IsSubtypeOf(T.NamespaceS)); 474QilParameter formal = f.Parameter(args[j].XmlType); { 1102if ((node.XmlType.NodeKinds & InvalidatingNodes) != XmlNodeKindFlags.None) { 1105if (node.XmlType.NodeKinds == XmlNodeKindFlags.Element) { 1115} else if (node.XmlType.NodeKinds == XmlNodeKindFlags.Document) { 1119} else if ((node.XmlType.NodeKinds & (XmlNodeKindFlags.Element | XmlNodeKindFlags.Document)) == XmlNodeKindFlags.None) { 1131if (selectExpr.XmlType.IsNode) { 1132if ((selectExpr.XmlType.NodeKinds & InvalidatingNodes) != XmlNodeKindFlags.None) { 1136if (selectExpr.XmlType.IsNotRtf && (selectExpr.XmlType.NodeKinds & XmlNodeKindFlags.Document) == XmlNodeKindFlags.None) { 1142if (selectExpr.XmlType.IsSingleton) { 1149else if (selectExpr.XmlType.IsAtomicValue) { 1437Debug.Assert(result.XmlType == T.StringX); 1554XmlNodeKindFlags nodeKinds = current.XmlType.NodeKinds; 2148XmlQueryType paramType = formalArgs[invArg].XmlType; 2155XmlQueryType valueType = value.XmlType; 2226QilParameter formalArg = f.Parameter(i == 0 ? T.NodeNotRtf : withParam.Value.XmlType); 2357Debug.Assert(nsVar.XmlType.IsSubtypeOf(T.NamespaceS)); 2358if (nsVar.XmlType.Cardinality == XmlQueryCardinality.One) {

84XmlQueryType varType = var.XmlType; 321if (keys.XmlType.IsNode) { 322if (keys.XmlType.IsSingleton) { 328else if (keys.XmlType.IsAtomicValue) { 343Debug.Assert(name.XmlType == T.StringX && key.XmlType == T.StringX); 424if (uris.XmlType.IsNode) { 428} else if (uris.XmlType.IsAtomicValue) { 453if (baseNode.XmlType.IsSingleton) { 526if (n.XmlType.IsSingleton) { 597if (n.XmlType.IsNode && n.XmlType.IsNotRtf) { 610switch (n.XmlType.TypeCode) { 615if (n.XmlType.IsNode && n.XmlType.IsNotRtf) {

57Debug.Assert(value.XmlType.TypeCode == XmlTypeCode.String);

51Debug.Assert(filter.Variable.XmlType.IsSubtypeOf(T.NodeNotRtf)); 53Debug.Assert(filter.Body.XmlType.IsSubtypeOf(T.Boolean)); 99XmlNodeKindFlags intersection = XPathBuilder.AxisTypeMask(itr.XmlType.NodeKinds, nodeType, xpathAxis); 103intersection == itr.XmlType.NodeKinds ? f.True() : // input is subset of required 108filter.XmlType = T.PrimeProduct(T.NodeChoice(intersection), filter.XmlType.Cardinality); 253nodeFilter.Body = f.And(f.IsType(current, nodeFilter.XmlType), nodeFilter.Body);

26XmlQueryType xt = n.XmlType; 47Debug.Assert(n != null && n.XmlType.IsSubtypeOf(T.QNameX), "Must be a singleton QName"); 119value.XmlType.IsSubtypeOf(T.IntXS) || 120value.XmlType.IsSubtypeOf(T.DoubleX)),