43public override XmlQueryType XmlType

27n.XmlType = QilTypeChecker.CheckQilExpression(n); 157n.XmlType = QilTypeChecker.CheckOptimizeBarrier(n); 165n.XmlType = QilTypeChecker.CheckUnknown(n); 179n.XmlType = QilTypeChecker.CheckDataSource(n); 187n.XmlType = QilTypeChecker.CheckNop(n); 195n.XmlType = QilTypeChecker.CheckError(n); 203n.XmlType = QilTypeChecker.CheckWarning(n); 217n.XmlType = QilTypeChecker.CheckFor(n); 225n.XmlType = QilTypeChecker.CheckLet(n); 233n.XmlType = QilTypeChecker.CheckParameter(n); 241n.XmlType = QilTypeChecker.CheckPositionOf(); 255n.XmlType = QilTypeChecker.CheckTrue(); 263n.XmlType = QilTypeChecker.CheckFalse(); 271n.XmlType = QilTypeChecker.CheckLiteralString(n); 279n.XmlType = QilTypeChecker.CheckLiteralInt32(n); 287n.XmlType = QilTypeChecker.CheckLiteralInt64(n); 295n.XmlType = QilTypeChecker.CheckLiteralDouble(n); 303n.XmlType = QilTypeChecker.CheckLiteralDecimal(n); 311n.XmlType = QilTypeChecker.CheckLiteralQName(n); 319n.XmlType = QilTypeChecker.CheckLiteralType(n); 327n.XmlType = QilTypeChecker.CheckLiteralObject(n); 341n.XmlType = QilTypeChecker.CheckAnd(n); 349n.XmlType = QilTypeChecker.CheckOr(n); 357n.XmlType = QilTypeChecker.CheckNot(n); 371n.XmlType = QilTypeChecker.CheckConditional(n); 379n.XmlType = QilTypeChecker.CheckChoice(n); 393n.XmlType = QilTypeChecker.CheckLength(); 409n.XmlType = QilTypeChecker.CheckUnion(n); 417n.XmlType = QilTypeChecker.CheckIntersection(n); 425n.XmlType = QilTypeChecker.CheckDifference(n); 433n.XmlType = QilTypeChecker.CheckSum(n); 447n.XmlType = QilTypeChecker.CheckNegate(n); 455n.XmlType = QilTypeChecker.CheckAdd(n); 463n.XmlType = QilTypeChecker.CheckSubtract(n); 471n.XmlType = QilTypeChecker.CheckMultiply(n); 479n.XmlType = QilTypeChecker.CheckDivide(n); 487n.XmlType = QilTypeChecker.CheckModulo(n); 501n.XmlType = QilTypeChecker.CheckStrLength(n); 509n.XmlType = QilTypeChecker.CheckStrConcat(n); 517n.XmlType = QilTypeChecker.CheckStrParseQName(n); 531n.XmlType = QilTypeChecker.CheckNe(n); 539n.XmlType = QilTypeChecker.CheckEq(n); 547n.XmlType = QilTypeChecker.CheckGt(n); 555n.XmlType = QilTypeChecker.CheckGe(n); 563n.XmlType = QilTypeChecker.CheckLt(n); 571n.XmlType = QilTypeChecker.CheckLe(n); 585n.XmlType = QilTypeChecker.CheckIs(n); 593n.XmlType = QilTypeChecker.CheckBefore(n); 607n.XmlType = QilTypeChecker.CheckLoop(n); 615n.XmlType = QilTypeChecker.CheckFilter(n); 629n.XmlType = QilTypeChecker.CheckSort(n); 637n.XmlType = QilTypeChecker.CheckSortKey(n); 645n.XmlType = QilTypeChecker.CheckDocOrderDistinct(n); 659n.XmlType = QilTypeChecker.CheckFunction(n); 667n.XmlType = QilTypeChecker.CheckInvoke(n); 681n.XmlType = QilTypeChecker.CheckContent(n); 689n.XmlType = QilTypeChecker.CheckAttribute(n); 697n.XmlType = QilTypeChecker.CheckParent(n); 705n.XmlType = QilTypeChecker.CheckRoot(n); 713n.XmlType = QilTypeChecker.CheckXmlContext(); 721n.XmlType = QilTypeChecker.CheckDescendant(n); 729n.XmlType = QilTypeChecker.CheckDescendantOrSelf(n); 737n.XmlType = QilTypeChecker.CheckAncestor(n); 745n.XmlType = QilTypeChecker.CheckAncestorOrSelf(n); 753n.XmlType = QilTypeChecker.CheckPreceding(n); 761n.XmlType = QilTypeChecker.CheckFollowingSibling(n); 769n.XmlType = QilTypeChecker.CheckPrecedingSibling(n); 777n.XmlType = QilTypeChecker.CheckNodeRange(n); 785n.XmlType = QilTypeChecker.CheckDeref(n); 799n.XmlType = QilTypeChecker.CheckElementCtor(n); 807n.XmlType = QilTypeChecker.CheckAttributeCtor(n); 815n.XmlType = QilTypeChecker.CheckCommentCtor(n); 823n.XmlType = QilTypeChecker.CheckPICtor(n); 831n.XmlType = QilTypeChecker.CheckTextCtor(n); 839n.XmlType = QilTypeChecker.CheckRawTextCtor(n); 847n.XmlType = QilTypeChecker.CheckDocumentCtor(n); 855n.XmlType = QilTypeChecker.CheckNamespaceDecl(n); 863n.XmlType = QilTypeChecker.CheckRtfCtor(n); 877n.XmlType = QilTypeChecker.CheckNameOf(n); 885n.XmlType = QilTypeChecker.CheckLocalNameOf(n); 893n.XmlType = QilTypeChecker.CheckNamespaceUriOf(n); 901n.XmlType = QilTypeChecker.CheckPrefixOf(n); 915n.XmlType = QilTypeChecker.CheckTypeAssert(n); 923n.XmlType = QilTypeChecker.CheckIsType(n); 931n.XmlType = QilTypeChecker.CheckIsEmpty(); 945n.XmlType = QilTypeChecker.CheckXPathNodeValue(n); 953n.XmlType = QilTypeChecker.CheckXPathFollowing(n); 961n.XmlType = QilTypeChecker.CheckXPathPreceding(n); 969n.XmlType = QilTypeChecker.CheckXPathNamespace(n); 983n.XmlType = QilTypeChecker.CheckXsltGenerateId(n); 991n.XmlType = QilTypeChecker.CheckXsltInvokeLateBound(n); 999n.XmlType = QilTypeChecker.CheckXsltInvokeEarlyBound(n); 1007n.XmlType = QilTypeChecker.CheckXsltCopy(n); 1015n.XmlType = QilTypeChecker.CheckXsltCopyOf(n); 1023n.XmlType = QilTypeChecker.CheckXsltConvert(n);

