Code:
/ 4.0 / 4.0 / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / fx / src / XmlUtils / System / Xml / Xsl / Xslt / InvokeGenerator.cs / 1305376 / InvokeGenerator.cs
//------------------------------------------------------------------------------ //// Copyright (c) Microsoft Corporation. All rights reserved. // //[....] //----------------------------------------------------------------------------- using System.Collections.Generic; using System.Diagnostics; using System.Xml.Xsl.Qil; namespace System.Xml.Xsl.Xslt { using T = XmlQueryTypeFactory; /** InvokeGenerator is one of the trikest peaces here. ARGS: QilFunction func -- Functions which should be invoked. Arguments of this function (formalArgs) are Let nodes anotated with names and default valies. Problem 1 is that default values can contain references to previouse args of this function. Problem 2 is that default values shouldn't contain fixup nodes. ArrayList actualArgs -- Array of QilNodes anotated with names. When name of formalArg match name actualArg last one is used as invokeArg, otherwise formalArg's default value is cloned and used. **/ internal class InvokeGenerator : QilCloneVisitor { private bool debug; private StackiterStack; private QilList formalArgs; private QilList invokeArgs; private int curArg; // this.Clone() depends on this value private XsltQilFactory fac; public InvokeGenerator(XsltQilFactory f, bool debug) : base(f.BaseFactory) { this.debug = debug; this.fac = f; this.iterStack = new Stack (); } public QilNode GenerateInvoke(QilFunction func, IList actualArgs) { iterStack.Clear(); formalArgs = func.Arguments; invokeArgs = fac.ActualParameterList(); // curArg is an instance variable used in Clone() method for (curArg = 0; curArg < formalArgs.Count; curArg ++) { // Find actual value for a given formal arg QilParameter formalArg = (QilParameter)formalArgs[curArg]; QilNode invokeArg = FindActualArg(formalArg, actualArgs); // If actual value was not specified, use the default value and copy its debug comment if (invokeArg == null) { if (debug) { if (formalArg.Name.NamespaceUri == XmlReservedNs.NsXslDebug) { Debug.Assert(formalArg.Name.LocalName == "namespaces", "Cur,Pos,Last don't have default values and should be always added to by caller in AddImplicitArgs()"); Debug.Assert(formalArg.DefaultValue != null, "PrecompileProtoTemplatesHeaders() set it"); invokeArg = Clone(formalArg.DefaultValue); } else { invokeArg = fac.DefaultValueMarker(); } } else { Debug.Assert(formalArg.Name.NamespaceUri != XmlReservedNs.NsXslDebug, "Cur,Pos,Last don't have default values and should be always added to by caller in AddImplicitArgs(). We don't have $namespaces in !debug."); invokeArg = Clone(formalArg.DefaultValue); } } XmlQueryType formalType = formalArg.XmlType; XmlQueryType invokeType = invokeArg.XmlType; // Possible arg types: anyType, node-set, string, boolean, and number fac.CheckXsltType(formalArg); fac.CheckXsltType(invokeArg); if (!invokeType.IsSubtypeOf(formalType)) { // This may occur only if inferred type of invokeArg is XslFlags.None Debug.Assert(invokeType == T.ItemS, "Actual argument type is not a subtype of formal argument type"); invokeArg = fac.TypeAssert(invokeArg, formalType); } invokeArgs.Add(invokeArg); } // Create Invoke node and wrap it with previous parameter declarations QilNode invoke = fac.Invoke(func, invokeArgs); while (iterStack.Count != 0) invoke = fac.Loop(iterStack.Pop(), invoke); return invoke; } private QilNode FindActualArg(QilParameter formalArg, IList actualArgs) { QilName argName = formalArg.Name; Debug.Assert(argName != null); foreach (XslNode actualArg in actualArgs) { if (actualArg.Name.Equals(argName)) { return ((VarPar)actualArg).Value; } } return null; } // ------------------------------------ QilCloneVisitor ------------------------------------- protected override QilNode VisitReference(QilNode n) { QilNode replacement = FindClonedReference(n); // If the reference is internal for the subtree being cloned, return it as is if (replacement != null) { return replacement; } // Replacement was not found, thus the reference is external for the subtree being cloned. // The case when it refers to one of previous arguments (xsl:param can refer to previous // xsl:param's) must be taken care of. for (int prevArg = 0; prevArg < curArg; prevArg++) { Debug.Assert(formalArgs[prevArg] != null, "formalArg must be in the list"); Debug.Assert(invokeArgs[prevArg] != null, "This arg should be compiled already"); // Is this a reference to prevArg? if (n == formalArgs[prevArg]) { // If prevArg is a literal, just clone it if (invokeArgs[prevArg] is QilLiteral) { return invokeArgs[prevArg].ShallowClone(fac.BaseFactory); } // If prevArg is not an iterator, cache it in an iterator, and return it if (!(invokeArgs[prevArg] is QilIterator)) { QilIterator var = fac.BaseFactory.Let(invokeArgs[prevArg]); iterStack.Push(var); invokeArgs[prevArg] = var; } Debug.Assert(invokeArgs[prevArg] is QilIterator); return invokeArgs[prevArg]; } } // This is a truly external reference, return it as is return n; } protected override QilNode VisitFunction(QilFunction n) { // No need to change function references return n; } } } // File provided for Reference Use Only by Microsoft Corporation (c) 2007. //------------------------------------------------------------------------------ // // Copyright (c) Microsoft Corporation. All rights reserved. // //[....] //----------------------------------------------------------------------------- using System.Collections.Generic; using System.Diagnostics; using System.Xml.Xsl.Qil; namespace System.Xml.Xsl.Xslt { using T = XmlQueryTypeFactory; /** InvokeGenerator is one of the trikest peaces here. ARGS: QilFunction func -- Functions which should be invoked. Arguments of this function (formalArgs) are Let nodes anotated with names and default valies. Problem 1 is that default values can contain references to previouse args of this function. Problem 2 is that default values shouldn't contain fixup nodes. ArrayList actualArgs -- Array of QilNodes anotated with names. When name of formalArg match name actualArg last one is used as invokeArg, otherwise formalArg's default value is cloned and used. **/ internal class InvokeGenerator : QilCloneVisitor { private bool debug; private StackiterStack; private QilList formalArgs; private QilList invokeArgs; private int curArg; // this.Clone() depends on this value private XsltQilFactory fac; public InvokeGenerator(XsltQilFactory f, bool debug) : base(f.BaseFactory) { this.debug = debug; this.fac = f; this.iterStack = new Stack (); } public QilNode GenerateInvoke(QilFunction func, IList actualArgs) { iterStack.Clear(); formalArgs = func.Arguments; invokeArgs = fac.ActualParameterList(); // curArg is an instance variable used in Clone() method for (curArg = 0; curArg < formalArgs.Count; curArg ++) { // Find actual value for a given formal arg QilParameter formalArg = (QilParameter)formalArgs[curArg]; QilNode invokeArg = FindActualArg(formalArg, actualArgs); // If actual value was not specified, use the default value and copy its debug comment if (invokeArg == null) { if (debug) { if (formalArg.Name.NamespaceUri == XmlReservedNs.NsXslDebug) { Debug.Assert(formalArg.Name.LocalName == "namespaces", "Cur,Pos,Last don't have default values and should be always added to by caller in AddImplicitArgs()"); Debug.Assert(formalArg.DefaultValue != null, "PrecompileProtoTemplatesHeaders() set it"); invokeArg = Clone(formalArg.DefaultValue); } else { invokeArg = fac.DefaultValueMarker(); } } else { Debug.Assert(formalArg.Name.NamespaceUri != XmlReservedNs.NsXslDebug, "Cur,Pos,Last don't have default values and should be always added to by caller in AddImplicitArgs(). We don't have $namespaces in !debug."); invokeArg = Clone(formalArg.DefaultValue); } } XmlQueryType formalType = formalArg.XmlType; XmlQueryType invokeType = invokeArg.XmlType; // Possible arg types: anyType, node-set, string, boolean, and number fac.CheckXsltType(formalArg); fac.CheckXsltType(invokeArg); if (!invokeType.IsSubtypeOf(formalType)) { // This may occur only if inferred type of invokeArg is XslFlags.None Debug.Assert(invokeType == T.ItemS, "Actual argument type is not a subtype of formal argument type"); invokeArg = fac.TypeAssert(invokeArg, formalType); } invokeArgs.Add(invokeArg); } // Create Invoke node and wrap it with previous parameter declarations QilNode invoke = fac.Invoke(func, invokeArgs); while (iterStack.Count != 0) invoke = fac.Loop(iterStack.Pop(), invoke); return invoke; } private QilNode FindActualArg(QilParameter formalArg, IList actualArgs) { QilName argName = formalArg.Name; Debug.Assert(argName != null); foreach (XslNode actualArg in actualArgs) { if (actualArg.Name.Equals(argName)) { return ((VarPar)actualArg).Value; } } return null; } // ------------------------------------ QilCloneVisitor ------------------------------------- protected override QilNode VisitReference(QilNode n) { QilNode replacement = FindClonedReference(n); // If the reference is internal for the subtree being cloned, return it as is if (replacement != null) { return replacement; } // Replacement was not found, thus the reference is external for the subtree being cloned. // The case when it refers to one of previous arguments (xsl:param can refer to previous // xsl:param's) must be taken care of. for (int prevArg = 0; prevArg < curArg; prevArg++) { Debug.Assert(formalArgs[prevArg] != null, "formalArg must be in the list"); Debug.Assert(invokeArgs[prevArg] != null, "This arg should be compiled already"); // Is this a reference to prevArg? if (n == formalArgs[prevArg]) { // If prevArg is a literal, just clone it if (invokeArgs[prevArg] is QilLiteral) { return invokeArgs[prevArg].ShallowClone(fac.BaseFactory); } // If prevArg is not an iterator, cache it in an iterator, and return it if (!(invokeArgs[prevArg] is QilIterator)) { QilIterator var = fac.BaseFactory.Let(invokeArgs[prevArg]); iterStack.Push(var); invokeArgs[prevArg] = var; } Debug.Assert(invokeArgs[prevArg] is QilIterator); return invokeArgs[prevArg]; } } // This is a truly external reference, return it as is return n; } protected override QilNode VisitFunction(QilFunction n) { // No need to change function references return n; } } } // File provided for Reference Use Only by Microsoft Corporation (c) 2007.
Link Menu
This book is available now!
Buy at Amazon US or
Buy at Amazon UK
- DocumentXmlWriter.cs
- MsmqDiagnostics.cs
- ParsedAttributeCollection.cs
- RoleExceptions.cs
- ExpressionParser.cs
- XmlChildEnumerator.cs
- ReflectionTypeLoadException.cs
- Misc.cs
- FixedSOMFixedBlock.cs
- RenderData.cs
- UpdateTranslator.cs
- PrePrepareMethodAttribute.cs
- Rect3D.cs
- IPAddressCollection.cs
- Internal.cs
- ScriptModule.cs
- SqlInternalConnection.cs
- RequestQueue.cs
- NumberSubstitution.cs
- XsltFunctions.cs
- FolderBrowserDialog.cs
- XmlNamespaceDeclarationsAttribute.cs
- XmlAggregates.cs
- XsdCachingReader.cs
- ObjectParameterCollection.cs
- InputLanguage.cs
- hebrewshape.cs
- _ListenerAsyncResult.cs
- RuleEngine.cs
- SqlBuilder.cs
- TextReader.cs
- ISCIIEncoding.cs
- TraversalRequest.cs
- BufferModesCollection.cs
- BaseResourcesBuildProvider.cs
- DefaultMemberAttribute.cs
- X509CertificateClaimSet.cs
- MailDefinition.cs
- Menu.cs
- RightsManagementInformation.cs
- NTAccount.cs
- GridView.cs
- Route.cs
- ExtenderProvidedPropertyAttribute.cs
- FontStretches.cs
- WebScriptServiceHostFactory.cs
- XmlUnspecifiedAttribute.cs
- FontSource.cs
- Rect.cs
- FrameworkContentElementAutomationPeer.cs
- ConnectionsZone.cs
- WindowCollection.cs
- TextElementEnumerator.cs
- XhtmlConformanceSection.cs
- DataGridViewColumnEventArgs.cs
- xml.cs
- EntityContainerRelationshipSet.cs
- XmlResolver.cs
- DataReceivedEventArgs.cs
- TreeIterator.cs
- Scene3D.cs
- XmlHierarchyData.cs
- WebControlAdapter.cs
- XmlStrings.cs
- XmlTypeMapping.cs
- Dynamic.cs
- DeclarativeConditionsCollection.cs
- ElementMarkupObject.cs
- RichTextBox.cs
- OleDbCommand.cs
- SqlNode.cs
- InternalPermissions.cs
- SqlRowUpdatingEvent.cs
- DataTablePropertyDescriptor.cs
- FlowDocumentReader.cs
- EntityDataSourceState.cs
- ContentFileHelper.cs
- Span.cs
- SemanticResultValue.cs
- MeasureItemEvent.cs
- CommentAction.cs
- securestring.cs
- ErrorTolerantObjectWriter.cs
- ProfilePropertySettingsCollection.cs
- SingleSelectRootGridEntry.cs
- SAPIEngineTypes.cs
- GenericIdentity.cs
- IncrementalHitTester.cs
- SHA384Cng.cs
- serverconfig.cs
- ObjectViewEntityCollectionData.cs
- SourceFileBuildProvider.cs
- HtmlUtf8RawTextWriter.cs
- ViewLoader.cs
- BooleanExpr.cs
- NativeCppClassAttribute.cs
- SelectionPattern.cs
- EventLogTraceListener.cs
- XmlLangPropertyAttribute.cs
- AuthenticatedStream.cs