83node.XmlType = newType;

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

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

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

77if (!nd.XmlType!.MaybeMany) 94else if (nd.XmlType.IsDod) 141if (!nd.XmlType!.MaybeMany) 146else if (nd.XmlType.IsDod)

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

598XmlQueryType typ = ndLoop.XmlType!; 682XmlQueryType typ = ndCopy.XmlType!; 825if (ndLoop.XmlType!.MaybeMany) 826CheckAttributeNamespaceConstruct(ndLoop.XmlType); 844CheckAttributeNamespaceConstruct(ndCopy.XmlType!); 895CheckAttributeNamespaceConstruct(ndAttr.XmlType!);

290if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 301if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 332if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 349if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 367if (((((local0).XmlType)!.IsSingleton) && (!(IsGlobalVariable(local0)))) && (this[XmlILOptimization.NormalizeSingletonLet])) 406if (((local2).XmlType)!.IsSingleton) 439if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 450if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 512if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 523if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 584if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 628if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 739if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 764if ((((local1).XmlType)!.IsSingleton) && (!OptimizerPatterns.Read(local1).MatchesPattern(OptimizerPatternName.MaybeSideEffects))) 825if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 836if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 940if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 951if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 1041if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1052if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 1141if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1152if (((local1).XmlType)!.Cardinality == XmlQueryCardinality.Zero) 1169if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1180if (((local1).XmlType)!.Cardinality == XmlQueryCardinality.Zero) 1197if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1208if (((local1).XmlType)!.Cardinality == XmlQueryCardinality.Zero) 1225if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1236if (((local1).XmlType)!.Cardinality == XmlQueryCardinality.Zero) 1256if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1322if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1333if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 1379if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1390if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 1422if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1433if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 1479if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1490if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 1522if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1533if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 1567if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1597if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1608if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 1617if ((((local2).XmlType)!.IsSingleton) && (this[XmlILOptimization.EliminateStrConcatSingle])) 1658if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1669if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 1690if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1701if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 1747if ((IsPrimitiveNumeric((local3).XmlType)) && (IsPrimitiveNumeric(local5))) 1749if ((IsLiteral((local2))) && (CanFoldXsltConvertNonLossy(local2, (local3).XmlType!))) 1754return Replace(XmlILOptimization.NormalizeXsltConvertNe, local0, VisitNe(f.Ne(local3, FoldXsltConvert(local2, (local3).XmlType!)))); 1766if (((local3).XmlType)!.IsSingleton) 1771if (((local4).XmlType)!.IsSingleton) 1826if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 1837if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 1883if ((IsPrimitiveNumeric((local3).XmlType)) && (IsPrimitiveNumeric(local5))) 1885if ((IsLiteral((local2))) && (CanFoldXsltConvertNonLossy(local2, (local3).XmlType!))) 1890return Replace(XmlILOptimization.NormalizeXsltConvertEq, local0, VisitEq(f.Eq(local3, FoldXsltConvert(local2, (local3).XmlType!)))); 1921if (((local3).XmlType)!.IsSingleton) 1926if (((local4).XmlType)!.IsSingleton) 1943if (((local3).XmlType)!.IsSingleton) 1955if (!((local7).XmlType)!.MaybeMany) 1989if (!((local6).XmlType)!.MaybeMany) 1999if (((local9).XmlType)!.IsSingleton) 2025if ((((local4).XmlType)!.IsSingleton) && (!((local5).XmlType)!.MaybeMany)) 2053if ((!((local4).XmlType)!.MaybeMany) && (((local5).XmlType)!.IsSingleton)) 2096if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 2107if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 2153if ((IsPrimitiveNumeric((local3).XmlType)) && (IsPrimitiveNumeric(local5))) 2155if ((IsLiteral((local2))) && (CanFoldXsltConvertNonLossy(local2, (local3).XmlType!))) 2160return Replace(XmlILOptimization.NormalizeXsltConvertGt, local0, VisitGt(f.Gt(local3, FoldXsltConvert(local2, (local3).XmlType!)))); 2210if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 2221if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 2267if ((IsPrimitiveNumeric((local3).XmlType)) && (IsPrimitiveNumeric(local5))) 2269if ((IsLiteral((local2))) && (CanFoldXsltConvertNonLossy(local2, (local3).XmlType!))) 2274return Replace(XmlILOptimization.NormalizeXsltConvertGe, local0, VisitGe(f.Ge(local3, FoldXsltConvert(local2, (local3).XmlType!)))); 2305if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 2316if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 2362if ((IsPrimitiveNumeric((local3).XmlType)) && (IsPrimitiveNumeric(local5))) 2364if ((IsLiteral((local2))) && (CanFoldXsltConvertNonLossy(local2, (local3).XmlType!))) 2369return Replace(XmlILOptimization.NormalizeXsltConvertLt, local0, VisitLt(f.Lt(local3, FoldXsltConvert(local2, (local3).XmlType!)))); 2400if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 2411if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 2457if ((IsPrimitiveNumeric((local3).XmlType)) && (IsPrimitiveNumeric(local5))) 2459if ((IsLiteral((local2))) && (CanFoldXsltConvertNonLossy(local2, (local3).XmlType!))) 2464return Replace(XmlILOptimization.NormalizeXsltConvertLe, local0, VisitLe(f.Le(local3, FoldXsltConvert(local2, (local3).XmlType!)))); 2498if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 2509if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 2538if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 2549if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 2578if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 2589if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 2621if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 2699if (((local3).XmlType!).IsSingleton) 2715if ((((local1).NodeType == QilNodeType.Let) || ((((QilNode)(local1)[0]).XmlType!).IsSingleton)) && (!OptimizerPatterns.Read(local1).MatchesPattern(OptimizerPatternName.MaybeSideEffects))) 2853if (!((local3).XmlType!).MaybeMany) 2934if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 2945if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 3270if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 3284if (((local3).XmlType)!.IsSingleton) 3310if ((((local3).XmlType) == (XmlQueryTypeFactory.IntX)) && ((local5) == (XmlQueryTypeFactory.DoubleX))) 3329if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 3481if ((!OptimizerPatterns.Read(local2).MatchesPattern(OptimizerPatternName.IsPositional)) && ((local3).XmlType!.IsSubtypeOf(XmlQueryTypeFactory.NodeNotRtfS))) 3603if (((local0).XmlType!.IsSubtypeOf(XmlQueryTypeFactory.NodeS)) && (this[XmlILOptimization.AnnotateIndex1])) 3605if (((local1.Count == 2) && (((QilNode)(local1)[0]).XmlType!.IsSubtypeOf(XmlQueryTypeFactory.Node))) && ((((QilNode)(local1)[1]).XmlType) == (XmlQueryTypeFactory.StringX))) 3674if (((local0).XmlType.IsSubtypeOf(XmlQueryTypeFactory.NodeS)) && (this[XmlILOptimization.AnnotateIndex2])) 3676if (((local1.Count == 2) && ((((QilNode)(local1)[0]).XmlType) == (XmlQueryTypeFactory.Node))) && ((((QilNode)(local1)[1]).XmlType) == (XmlQueryTypeFactory.StringX))) 3773if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 3799if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 3810if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 3835if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 3860if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 3885if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 3910if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 3935if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 3960if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 3985if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4010if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4035if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4061if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4072if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 4098if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4109if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 4130if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4141if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 4169if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4180if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 4205if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4231if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4242if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 4267if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4292if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4317if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4343if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4354if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 4387if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4429if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4446if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4463if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4480if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4501if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4515if ((local1).XmlType!.NeverSubtypeOf(local3)) 4530if ((local1).XmlType!.Prime.NeverSubtypeOf(local3.Prime)) 4545if ((local1).XmlType!.IsSubtypeOf(local3)) 4564if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4580if ((local1).XmlType!.IsSubtypeOf(local3)) 4598if ((local1).XmlType!.NeverSubtypeOf(local3)) 4614if ((local1).XmlType!.Prime.NeverSubtypeOf(local3.Prime)) 4631if ((local1).XmlType!.IsSubtypeOf(local3)) 4649if ((local1).XmlType!.NeverSubtypeOf(local3)) 4668if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4693if ((!((local1).XmlType)!.MaybeEmpty) && (!OptimizerPatterns.Read(local1).MatchesPattern(OptimizerPatternName.MaybeSideEffects))) 4704if (!((local1).XmlType)!.MaybeEmpty) 4724if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4741if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4766if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4791if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4819if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4837if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4848if ((object?)((local2).XmlType) == (object)XmlQueryTypeFactory.None) 4873if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4899if ((object?)((local1).XmlType) == (object)XmlQueryTypeFactory.None) 4931if (((local1).XmlType) == (local3)) 5206if (nd.XmlType!.IsNode) 5246return !((QilInvoke)nd).Function.XmlType!.IsAtomicValue; 5380ndDest = FoldXsltConvert(ndDest, ndLiteral.XmlType!); 5400XmlAtomicValue value = new XmlAtomicValue(ndLiteral.XmlType!.SchemaType, ExtractLiteralValue(ndLiteral)); 5432Debug.Assert(left.XmlType == right.XmlType, $"Comparison is not defined between {left.XmlType} and {right.XmlType}");

103iterInfo.Storage = StorageDescriptor.Global(methGlobal, GetItemStorageType(iter), !iter.XmlType!.IsSingleton); 127isCached = !iter.XmlType!.IsSingleton; 149Debug.Assert(iter.XmlType == TypeFactory.ItemS, "IlGen currently only supports parameters of type item*."); 232iterInfo.Storage = StorageDescriptor.Parameter(paramId, GetItemStorageType(iter), !iter.XmlType!.IsSingleton); 253Debug.Assert(iter.XmlType == TypeFactory.ItemS, "IlGen currently only supports default values in parameters of type item*."); 267NestedVisitEnsureStack(iter.Binding, GetItemStorageType(iter), /*isCached:*/!iter.XmlType.IsSingleton); 281NestedVisitEnsureStack(ndFunc.Definition, GetItemStorageType(ndFunc), !ndFunc.XmlType!.IsSingleton); 318Debug.Assert(nd.XmlType!.IsSingleton || CachesResult(nd) || _iterCurr.HasLabelNext, 361XmlQueryType typ = nd.XmlType!; 374_iterCurr.EnsureItemStorageType(nd.XmlType!, typeof(XPathItem)); 380_iterCurr.EnsureItemStorageType(nd.XmlType!, typeof(XPathItem)); 912Debug.Assert(ndCond.Left.XmlType!.TypeCode == XmlTypeCode.Boolean); 915if (ndCond.XmlType!.IsSingleton) 947if (!ndCond.XmlType.IsSingleton) 949Debug.Assert(!ndCond.Center.XmlType!.IsSingleton || !ndCond.Right.XmlType!.IsSingleton); 981Debug.Assert(ndBranch.XmlType!.IsSingleton, "Conditional must produce a singleton"); 998_iterCurr.EnsureItemStorageType(ndBranch.XmlType!, itemStorageType); 1173if (nd.XmlType!.IsSingleton) 1218_iterCurr.EnsureItemStorageType(ndSeq[i].XmlType!, itemStorageType); 1329if (ndSet.XmlType!.IsSingleton) 1401_iterCurr.EnsureItemStorageType(ndAgg.XmlType!, GetItemStorageType(ndAgg)); 1412if (ndAgg.XmlType!.MaybeEmpty) 1433_helper.CallArithmeticOp(QilNodeType.Negate, ndNeg.XmlType!.TypeCode); 1484_helper.CallArithmeticOp(ndOp.NodeType, ndOp.XmlType!.TypeCode); 1509Debug.Assert(!ndStrConcat.Values.XmlType!.IsSingleton, "Optimizer should have folded StrConcat of a singleton value"); 1525if (!ndStr.XmlType!.IsSingleton) 1592_iterCurr.EnsureItemStorageType(ndStr.XmlType!, typeof(string)); 1627if (ndParsedTagName.Right.XmlType!.TypeCode == XmlTypeCode.String) 1630Debug.Assert(ndParsedTagName.Right.XmlType.IsSingleton); 1713Debug.Assert(ndComp.Left.XmlType!.IsAtomicValue && ndComp.Right.XmlType!.IsAtomicValue, "Operands to compare must be atomic values."); 1714Debug.Assert(ndComp.Left.XmlType.IsSingleton && ndComp.Right.XmlType.IsSingleton, "Operands to compare must be cardinality one."); 1715Debug.Assert(ndComp.Left.XmlType == ndComp.Right.XmlType, "Operands to compare may not be heterogenous."); 1737code = ndComp.Left.XmlType.TypeCode; 2076_iterCurr.EnsureItemStorageType(nodes.XmlType!, typeof(XPathNavigator)); 2117if (ndIter.NodeType == QilNodeType.For || ndIter.XmlType!.IsSingleton) 2141Debug.Assert(ndFor.XmlType!.IsSingleton); 2203Debug.Assert(!ndLet.XmlType!.IsSingleton); 2209NestedVisit(ndLet.Binding!, GetItemStorageType(ndLet), !ndLet.XmlType.IsSingleton); 2290_iterCurr.EnsureItemStorageType(ndSort.Variable.XmlType!, GetItemStorageType(ndSort.Variable)); 2330Debug.Assert(ndKey.Key.XmlType!.IsAtomicValue, "Sort key must be an atomic value."); 2347if (ndKey.XmlType!.IsSingleton) 2352_helper.AddSortKey(ndKey.Key.XmlType); 2360_iterCurr.EnsureItemStorageType(ndKey.Key.XmlType, GetItemStorageType(ndKey.Key)); 2364_helper.AddSortKey(ndKey.Key.XmlType); 2388if (ndDod.XmlType!.IsSingleton) 2438kinds = ((ndDod.XmlType!.NodeKinds & XmlNodeKindFlags.Attribute) != 0) ? XmlNodeKindFlags.Any : XmlNodeKindFlags.Content; 2562NestedVisitEnsureStack(ndActualArg, GetItemStorageType(ndFormalArg), !ndFormalArg.XmlType!.IsSingleton); 2575_iterCurr.Storage = StorageDescriptor.Stack(GetItemStorageType(ndInvoke), !ndInvoke.XmlType!.IsSingleton); 3149if (!ndTypeAssert.Source.XmlType!.IsSingleton && ndTypeAssert.XmlType!.IsSingleton && !_iterCurr.HasLabelNext) 3167_iterCurr.EnsureItemStorageType(ndTypeAssert.Source.XmlType, GetItemStorageType(ndTypeAssert)); 3179typDerived = ndIsType.Source.XmlType!; 3439Debug.Assert(ndVal.Child.XmlType!.IsNode, "XPathNodeValue node may only be applied to a sequence of Nodes."); 3442if (ndVal.Child.XmlType.IsSingleton) 3517if (ndGenId.Child.XmlType!.IsSingleton) 3533_iterCurr.EnsureItemStorageType(ndGenId.Child.XmlType, typeof(XPathNavigator)); 3620if (clrTypeRetSrc != clrTypeRetDst && !ndInvoke.XmlType!.IsEmpty) 3623_helper.LoadInteger(_helper.StaticData.DeclareXmlType(ndInvoke.XmlType)); 3649Debug.Assert(ndActualArg.XmlType!.IsSubtypeOf(xmlTypeFormalArg), "Xml type of actual arg must be a subtype of the Xml type of the formal arg"); 3670else if ((ndActualArg.XmlType.IsSingleton && clrTypeFormalArg == itemType) || ndActualArg.XmlType.TypeCode == XmlTypeCode.None) 3675else if (ndActualArg.XmlType.IsSingleton && clrTypeFormalArg == typeof(XPathItem)) 3711if (ndInvoke.XmlType!.IsEmpty) 3734_iterCurr.Storage = StorageDescriptor.Stack(GetItemStorageType(ndInvoke), !ndInvoke.XmlType.IsSingleton); 3751Debug.Assert(ndCopy.Left.XmlType!.IsNode); 3763Debug.Assert(ndCopy.Left.XmlType.IsNode); 3799typSrc = ndConv.Source.XmlType!; 3811Debug.Fail($"Conversion from {ndConv.Source.XmlType} to {ndConv.TargetType} is not supported."); 4059_iterCurr.EnsureNoStackNoCache(nd.XmlType!.IsNode ? "$$$navInput" : "$$$itemInput"); 4076if (nd.XmlType.IsSingleton) 4105Debug.Assert(ndName.XmlType!.TypeCode == XmlTypeCode.QName, "Element or attribute name must have QName type."); 4176if ((ndName as QilBinary)!.Right.XmlType!.TypeCode == XmlTypeCode.String) 4229ZeroCompare(relOp, ndSecond.XmlType!.TypeCode == XmlTypeCode.Boolean); 4428if (!info.PushToWriterLast || nd.XmlType!.IsSingleton) 4456if (nd.XmlType!.IsSingleton) 4697nd.XmlType!.TypeCode == XmlTypeCode.None, 4707_iterCurr.EnsureItemStorageType(nd.XmlType!, typeof(bool)); 4742else if (!isCached && nd.XmlType!.IsSingleton) 4748_iterCurr.EnsureItemStorageType(nd.XmlType, itemStorageType); 4763NestedVisit(nd, GetItemStorageType(nd), !nd.XmlType!.IsSingleton); 4776_iterCurr.EnsureItemStorageType(nd.XmlType!, GetItemStorageType(nd)); 4825Debug.Assert(nd.XmlType!.IsSingleton && !XmlILConstructInfo.Read(nd).PushToWriterLast); 4863_iterCurr.EnsureItemStorageType(nd.XmlType!, itemStorageType); 4879if (nd.XmlType!.IsSingleton) 4902_iterCurr.EnsureItemStorageType(nd.XmlType, cacheType); 4934return !nd.XmlType!.IsSingleton; 4942if (nd.XmlType!.IsSingleton) 4963return XmlILTypeHelper.GetStorageType(nd.XmlType!); 4979return XmlILTypeHelper.GetStorageType(nd.XmlType!.Prime);

56xt = XmlQueryTypeFactory.Sequence(xt, _members[i].XmlType!); 62xt = _members[0].XmlType!; 64xt = XmlQueryTypeFactory.Choice(xt, _members[i].XmlType!);

229Debug.Assert(arg.XmlType!.TypeCode == XmlTypeCode.Boolean && arg.XmlType.IsSingleton, 446if (values.XmlType!.IsSingleton) 601return _f.Function(args, defn, sideEffects, defn.XmlType!);

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

226return node.Child.XmlType!; 231return node.XmlType!; 249return node.Child.XmlType!; 272return node.Binding!.XmlType!.Prime; 277return node.Binding!.XmlType!; 282Check(node.Binding == null || node.Binding.XmlType!.IsSubtypeOf(node.XmlType!), node, "Parameter binding's xml type must be a subtype of the parameter's type"); 283return node.XmlType!; 390return XmlQueryTypeFactory.Choice(node.Center.XmlType!, node.Right.XmlType!); 421return DistinctType(XmlQueryTypeFactory.Sequence(node.Left.XmlType!, node.Right.XmlType!)); 433return XmlQueryTypeFactory.AtMost(node.Left.XmlType!, node.Left.XmlType!.Cardinality); 438XmlQueryType xmlType = node.Child.XmlType!; 467return node.Child.XmlType!; 475return node.Left.XmlType!.TypeCode == XmlTypeCode.None ? node.Right.XmlType! : node.Left.XmlType!; 520Check(node.Right.XmlType!.IsSubtypeOf(XmlQueryTypeFactory.StringX) || node.Right.XmlType.IsSubtypeOf(XmlQueryTypeFactory.NamespaceS), 598XmlQueryType bodyType = node.Body.XmlType!; 599XmlQueryCardinality variableCard = node.Variable.NodeType == QilNodeType.Let ? XmlQueryCardinality.One : node.Variable.Binding!.XmlType!.Cardinality; 616return XmlQueryTypeFactory.AtMost(node.Variable.Binding!.XmlType!, node.Variable.Binding.XmlType!.Cardinality); 627XmlQueryType varType = node.Variable.Binding!.XmlType!; 640return node.Key.XmlType!; 646return DistinctType(node.Child.XmlType!); 659Check(node.Definition.XmlType!.IsSubtypeOf(node.XmlType!), node, "Function definition's xml type must be a subtype of the function's return type"); 660return node.XmlType!; 673Check(actualArgs[i].XmlType!.IsSubtypeOf(formalArgs[i].XmlType!), actualArgs[i], "Invoke argument must be a subtype of the invoked function's argument"); 676return node.Function.XmlType!; 724return XmlQueryTypeFactory.Choice(node.Child.XmlType!, XmlQueryTypeFactory.ContentS); 736return XmlQueryTypeFactory.Choice(node.Child.XmlType!, XmlQueryTypeFactory.DocumentOrElementS); 761return XmlQueryTypeFactory.Choice(node.Left.XmlType!, XmlQueryTypeFactory.ContentS, node.Right.XmlType!); 954Check(actualArgs[i].XmlType!.IsSubtypeOf(extFunc.GetXmlArgumentType(i)), actualArgs[i], "InvokeEarlyBound argument must be a subtype of the invoked function's argument type"); 958return node.XmlType!; 965return XmlQueryTypeFactory.Choice(node.Left.XmlType!, node.Right.XmlType!); 972if ((node.Child.XmlType!.NodeKinds & XmlNodeKindFlags.Document) != 0) 975return node.Child.XmlType; 1022Check(node.XmlType!.IsSubtypeOf(xmlType), node, $"Node's type {node.XmlType} is not a subtype of {xmlType}"); 1028Check(node.XmlType!.IsNumeric && node.XmlType.IsSingleton && node.XmlType.IsStrict, node, $"Node's type {node.XmlType} must be a strict singleton numeric type"); 1034Check(node.XmlType!.IsNumeric && node.XmlType.IsStrict, node, $"Node's type {node.XmlType} must be a strict numeric type"); 1040Check(node.XmlType!.IsAtomicValue && node.XmlType.IsStrict, node, $"Node's type {node.XmlType} must be a strict atomic value type"); 1046Check(node.Left.XmlType!.IsSubtypeOf(node.Right.XmlType!) || node.Right.XmlType!.IsSubtypeOf(node.Left.XmlType), node, 1047$"Node must not have arguments with disjoint types {node.Left.XmlType} and {node.Right.XmlType}"); 1066if (body.XmlType!.TypeCode == XmlTypeCode.None) 1077return XmlQueryTypeFactory.AtMost(((QilTargetType)body).TargetType, variable.Binding!.XmlType!.Cardinality); 1094return XmlQueryTypeFactory.AtMost(variable.Binding!.XmlType!, XmlQueryCardinality.ZeroOrOne);

61if (parent.XmlType == null) 70if (!type.IsSubtypeOf(parent.XmlType))

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

213paramTypes[arg] = XmlILTypeHelper.GetStorageType(ndParam.XmlType!); 229typReturn = XmlILTypeHelper.GetStorageType(ndFunc.XmlType!); 259typReturn = XmlILTypeHelper.GetStorageType(ndRef.XmlType!);

81if (result.XmlType!.MaybeMany && result.XmlType.IsNode && result.XmlType.IsNotRtf) 148Debug.Assert(compType == XmlTypeCode.Boolean || left.XmlType!.IsSingleton && right.XmlType!.IsSingleton, "Both comparison operands must be singletons"); 169Debug.Assert(val.XmlType!.IsSingleton); 171if (compType == XmlTypeCode.Boolean || nodeset.XmlType!.IsSingleton) 198if (right.XmlType!.IsSingleton) 202if (left.XmlType!.IsSingleton) 215XmlQueryType leftType = left.XmlType!; 216XmlQueryType rightType = right.XmlType!; 248XmlQueryType leftType = left.XmlType!; 249XmlQueryType rightType = right.XmlType!; 330XmlNodeKindFlags original = qilAxis.XmlType!.NodeKinds; 345qilAxis.XmlType = T.PrimeProduct(T.NodeChoice(required), qilAxis.XmlType!.Cardinality); 477if (predicate.XmlType!.TypeCode == XmlTypeCode.Double) 614if (arg.XmlType!.IsSingleton) 628if (arg.XmlType!.IsSingleton) 660if (arg.XmlType!.IsSingleton)

39XmlQueryType? xt = n.XmlType; 48Debug.Assert(n != null && n.XmlType!.IsSingleton && n.XmlType.IsNode, "Must be a singleton node"); 54Debug.Assert(n != null && n.XmlType!.IsNode, "Must be a node-set"); 60Debug.Assert(n != null && n.XmlType!.IsSingleton && n.XmlType.IsNode && n.XmlType.IsNotRtf, "Must be a singleton node and not an Rtf"); 66Debug.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"); 78Debug.Assert(n != null && n.XmlType!.IsSubtypeOf(T.DoubleX), "Must be a singleton Double"); 84Debug.Assert(n != null && n.XmlType!.IsSubtypeOf(T.BooleanX), "Must be a singleton Bool"); 90XmlQueryType xt = n.XmlType!; 97XmlQueryType xt = n.XmlType!; 170Debug.Assert(IsAnyType(n), $"Unexpected expression type: {n.XmlType}"); 189switch (n.XmlType!.TypeCode) 205if (n.XmlType.IsNode) 218switch (n.XmlType!.TypeCode) 235if (n.XmlType.IsNode) 248switch (n.XmlType!.TypeCode) 261if (n.XmlType.IsNode) 273if (n.XmlType!.IsNode && n.XmlType.IsNotRtf && n.XmlType.IsSingleton) 282if (n.XmlType!.IsNode && n.XmlType.IsNotRtf) 293if (n.XmlType!.IsNode && n.XmlType.IsNotRtf) 330if (id.XmlType!.IsSingleton)

76XmlQueryType formalType = formalArg.XmlType!; 77XmlQueryType invokeType = invokeArg.XmlType!;

182XmlNodeKindFlags nodeKinds = isType.Right.XmlType!.NodeKinds;

436Debug.Assert(var.XmlType!.IsSubtypeOf(T.NamespaceS)); 552QilParameter formal = _f.Parameter(args[j].XmlType!); 1300if ((node.XmlType!.NodeKinds & InvalidatingNodes) != XmlNodeKindFlags.None) 1304if (node.XmlType.NodeKinds == XmlNodeKindFlags.Element) 1316else if (node.XmlType.NodeKinds == XmlNodeKindFlags.Document) 1322else if ((node.XmlType.NodeKinds & (XmlNodeKindFlags.Element | XmlNodeKindFlags.Document)) == XmlNodeKindFlags.None) 1338if (selectExpr.XmlType!.IsNode) 1340if ((selectExpr.XmlType.NodeKinds & InvalidatingNodes) != XmlNodeKindFlags.None) 1345if (selectExpr.XmlType.IsNotRtf && (selectExpr.XmlType.NodeKinds & XmlNodeKindFlags.Document) == XmlNodeKindFlags.None) 1352if (selectExpr.XmlType.IsSingleton) 1362else if (selectExpr.XmlType.IsAtomicValue) 1718Debug.Assert(result.XmlType == T.StringX); 1854XmlNodeKindFlags nodeKinds = current.XmlType!.NodeKinds; 2576XmlQueryType paramType = formalArgs[invArg].XmlType!; 2586XmlQueryType valueType = value.XmlType!; 2670QilParameter formalArg = _f.Parameter(i == 0 ? T.NodeNotRtf : withParam.Value!.XmlType!); 2824Debug.Assert(nsVar.XmlType!.IsSubtypeOf(T.NamespaceS)); 2825if (nsVar.XmlType.Cardinality == XmlQueryCardinality.One)

88XmlQueryType varType = var.XmlType!; 380if (keys.XmlType!.IsNode) 382if (keys.XmlType.IsSingleton) 391else if (keys.XmlType.IsAtomicValue) 409Debug.Assert(name.XmlType == T.StringX && key.XmlType == T.StringX); 501if (uris.XmlType!.IsNode) 507else if (uris.XmlType.IsAtomicValue) 539if (baseNode.XmlType!.IsSingleton) 632if (n.XmlType!.IsSingleton) 725if (n.XmlType!.IsNode && n.XmlType.IsNotRtf) 741switch (n.XmlType!.TypeCode) 747if (n.XmlType.IsNode && n.XmlType.IsNotRtf)

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

53Debug.Assert(filter.Variable.XmlType!.IsSubtypeOf(T.NodeNotRtf)); 55Debug.Assert(filter.Body.XmlType!.IsSubtypeOf(T.Boolean)); 106XmlNodeKindFlags intersection = XPathBuilder.AxisTypeMask(itr.XmlType!.NodeKinds, nodeType, xpathAxis); 110intersection == itr.XmlType.NodeKinds ? f.True() : // input is subset of required 115filter.XmlType = T.PrimeProduct(T.NodeChoice(intersection), filter.XmlType!.Cardinality); 282nodeFilter.Body = _f.And(_f.IsType(current, nodeFilter.XmlType!), nodeFilter.Body);

22XmlQueryType xt = n.XmlType!; 45Debug.Assert(n != null && n.XmlType!.IsSubtypeOf(T.QNameX), "Must be a singleton QName"); 122value.XmlType!.IsSubtypeOf(T.IntXS) || 123value.XmlType.IsSubtypeOf(T.DoubleX)),