Expression.cs 46 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756
  1. //
  2. // System.Xml.XPath.XPathExpression support classes
  3. //
  4. // Author:
  5. // Piers Haken ([email protected])
  6. //
  7. // (C) 2002 Piers Haken
  8. //
  9. //
  10. // Permission is hereby granted, free of charge, to any person obtaining
  11. // a copy of this software and associated documentation files (the
  12. // "Software"), to deal in the Software without restriction, including
  13. // without limitation the rights to use, copy, modify, merge, publish,
  14. // distribute, sublicense, and/or sell copies of the Software, and to
  15. // permit persons to whom the Software is furnished to do so, subject to
  16. // the following conditions:
  17. //
  18. // The above copyright notice and this permission notice shall be
  19. // included in all copies or substantial portions of the Software.
  20. //
  21. // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  22. // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  23. // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  24. // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  25. // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  26. // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  27. // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  28. //
  29. using System;
  30. using System.IO;
  31. using System.Collections;
  32. using System.Xml;
  33. using System.Xml.XPath;
  34. using System.Xml.Xsl;
  35. using System.Globalization;
  36. using Mono.Xml.XPath;
  37. #if NET_2_0
  38. using NSResolver = System.Xml.IXmlNamespaceResolver;
  39. #else
  40. using NSResolver = System.Xml.XmlNamespaceManager;
  41. #endif
  42. namespace System.Xml.XPath
  43. {
  44. #if XPATH_DEBUG
  45. internal class CompiledExpression : Test.Xml.XPath.XPathExpression
  46. #else
  47. internal class CompiledExpression : XPathExpression
  48. #endif
  49. {
  50. protected NSResolver _nsm;
  51. protected Expression _expr;
  52. XPathSorters _sorters;
  53. string rawExpression;
  54. public CompiledExpression (string raw, Expression expr)
  55. {
  56. _expr = expr.Optimize ();
  57. rawExpression = raw;
  58. }
  59. private CompiledExpression (CompiledExpression other)
  60. {
  61. _nsm = other._nsm;
  62. _expr = other._expr;
  63. rawExpression = other.rawExpression;
  64. }
  65. #if XPATH_DEBUG
  66. public override Test.Xml.XPath.XPathExpression Clone () { return new CompiledExpression (this); }
  67. #else
  68. public override XPathExpression Clone () { return new CompiledExpression (this); }
  69. #endif
  70. public Expression ExpressionNode { get { return _expr; }}
  71. public override void SetContext (XmlNamespaceManager nsManager)
  72. {
  73. _nsm = nsManager;
  74. }
  75. #if NET_2_0
  76. public override void SetContext (IXmlNamespaceResolver nsResolver)
  77. {
  78. _nsm = nsResolver;
  79. }
  80. #endif
  81. internal NSResolver NamespaceManager { get { return _nsm; } }
  82. public override String Expression { get { return rawExpression; }}
  83. public override XPathResultType ReturnType { get { return _expr.ReturnType; }}
  84. public object Evaluate (BaseIterator iter)
  85. {
  86. if (_sorters != null)
  87. return EvaluateNodeSet (iter);
  88. try {
  89. return _expr.Evaluate (iter);
  90. }
  91. catch (XPathException) {
  92. throw;
  93. }
  94. catch (XsltException) {
  95. throw;
  96. }
  97. catch (Exception e) {
  98. throw new XPathException ("Error during evaluation", e);
  99. }
  100. }
  101. public XPathNodeIterator EvaluateNodeSet (BaseIterator iter)
  102. {
  103. #if false
  104. try
  105. {
  106. #endif
  107. BaseIterator iterResults = (BaseIterator) _expr.EvaluateNodeSet (iter);
  108. if (_sorters != null)
  109. return _sorters.Sort (iterResults);
  110. return iterResults;
  111. #if false
  112. }
  113. catch (XPathException)
  114. {
  115. throw;
  116. }
  117. catch (Exception e)
  118. {
  119. throw new XPathException ("Error during evaluation", e);
  120. }
  121. #endif
  122. }
  123. public double EvaluateNumber (BaseIterator iter)
  124. {
  125. #if true
  126. return _expr.EvaluateNumber (iter);
  127. #else
  128. try
  129. {
  130. return _expr.EvaluateNumber (iter);
  131. }
  132. catch (XPathException)
  133. {
  134. throw;
  135. }
  136. catch (Exception e)
  137. {
  138. throw new XPathException ("Error during evaluation", e);
  139. }
  140. #endif
  141. }
  142. public string EvaluateString (BaseIterator iter)
  143. {
  144. #if true
  145. return _expr.EvaluateString (iter);
  146. #else
  147. try
  148. {
  149. return _expr.EvaluateString (iter);
  150. }
  151. catch (XPathException)
  152. {
  153. throw;
  154. }
  155. catch (Exception e)
  156. {
  157. throw new XPathException ("Error during evaluation", e);
  158. }
  159. #endif
  160. }
  161. public bool EvaluateBoolean (BaseIterator iter)
  162. {
  163. #if true
  164. return _expr.EvaluateBoolean (iter);
  165. #else
  166. try
  167. {
  168. return _expr.EvaluateBoolean (iter);
  169. }
  170. catch (XPathException)
  171. {
  172. throw;
  173. }
  174. catch (Exception e)
  175. {
  176. throw new XPathException ("Error during evaluation", e);
  177. }
  178. #endif
  179. }
  180. public override void AddSort (Object obj, IComparer cmp)
  181. {
  182. if (_sorters == null)
  183. _sorters = new XPathSorters ();
  184. _sorters.Add (obj, cmp);
  185. }
  186. public override void AddSort(object expr, XmlSortOrder orderSort, XmlCaseOrder orderCase, string lang, XmlDataType dataType)
  187. {
  188. if (_sorters == null)
  189. _sorters = new XPathSorters ();
  190. _sorters.Add (expr, orderSort, orderCase, lang, dataType);
  191. }
  192. class XPathSorters : IComparer
  193. {
  194. readonly ArrayList _rgSorters = new ArrayList ();
  195. public void Add (object expr, IComparer cmp)
  196. {
  197. _rgSorters.Add (new XPathSorter (expr, cmp));
  198. }
  199. public void Add (object expr, XmlSortOrder orderSort, XmlCaseOrder orderCase, string lang, XmlDataType dataType)
  200. {
  201. _rgSorters.Add (new XPathSorter (expr, orderSort, orderCase, lang, dataType));
  202. }
  203. public BaseIterator Sort (BaseIterator iter)
  204. {
  205. ArrayList rgElts = new ArrayList ();
  206. int cSorters = _rgSorters.Count;
  207. while (iter.MoveNext ())
  208. {
  209. XPathSortElement elt = new XPathSortElement ();
  210. elt.Navigator = iter.Current.Clone ();
  211. elt.Values = new object [cSorters];
  212. for (int iSorter = 0; iSorter < _rgSorters.Count; ++iSorter)
  213. {
  214. XPathSorter sorter = (XPathSorter) _rgSorters [iSorter];
  215. elt.Values [iSorter] = sorter.Evaluate (iter);
  216. }
  217. rgElts.Add (elt);
  218. }
  219. rgElts.Sort (this);
  220. XPathNavigator [] rgResults = new XPathNavigator [rgElts.Count];
  221. for (int iResult = 0; iResult < rgElts.Count; ++iResult)
  222. {
  223. XPathSortElement elt = (XPathSortElement) rgElts [iResult];
  224. rgResults [iResult] = elt.Navigator;
  225. }
  226. return new ListIterator (iter, rgResults, false);
  227. }
  228. class XPathSortElement
  229. {
  230. public XPathNavigator Navigator;
  231. public object [] Values;
  232. }
  233. int IComparer.Compare (object o1, object o2)
  234. {
  235. XPathSortElement elt1 = (XPathSortElement) o1;
  236. XPathSortElement elt2 = (XPathSortElement) o2;
  237. for (int iSorter = 0; iSorter < _rgSorters.Count; ++iSorter)
  238. {
  239. XPathSorter sorter = (XPathSorter) _rgSorters [iSorter];
  240. int cmp = sorter.Compare (elt1.Values [iSorter], elt2.Values [iSorter]);
  241. if (cmp != 0)
  242. return cmp;
  243. }
  244. switch (elt1.Navigator.ComparePosition (elt2.Navigator)) {
  245. case XmlNodeOrder.Same:
  246. return 0;
  247. case XmlNodeOrder.After:
  248. return 1;
  249. default:
  250. return -1;
  251. }
  252. }
  253. class XPathSorter
  254. {
  255. readonly Expression _expr;
  256. readonly IComparer _cmp;
  257. readonly XmlDataType _type;
  258. public XPathSorter (object expr, IComparer cmp)
  259. {
  260. _expr = ExpressionFromObject (expr);
  261. _cmp = cmp;
  262. _type = XmlDataType.Text;
  263. }
  264. public XPathSorter (object expr, XmlSortOrder orderSort, XmlCaseOrder orderCase, string lang, XmlDataType dataType)
  265. {
  266. _expr = ExpressionFromObject (expr);
  267. _type = dataType;
  268. if (dataType == XmlDataType.Number)
  269. _cmp = new XPathNumberComparer (orderSort);
  270. else
  271. _cmp = new XPathTextComparer (orderSort, orderCase, lang);
  272. }
  273. static Expression ExpressionFromObject (object expr)
  274. {
  275. if (expr is CompiledExpression)
  276. return ((CompiledExpression) expr)._expr;
  277. if (expr is string)
  278. return new XPathParser ().Compile ((string)expr);
  279. throw new XPathException ("Invalid query object");
  280. }
  281. public object Evaluate (BaseIterator iter)
  282. {
  283. if (_type == XmlDataType.Number)
  284. return _expr.EvaluateNumber (iter);
  285. return _expr.EvaluateString (iter);
  286. }
  287. public int Compare (object o1, object o2)
  288. {
  289. return _cmp.Compare (o1, o2);
  290. }
  291. class XPathNumberComparer : IComparer
  292. {
  293. int _nMulSort;
  294. public XPathNumberComparer (XmlSortOrder orderSort)
  295. {
  296. _nMulSort = (orderSort == XmlSortOrder.Ascending) ? 1 : -1;
  297. }
  298. int IComparer.Compare (object o1, object o2)
  299. {
  300. double num1 = (double) o1;
  301. double num2 = (double) o2;
  302. if (num1 < num2)
  303. return -_nMulSort;
  304. if (num1 > num2)
  305. return _nMulSort;
  306. if (num1 == num2)
  307. return 0;
  308. if (double.IsNaN (num1))
  309. return (double.IsNaN (num2)) ? 0 : -_nMulSort;
  310. return _nMulSort;
  311. }
  312. }
  313. class XPathTextComparer : IComparer
  314. {
  315. int _nMulSort;
  316. int _nMulCase;
  317. XmlCaseOrder _orderCase;
  318. CultureInfo _ci;
  319. public XPathTextComparer (XmlSortOrder orderSort, XmlCaseOrder orderCase, string strLang)
  320. {
  321. _orderCase = orderCase;
  322. _nMulCase = (orderCase == XmlCaseOrder.UpperFirst) ? 1 : -1;
  323. _nMulSort = (orderSort == XmlSortOrder.Ascending) ? 1 : -1;
  324. if (strLang == null || strLang == "")
  325. _ci = CultureInfo.CurrentCulture; // TODO: defer until evaluation?
  326. else
  327. _ci = new CultureInfo (strLang);
  328. }
  329. int IComparer.Compare (object o1, object o2)
  330. {
  331. string str1 = (string) o1;
  332. string str2 = (string) o2;
  333. int cmp = String.Compare (str1, str2, true, _ci);
  334. if (cmp != 0 || _orderCase == XmlCaseOrder.None)
  335. return cmp * _nMulSort;
  336. return _nMulSort * _nMulCase * String.Compare (str1, str2, false, _ci);
  337. }
  338. }
  339. }
  340. }
  341. }
  342. /// <summary>
  343. /// Summary description for Expression.
  344. /// </summary>
  345. internal abstract class Expression
  346. {
  347. public Expression ()
  348. {
  349. }
  350. public abstract XPathResultType ReturnType { get; }
  351. public virtual XPathResultType GetReturnType (BaseIterator iter) { return ReturnType; }
  352. public virtual Expression Optimize ()
  353. {
  354. return this;
  355. }
  356. public abstract object Evaluate (BaseIterator iter);
  357. public virtual BaseIterator EvaluateNodeSet (BaseIterator iter)
  358. {
  359. XPathResultType type = GetReturnType (iter);
  360. switch (type) {
  361. case XPathResultType.NodeSet:
  362. case XPathResultType.Any:
  363. case XPathResultType.Navigator: // FIXME: It may pass not-allowed use of RTF
  364. object o = Evaluate (iter);
  365. BaseIterator iterResult = o as BaseIterator;
  366. if (iterResult != null)
  367. return iterResult;
  368. XPathNavigator nav = o as XPathNavigator;
  369. if (nav != null)
  370. iterResult = nav.SelectChildren (XPathNodeType.All) as BaseIterator;
  371. if (iterResult != null)
  372. return iterResult;
  373. break;
  374. }
  375. throw new XPathException ("expected nodeset: "+ToString ());
  376. }
  377. protected static XPathResultType GetReturnType (object obj)
  378. {
  379. if (obj is string)
  380. return XPathResultType.String;
  381. if (obj is bool)
  382. return XPathResultType.Boolean;
  383. if (obj is XPathNodeIterator)
  384. return XPathResultType.NodeSet;
  385. if (obj is double || obj is int)
  386. return XPathResultType.Number;
  387. if (obj is XPathNavigator)
  388. return XPathResultType.Navigator;
  389. throw new XPathException ("invalid node type: "+obj.GetType ().ToString ());
  390. }
  391. internal virtual XPathNodeType EvaluatedNodeType {
  392. get { return XPathNodeType.All; }
  393. }
  394. internal virtual bool IsPositional {
  395. get { return false; }
  396. }
  397. internal virtual bool Peer {
  398. get { return false; }
  399. }
  400. public virtual double EvaluateNumber (BaseIterator iter)
  401. {
  402. object result;
  403. XPathResultType type = GetReturnType (iter);
  404. if (type == XPathResultType.NodeSet)
  405. {
  406. result = EvaluateString (iter);
  407. type = XPathResultType.String;
  408. }
  409. else
  410. result = Evaluate (iter);
  411. if (type == XPathResultType.Any)
  412. type = GetReturnType (result);
  413. switch (type)
  414. {
  415. case XPathResultType.Number:
  416. return (double)result;
  417. case XPathResultType.Boolean:
  418. return ((bool) result) ? 1.0 : 0.0;
  419. case XPathResultType.NodeSet:
  420. return XPathFunctions.ToNumber (EvaluateString (iter));
  421. case XPathResultType.String:
  422. return XPathFunctions.ToNumber ((string) result);
  423. case XPathResultType.Navigator:
  424. return XPathFunctions.ToNumber (((XPathNavigator) (result)).Value);
  425. default:
  426. throw new XPathException ("invalid node type");
  427. }
  428. }
  429. public virtual string EvaluateString (BaseIterator iter)
  430. {
  431. object result = Evaluate (iter);
  432. XPathResultType type = GetReturnType (iter);
  433. if (type == XPathResultType.Any)
  434. type = GetReturnType (result);
  435. switch (type)
  436. {
  437. case XPathResultType.Number:
  438. double d = (double) result;
  439. // See XPath 1.0 section 4.2
  440. if (d == Double.NegativeInfinity)
  441. return "-Infinity";
  442. if (d == Double.PositiveInfinity)
  443. return "Infinity";
  444. return (string) XmlConvert.ToString (d);
  445. case XPathResultType.Boolean:
  446. return ((bool) result) ? "true" : "false";
  447. case XPathResultType.String:
  448. return (string) result;
  449. case XPathResultType.NodeSet:
  450. {
  451. BaseIterator iterResult = (BaseIterator) result;
  452. if (iterResult == null || !iterResult.MoveNext ())
  453. return "";
  454. return iterResult.Current.Value;
  455. }
  456. case XPathResultType.Navigator:
  457. return ((XPathNavigator) result).Value;
  458. default:
  459. throw new XPathException ("invalid node type");
  460. }
  461. }
  462. public virtual bool EvaluateBoolean (BaseIterator iter)
  463. {
  464. object result = Evaluate (iter);
  465. XPathResultType type = GetReturnType (iter);
  466. if (type == XPathResultType.Any)
  467. type = GetReturnType (result);
  468. switch (type)
  469. {
  470. case XPathResultType.Number:
  471. {
  472. double num = Convert.ToDouble (result);
  473. return (num != 0.0 && num != -0.0 && !Double.IsNaN (num));
  474. }
  475. case XPathResultType.Boolean:
  476. return (bool) result;
  477. case XPathResultType.String:
  478. return ((string) result).Length != 0;
  479. case XPathResultType.NodeSet:
  480. {
  481. BaseIterator iterResult = (BaseIterator) result;
  482. return (iterResult != null && iterResult.MoveNext ());
  483. }
  484. case XPathResultType.Navigator:
  485. return ((string) ((XPathNavigator) result).Value).Length != 0;
  486. default:
  487. throw new XPathException ("invalid node type");
  488. }
  489. }
  490. public object EvaluateAs (BaseIterator iter, XPathResultType type)
  491. {
  492. switch (type)
  493. {
  494. case XPathResultType.Boolean:
  495. return EvaluateBoolean (iter);
  496. case XPathResultType.NodeSet:
  497. return EvaluateNodeSet (iter);
  498. case XPathResultType.String:
  499. return EvaluateString (iter);
  500. case XPathResultType.Number:
  501. return EvaluateNumber (iter);
  502. }
  503. return Evaluate (iter);
  504. }
  505. public virtual bool RequireSorting { get { return false; } }
  506. }
  507. internal abstract class ExprBinary : Expression
  508. {
  509. protected Expression _left, _right;
  510. public ExprBinary (Expression left, Expression right)
  511. {
  512. _left = left;
  513. _right = right;
  514. }
  515. public override String ToString ()
  516. {
  517. return _left.ToString () + ' ' + Operator + ' ' + _right.ToString ();
  518. }
  519. protected abstract String Operator { get; }
  520. internal override XPathNodeType EvaluatedNodeType {
  521. get {
  522. if (_left.EvaluatedNodeType == _right.EvaluatedNodeType)
  523. return _left.EvaluatedNodeType;
  524. else
  525. return XPathNodeType.All;
  526. }
  527. }
  528. internal override bool IsPositional {
  529. get { return _left.IsPositional || _right.IsPositional; }
  530. }
  531. internal override bool Peer {
  532. get { return _left.Peer && _right.Peer; }
  533. }
  534. }
  535. internal abstract class ExprBoolean : ExprBinary
  536. {
  537. public ExprBoolean (Expression left, Expression right) : base (left, right) {}
  538. public override XPathResultType ReturnType { get { return XPathResultType.Boolean; }}
  539. public override object Evaluate (BaseIterator iter)
  540. {
  541. return EvaluateBoolean (iter);
  542. }
  543. public override double EvaluateNumber (BaseIterator iter)
  544. {
  545. return EvaluateBoolean (iter) ? 1 : 0;
  546. }
  547. public override string EvaluateString (BaseIterator iter)
  548. {
  549. return EvaluateBoolean (iter) ? "true" : "false";
  550. }
  551. }
  552. internal class ExprOR : ExprBoolean
  553. {
  554. public ExprOR (Expression left, Expression right) : base (left, right) {}
  555. protected override String Operator { get { return "or"; }}
  556. public override bool EvaluateBoolean (BaseIterator iter)
  557. {
  558. if (_left.EvaluateBoolean (iter))
  559. return true;
  560. return _right.EvaluateBoolean (iter);
  561. }
  562. }
  563. internal class ExprAND : ExprBoolean
  564. {
  565. public ExprAND (Expression left, Expression right) : base (left, right) {}
  566. protected override String Operator { get { return "and"; }}
  567. public override bool EvaluateBoolean (BaseIterator iter)
  568. {
  569. if (!_left.EvaluateBoolean (iter))
  570. return false;
  571. return _right.EvaluateBoolean (iter);
  572. }
  573. }
  574. internal abstract class EqualityExpr : ExprBoolean
  575. {
  576. bool trueVal;
  577. public EqualityExpr (Expression left, Expression right, bool trueVal) : base (left, right)
  578. {
  579. this.trueVal = trueVal;
  580. }
  581. [MonoTODO ("Avoid extraneous evaluation")]
  582. public override bool EvaluateBoolean (BaseIterator iter)
  583. {
  584. XPathResultType typeL = _left.GetReturnType (iter);
  585. XPathResultType typeR = _right.GetReturnType (iter);
  586. // TODO: avoid double evaluations
  587. if (typeL == XPathResultType.Any)
  588. typeL = GetReturnType (_left.Evaluate (iter));
  589. if (typeR == XPathResultType.Any)
  590. typeR = GetReturnType (_right.Evaluate (iter));
  591. // Regard RTF as nodeset
  592. if (typeL == XPathResultType.Navigator)
  593. typeL = XPathResultType.NodeSet;
  594. if (typeR == XPathResultType.Navigator)
  595. typeR = XPathResultType.NodeSet;
  596. if (typeL == XPathResultType.NodeSet || typeR == XPathResultType.NodeSet)
  597. {
  598. Expression left, right;
  599. if (typeL != XPathResultType.NodeSet)
  600. {
  601. left = _right;
  602. right = _left;
  603. XPathResultType typeTmp = typeL;
  604. typeL = typeR;
  605. typeR = typeTmp;
  606. }
  607. else
  608. {
  609. left = _left;
  610. right = _right;
  611. }
  612. if (typeR == XPathResultType.Boolean)
  613. {
  614. return left.EvaluateBoolean (iter) == right.EvaluateBoolean (iter) == trueVal;
  615. }
  616. else
  617. {
  618. BaseIterator iterL = left.EvaluateNodeSet (iter);
  619. if (typeR == XPathResultType.Number)
  620. {
  621. double dR = right.EvaluateNumber (iter);
  622. while (iterL.MoveNext ())
  623. if (XPathFunctions.ToNumber (iterL.Current.Value) == dR == trueVal)
  624. return true;
  625. }
  626. else if (typeR == XPathResultType.String)
  627. {
  628. string strR = right.EvaluateString (iter);
  629. while (iterL.MoveNext ())
  630. if (iterL.Current.Value == strR == trueVal)
  631. return true;
  632. }
  633. else if (typeR == XPathResultType.NodeSet)
  634. {
  635. BaseIterator iterR = right.EvaluateNodeSet (iter);
  636. ArrayList rgNodesL = new ArrayList ();
  637. while (iterL.MoveNext ())
  638. rgNodesL.Add (XPathFunctions.ToString (iterL.Current.Value));
  639. while (iterR.MoveNext ())
  640. {
  641. string strR = XPathFunctions.ToString (iterR.Current.Value);
  642. for (int l = 0; l < rgNodesL.Count; l++)
  643. if ((strR == (string) rgNodesL [l]) == trueVal)
  644. return true;
  645. }
  646. }
  647. return false;
  648. }
  649. }
  650. else if (typeL == XPathResultType.Boolean || typeR == XPathResultType.Boolean)
  651. return _left.EvaluateBoolean (iter) == _right.EvaluateBoolean (iter) == trueVal;
  652. else if (typeL == XPathResultType.Number || typeR == XPathResultType.Number)
  653. return _left.EvaluateNumber (iter) == _right.EvaluateNumber (iter) == trueVal;
  654. else
  655. return _left.EvaluateString (iter) == _right.EvaluateString (iter) == trueVal;
  656. }
  657. }
  658. internal class ExprEQ : EqualityExpr
  659. {
  660. public ExprEQ (Expression left, Expression right) : base (left, right, true) {}
  661. protected override String Operator { get { return "="; }}
  662. }
  663. internal class ExprNE : EqualityExpr
  664. {
  665. public ExprNE (Expression left, Expression right) : base (left, right, false) {}
  666. protected override String Operator { get { return "!="; }}
  667. }
  668. internal abstract class RelationalExpr : ExprBoolean
  669. {
  670. public RelationalExpr (Expression left, Expression right) : base (left, right) {}
  671. [MonoTODO ("Avoid extraneous evaluation.")]
  672. public override bool EvaluateBoolean (BaseIterator iter)
  673. {
  674. XPathResultType typeL = _left.GetReturnType (iter);
  675. XPathResultType typeR = _right.GetReturnType (iter);
  676. if (typeL == XPathResultType.Any)
  677. typeL = GetReturnType (_left.Evaluate (iter));
  678. if (typeR == XPathResultType.Any)
  679. typeR = GetReturnType (_right.Evaluate (iter));
  680. // Regard RTF as nodeset
  681. if (typeL == XPathResultType.Navigator)
  682. typeL = XPathResultType.NodeSet;
  683. if (typeR == XPathResultType.Navigator)
  684. typeR = XPathResultType.NodeSet;
  685. if (typeL == XPathResultType.NodeSet || typeR == XPathResultType.NodeSet)
  686. {
  687. bool fReverse = false;
  688. Expression left, right;
  689. if (typeL != XPathResultType.NodeSet)
  690. {
  691. fReverse = true;
  692. left = _right;
  693. right = _left;
  694. XPathResultType typeTmp = typeL;
  695. typeL = typeR;
  696. typeR = typeTmp;
  697. }
  698. else
  699. {
  700. left = _left;
  701. right = _right;
  702. }
  703. if (typeR == XPathResultType.Boolean)
  704. {
  705. bool fL = left.EvaluateBoolean (iter);
  706. bool fR = right.EvaluateBoolean (iter);
  707. return Compare (Convert.ToDouble (fL), Convert.ToDouble (fR), fReverse);
  708. }
  709. else
  710. {
  711. BaseIterator iterL = left.EvaluateNodeSet (iter);
  712. if (typeR == XPathResultType.Number || typeR == XPathResultType.String)
  713. {
  714. double dR = right.EvaluateNumber (iter);
  715. while (iterL.MoveNext ())
  716. if (Compare (XPathFunctions.ToNumber (iterL.Current.Value), dR, fReverse))
  717. return true;
  718. }
  719. else if (typeR == XPathResultType.NodeSet)
  720. {
  721. BaseIterator iterR = right.EvaluateNodeSet (iter);
  722. ArrayList rgNodesL = new ArrayList ();
  723. while (iterL.MoveNext ())
  724. rgNodesL.Add (XPathFunctions.ToNumber (iterL.Current.Value));
  725. while (iterR.MoveNext ())
  726. {
  727. double numR = XPathFunctions.ToNumber (iterR.Current.Value);
  728. for (int l = 0; l < rgNodesL.Count; l++)
  729. if (Compare ((double) rgNodesL [l], numR))
  730. return true;
  731. }
  732. }
  733. return false;
  734. }
  735. }
  736. else
  737. return Compare (_left.EvaluateNumber (iter), _right.EvaluateNumber (iter));
  738. }
  739. public abstract bool Compare (double arg1, double arg2);
  740. public bool Compare (double arg1, double arg2, bool fReverse)
  741. {
  742. if (fReverse)
  743. return Compare (arg2, arg1);
  744. else
  745. return Compare (arg1, arg2);
  746. }
  747. }
  748. internal class ExprGT : RelationalExpr
  749. {
  750. public ExprGT (Expression left, Expression right) : base (left, right) {}
  751. protected override String Operator { get { return ">"; }}
  752. public override bool Compare (double arg1, double arg2)
  753. {
  754. return arg1 > arg2;
  755. }
  756. }
  757. internal class ExprGE : RelationalExpr
  758. {
  759. public ExprGE (Expression left, Expression right) : base (left, right) {}
  760. protected override String Operator { get { return ">="; }}
  761. public override bool Compare (double arg1, double arg2)
  762. {
  763. return arg1 >= arg2;
  764. }
  765. }
  766. internal class ExprLT : RelationalExpr
  767. {
  768. public ExprLT (Expression left, Expression right) : base (left, right) {}
  769. protected override String Operator { get { return "<"; }}
  770. public override bool Compare (double arg1, double arg2)
  771. {
  772. return arg1 < arg2;
  773. }
  774. }
  775. internal class ExprLE : RelationalExpr
  776. {
  777. public ExprLE (Expression left, Expression right) : base (left, right) {}
  778. protected override String Operator { get { return "<="; }}
  779. public override bool Compare (double arg1, double arg2)
  780. {
  781. return arg1 <= arg2;
  782. }
  783. }
  784. internal abstract class ExprNumeric : ExprBinary
  785. {
  786. public ExprNumeric (Expression left, Expression right) : base (left, right) {}
  787. public override XPathResultType ReturnType { get { return XPathResultType.Number; }}
  788. public override object Evaluate (BaseIterator iter)
  789. {
  790. return EvaluateNumber (iter);
  791. }
  792. }
  793. internal class ExprPLUS : ExprNumeric
  794. {
  795. public ExprPLUS (Expression left, Expression right) : base (left, right) {}
  796. protected override String Operator { get { return "+"; }}
  797. public override double EvaluateNumber (BaseIterator iter)
  798. {
  799. return _left.EvaluateNumber (iter) + _right.EvaluateNumber (iter);
  800. }
  801. }
  802. internal class ExprMINUS : ExprNumeric
  803. {
  804. public ExprMINUS (Expression left, Expression right) : base (left, right) {}
  805. protected override String Operator { get { return "-"; }}
  806. public override double EvaluateNumber (BaseIterator iter)
  807. {
  808. return _left.EvaluateNumber (iter) - _right.EvaluateNumber (iter);
  809. }
  810. }
  811. internal class ExprMULT : ExprNumeric
  812. {
  813. public ExprMULT (Expression left, Expression right) : base (left, right) {}
  814. protected override String Operator { get { return "*"; }}
  815. public override double EvaluateNumber (BaseIterator iter)
  816. {
  817. return _left.EvaluateNumber (iter) * _right.EvaluateNumber (iter);
  818. }
  819. }
  820. internal class ExprDIV : ExprNumeric
  821. {
  822. public ExprDIV (Expression left, Expression right) : base (left, right) {}
  823. protected override String Operator { get { return " div "; }}
  824. public override double EvaluateNumber (BaseIterator iter)
  825. {
  826. return _left.EvaluateNumber (iter) / _right.EvaluateNumber (iter);
  827. }
  828. }
  829. internal class ExprMOD : ExprNumeric
  830. {
  831. public ExprMOD (Expression left, Expression right) : base (left, right) {}
  832. protected override String Operator { get { return "%"; }}
  833. public override double EvaluateNumber (BaseIterator iter)
  834. {
  835. return _left.EvaluateNumber (iter) % _right.EvaluateNumber (iter);
  836. }
  837. }
  838. internal class ExprNEG : Expression
  839. {
  840. Expression _expr;
  841. public ExprNEG (Expression expr)
  842. {
  843. _expr = expr;
  844. }
  845. public override String ToString () { return "- " + _expr.ToString (); }
  846. public override XPathResultType ReturnType { get { return XPathResultType.Number; }}
  847. public override object Evaluate (BaseIterator iter)
  848. {
  849. return - _expr.EvaluateNumber (iter);
  850. }
  851. public override double EvaluateNumber (BaseIterator iter)
  852. {
  853. return - _expr.EvaluateNumber (iter);
  854. }
  855. internal override bool IsPositional {
  856. get { return _expr.IsPositional; }
  857. }
  858. }
  859. internal abstract class NodeSet : Expression
  860. {
  861. public override XPathResultType ReturnType { get { return XPathResultType.NodeSet; }}
  862. internal abstract bool Subtree { get; }
  863. }
  864. internal class ExprUNION : NodeSet
  865. {
  866. internal readonly Expression left, right;
  867. public ExprUNION (Expression left, Expression right)
  868. {
  869. this.left = left;
  870. this.right = right;
  871. }
  872. public override String ToString () { return left.ToString ()+ " | " + right.ToString (); }
  873. public override object Evaluate (BaseIterator iter)
  874. {
  875. BaseIterator iterLeft = left.EvaluateNodeSet (iter);
  876. BaseIterator iterRight = right.EvaluateNodeSet (iter);
  877. return new UnionIterator (iter, iterLeft, iterRight);
  878. }
  879. internal override XPathNodeType EvaluatedNodeType {
  880. get { return left.EvaluatedNodeType == right.EvaluatedNodeType ? left.EvaluatedNodeType : XPathNodeType.All; }
  881. }
  882. internal override bool IsPositional {
  883. get { return left.IsPositional || right.IsPositional; }
  884. }
  885. internal override bool Peer {
  886. get { return left.Peer && right.Peer; }
  887. }
  888. internal override bool Subtree {
  889. get {
  890. NodeSet nl = left as NodeSet;
  891. NodeSet nr = right as NodeSet;
  892. return nl != null && nr != null && nl.Subtree && nr.Subtree;
  893. }
  894. }
  895. }
  896. internal class ExprSLASH : NodeSet
  897. {
  898. public readonly Expression left;
  899. public readonly NodeSet right;
  900. public ExprSLASH (Expression left, NodeSet right)
  901. {
  902. this.left = left;
  903. this.right = right;
  904. }
  905. public override String ToString () { return left.ToString ()+ "/" + right.ToString (); }
  906. public override object Evaluate (BaseIterator iter)
  907. {
  908. BaseIterator iterLeft = left.EvaluateNodeSet (iter);
  909. if (left.Peer && right.Subtree && !RequireSorting)
  910. return new SimpleSlashIterator (iterLeft, right);
  911. return new SlashIterator (iterLeft, right, RequireSorting);
  912. }
  913. public override bool RequireSorting { get { return left.RequireSorting || right.RequireSorting; } }
  914. internal override XPathNodeType EvaluatedNodeType {
  915. get { return right.EvaluatedNodeType; }
  916. }
  917. internal override bool IsPositional {
  918. get { return left.IsPositional || right.IsPositional; }
  919. }
  920. internal override bool Peer {
  921. get { return left.Peer && right.Peer; }
  922. }
  923. internal override bool Subtree {
  924. get {
  925. NodeSet n = left as NodeSet;
  926. return n != null && n.Subtree && right.Subtree;
  927. }
  928. }
  929. }
  930. internal class ExprSLASH2 : NodeSet {
  931. public readonly Expression left;
  932. public readonly NodeSet right;
  933. static NodeTest DescendantOrSelfStar = new NodeTypeTest (Axes.DescendantOrSelf, XPathNodeType.All);
  934. public ExprSLASH2 (Expression left, NodeSet right)
  935. {
  936. this.left = left;
  937. this.right = right;
  938. }
  939. public override String ToString () { return left.ToString ()+ "//" + right.ToString (); }
  940. public override object Evaluate (BaseIterator iter)
  941. {
  942. return new SlashIterator (
  943. new SlashIterator (
  944. left.EvaluateNodeSet (iter),
  945. DescendantOrSelfStar,
  946. left.RequireSorting || DescendantOrSelfStar.RequireSorting
  947. ),
  948. right,
  949. DescendantOrSelfStar.RequireSorting || right.RequireSorting
  950. );
  951. }
  952. public override bool RequireSorting { get { return left.RequireSorting || right.RequireSorting; } }
  953. internal override XPathNodeType EvaluatedNodeType {
  954. get { return right.EvaluatedNodeType; }
  955. }
  956. internal override bool IsPositional {
  957. get { return left.IsPositional || right.IsPositional; }
  958. }
  959. internal override bool Peer {
  960. get { return false; }
  961. }
  962. internal override bool Subtree {
  963. get {
  964. NodeSet n = left as NodeSet;
  965. return n != null && n.Subtree && right.Subtree;
  966. }
  967. }
  968. }
  969. internal class ExprRoot : NodeSet
  970. {
  971. public override String ToString () { return ""; }
  972. public override object Evaluate (BaseIterator iter)
  973. {
  974. XPathNavigator navRoot = iter.Current.Clone ();
  975. navRoot.MoveToRoot ();
  976. return new SelfIterator (navRoot, iter.NamespaceManager);
  977. }
  978. internal override XPathNodeType EvaluatedNodeType {
  979. get { return XPathNodeType.Root; }
  980. }
  981. internal override bool Peer {
  982. get { return true; }
  983. }
  984. internal override bool Subtree {
  985. get { return false; }
  986. }
  987. }
  988. internal enum Axes
  989. {
  990. Ancestor,
  991. AncestorOrSelf,
  992. Attribute,
  993. Child,
  994. Descendant,
  995. DescendantOrSelf,
  996. Following,
  997. FollowingSibling,
  998. Namespace,
  999. Parent,
  1000. Preceding,
  1001. PrecedingSibling,
  1002. Self,
  1003. }
  1004. internal class AxisSpecifier
  1005. {
  1006. protected Axes _axis;
  1007. public AxisSpecifier (Axes axis)
  1008. {
  1009. _axis = axis;
  1010. }
  1011. public XPathNodeType NodeType
  1012. {
  1013. get
  1014. {
  1015. switch (_axis)
  1016. {
  1017. case Axes.Namespace:
  1018. return XPathNodeType.Namespace;
  1019. case Axes.Attribute:
  1020. return XPathNodeType.Attribute;
  1021. default:
  1022. return XPathNodeType.Element;
  1023. }
  1024. }
  1025. }
  1026. public override string ToString ()
  1027. {
  1028. switch (_axis)
  1029. {
  1030. case Axes.Ancestor:
  1031. return "ancestor";
  1032. case Axes.AncestorOrSelf:
  1033. return "ancestor-or-self";
  1034. case Axes.Attribute:
  1035. return "attribute";
  1036. case Axes.Child:
  1037. return "child";
  1038. case Axes.Descendant:
  1039. return "descendant";
  1040. case Axes.DescendantOrSelf:
  1041. return "descendant-or-self";
  1042. case Axes.Following:
  1043. return "following";
  1044. case Axes.FollowingSibling:
  1045. return "following-sibling";
  1046. case Axes.Namespace:
  1047. return "namespace";
  1048. case Axes.Parent:
  1049. return "parent";
  1050. case Axes.Preceding:
  1051. return "preceeding";
  1052. case Axes.PrecedingSibling:
  1053. return "preceeding-sibling";
  1054. case Axes.Self:
  1055. return "self";
  1056. default:
  1057. throw new IndexOutOfRangeException ();
  1058. }
  1059. }
  1060. public Axes Axis { get { return _axis; }}
  1061. public virtual SimpleIterator Evaluate (BaseIterator iter)
  1062. {
  1063. switch (_axis)
  1064. {
  1065. case Axes.Ancestor:
  1066. return new AncestorIterator (iter);
  1067. case Axes.AncestorOrSelf:
  1068. return new AncestorOrSelfIterator (iter);
  1069. case Axes.Attribute:
  1070. return new AttributeIterator (iter);
  1071. case Axes.Child:
  1072. return new ChildIterator (iter);
  1073. case Axes.Descendant:
  1074. return new DescendantIterator (iter);
  1075. case Axes.DescendantOrSelf:
  1076. return new DescendantOrSelfIterator (iter);
  1077. case Axes.Following:
  1078. return new FollowingIterator (iter);
  1079. case Axes.FollowingSibling:
  1080. return new FollowingSiblingIterator (iter);
  1081. case Axes.Namespace:
  1082. return new NamespaceIterator (iter);
  1083. case Axes.Parent:
  1084. return new ParentIterator (iter);
  1085. case Axes.Preceding:
  1086. return new PrecedingIterator (iter);
  1087. case Axes.PrecedingSibling:
  1088. return new PrecedingSiblingIterator (iter);
  1089. case Axes.Self:
  1090. return new SelfIterator (iter);
  1091. default:
  1092. throw new IndexOutOfRangeException ();
  1093. }
  1094. }
  1095. }
  1096. internal abstract class NodeTest : NodeSet
  1097. {
  1098. protected AxisSpecifier _axis;
  1099. public NodeTest (Axes axis)
  1100. {
  1101. _axis = new AxisSpecifier (axis);
  1102. }
  1103. public abstract bool Match (NSResolver nsm, XPathNavigator nav);
  1104. public AxisSpecifier Axis { get { return _axis; }}
  1105. public override object Evaluate (BaseIterator iter)
  1106. {
  1107. SimpleIterator iterAxis = _axis.Evaluate (iter);
  1108. return new AxisIterator (iterAxis, this);
  1109. }
  1110. public abstract void GetInfo (out string name, out string ns, out XPathNodeType nodetype, NSResolver nsm);
  1111. public override bool RequireSorting {
  1112. get {
  1113. switch (_axis.Axis) {
  1114. case Axes.Ancestor:
  1115. case Axes.AncestorOrSelf:
  1116. case Axes.Preceding:
  1117. case Axes.PrecedingSibling:
  1118. case Axes.Attribute:
  1119. case Axes.Namespace:
  1120. return true;
  1121. default:
  1122. return false;
  1123. }
  1124. }
  1125. }
  1126. internal override bool Peer {
  1127. get {
  1128. switch (_axis.Axis) {
  1129. case Axes.Ancestor:
  1130. case Axes.AncestorOrSelf:
  1131. case Axes.DescendantOrSelf:
  1132. case Axes.Descendant:
  1133. case Axes.Preceding:
  1134. case Axes.Following:
  1135. return false;
  1136. default:
  1137. return true;
  1138. }
  1139. }
  1140. }
  1141. internal override bool Subtree {
  1142. get {
  1143. switch (_axis.Axis) {
  1144. case Axes.Parent:
  1145. case Axes.Ancestor:
  1146. case Axes.AncestorOrSelf:
  1147. case Axes.Preceding:
  1148. case Axes.Following:
  1149. return false;
  1150. default:
  1151. return true;
  1152. }
  1153. }
  1154. }
  1155. internal override XPathNodeType EvaluatedNodeType {
  1156. get { return _axis.NodeType; }
  1157. }
  1158. }
  1159. internal class NodeTypeTest : NodeTest
  1160. {
  1161. public readonly XPathNodeType type;
  1162. protected String _param;
  1163. public NodeTypeTest (Axes axis) : base (axis)
  1164. {
  1165. this.type = _axis.NodeType;
  1166. }
  1167. public NodeTypeTest (Axes axis, XPathNodeType type) : base (axis)
  1168. {
  1169. this.type = type;
  1170. }
  1171. [MonoTODO ("Better description.")]
  1172. public NodeTypeTest (Axes axis, XPathNodeType type, String param) : base (axis)
  1173. {
  1174. this.type = type;
  1175. _param = param;
  1176. if (param != null && type != XPathNodeType.ProcessingInstruction)
  1177. throw new XPathException ("No argument allowed for "+ToString (type)+"() test"); // TODO: better description
  1178. }
  1179. public override String ToString ()
  1180. {
  1181. String strType = ToString (type);
  1182. if (type == XPathNodeType.ProcessingInstruction && _param != null)
  1183. strType += "('" + _param + "')";
  1184. else
  1185. strType += "()";
  1186. return _axis.ToString () + "::" + strType;
  1187. }
  1188. private static String ToString (XPathNodeType type)
  1189. {
  1190. switch (type)
  1191. {
  1192. case XPathNodeType.Comment:
  1193. return "comment";
  1194. case XPathNodeType.Text:
  1195. return "text";
  1196. case XPathNodeType.ProcessingInstruction:
  1197. return "processing-instruction";
  1198. case XPathNodeType.All:
  1199. case XPathNodeType.Attribute:
  1200. case XPathNodeType.Element:
  1201. case XPathNodeType.Namespace:
  1202. return "node";
  1203. default:
  1204. return "node-type [" + type.ToString () + "]";
  1205. }
  1206. }
  1207. public override bool Match (NSResolver nsm, XPathNavigator nav)
  1208. {
  1209. XPathNodeType nodeType = nav.NodeType;
  1210. switch (type)
  1211. {
  1212. case XPathNodeType.All:
  1213. return true;
  1214. case XPathNodeType.ProcessingInstruction:
  1215. if (nodeType != XPathNodeType.ProcessingInstruction)
  1216. return false;
  1217. if (_param != null && nav.Name != _param)
  1218. return false;
  1219. return true;
  1220. case XPathNodeType.Text:
  1221. if (nodeType == XPathNodeType.SignificantWhitespace)
  1222. return true;
  1223. goto default;
  1224. default:
  1225. return type == nodeType;
  1226. }
  1227. }
  1228. public override void GetInfo (out string name, out string ns, out XPathNodeType nodetype, NSResolver nsm)
  1229. {
  1230. name = _param;
  1231. ns = null;
  1232. nodetype = type;
  1233. }
  1234. }
  1235. internal class NodeNameTest : NodeTest
  1236. {
  1237. protected XmlQualifiedName _name;
  1238. protected readonly bool resolvedName = false;
  1239. public NodeNameTest (Axes axis, XmlQualifiedName name, IStaticXsltContext ctx) : base (axis)
  1240. {
  1241. if (ctx != null) {
  1242. name = ctx.LookupQName (name.ToString ());
  1243. resolvedName = true;
  1244. }
  1245. _name = name;
  1246. }
  1247. public NodeNameTest (Axes axis, XmlQualifiedName name, bool resolvedName) : base (axis)
  1248. {
  1249. _name = name;
  1250. resolvedName = resolvedName;
  1251. }
  1252. public override String ToString () { return _axis.ToString () + "::" + _name.ToString (); }
  1253. public XmlQualifiedName Name { get { return _name; } }
  1254. public override bool Match (NSResolver nsm, XPathNavigator nav)
  1255. {
  1256. // must be the correct node type
  1257. if (nav.NodeType != _axis.NodeType)
  1258. return false;
  1259. if (_name.Name != "")
  1260. {
  1261. // test the local part of the name first
  1262. if (_name.Name != nav.LocalName)
  1263. return false;
  1264. }
  1265. // get the prefix for the given name
  1266. String strURI1 = "";
  1267. if (nsm != null && _name.Namespace != "")
  1268. {
  1269. if (resolvedName)
  1270. strURI1 = _name.Namespace;
  1271. else
  1272. strURI1 = nsm.LookupNamespace (_name.Namespace, false);
  1273. if (strURI1 == null)
  1274. throw new XPathException ("Invalid namespace prefix: "+_name.Namespace);
  1275. }
  1276. // test the prefixes
  1277. return strURI1 == nav.NamespaceURI;
  1278. }
  1279. public override void GetInfo (out string name, out string ns, out XPathNodeType nodetype, NSResolver nsm)
  1280. {
  1281. // must be the correct node type
  1282. nodetype = _axis.NodeType;
  1283. if (_name.Name != "")
  1284. name = _name.Name;
  1285. else
  1286. name = null;
  1287. ns = "";
  1288. if (nsm != null && _name.Namespace != "") {
  1289. if (resolvedName)
  1290. ns = _name.Namespace;
  1291. else
  1292. ns = nsm.LookupNamespace (_name.Namespace, false); // TODO: check to see if this returns null or ""
  1293. if (ns == null)
  1294. throw new XPathException ("Invalid namespace prefix: "+_name.Namespace);
  1295. }
  1296. }
  1297. }
  1298. internal class ExprFilter : NodeSet
  1299. {
  1300. public readonly Expression expr, pred;
  1301. public ExprFilter (Expression expr, Expression pred)
  1302. {
  1303. this.expr = expr;
  1304. this.pred = pred;
  1305. }
  1306. internal Expression LeftHandSide {get{return expr;}}
  1307. public override String ToString () { return "(" + expr.ToString () + ")[" + pred.ToString () + "]"; }
  1308. public override object Evaluate (BaseIterator iter)
  1309. {
  1310. BaseIterator iterExpr = expr.EvaluateNodeSet (iter);
  1311. return new PredicateIterator (iterExpr, pred);
  1312. }
  1313. internal override XPathNodeType EvaluatedNodeType {
  1314. get { return expr.EvaluatedNodeType; }
  1315. }
  1316. internal override bool IsPositional {
  1317. get {
  1318. if (pred.ReturnType == XPathResultType.Number)
  1319. return true;
  1320. return expr.IsPositional || pred.IsPositional;
  1321. }
  1322. }
  1323. internal override bool Peer {
  1324. get { return expr.Peer && pred.Peer; }
  1325. }
  1326. internal override bool Subtree {
  1327. get {
  1328. NodeSet n = expr as NodeSet;
  1329. return n != null && n.Subtree;
  1330. }
  1331. }
  1332. }
  1333. internal class ExprNumber : Expression
  1334. {
  1335. protected double _value;
  1336. public ExprNumber (double value)
  1337. {
  1338. _value = value;
  1339. }
  1340. public override String ToString () { return _value.ToString (); }
  1341. public override XPathResultType ReturnType { get { return XPathResultType.Number; }}
  1342. public override object Evaluate (BaseIterator iter)
  1343. {
  1344. return _value;
  1345. }
  1346. public override double EvaluateNumber (BaseIterator iter)
  1347. {
  1348. return _value;
  1349. }
  1350. internal override bool IsPositional {
  1351. get { return false; }
  1352. }
  1353. }
  1354. internal class ExprLiteral : Expression
  1355. {
  1356. protected String _value;
  1357. public ExprLiteral (String value)
  1358. {
  1359. _value = value;
  1360. }
  1361. public string Value { get { return _value; } }
  1362. public override String ToString () { return "'" + _value + "'"; }
  1363. public override XPathResultType ReturnType { get { return XPathResultType.String; }}
  1364. public override object Evaluate (BaseIterator iter)
  1365. {
  1366. return _value;
  1367. }
  1368. public override string EvaluateString (BaseIterator iter)
  1369. {
  1370. return _value;
  1371. }
  1372. }
  1373. internal class ExprVariable : Expression
  1374. {
  1375. protected XmlQualifiedName _name;
  1376. protected bool resolvedName = false;
  1377. public ExprVariable (XmlQualifiedName name, IStaticXsltContext ctx)
  1378. {
  1379. if (ctx != null) {
  1380. name = ctx.LookupQName (name.ToString ());
  1381. resolvedName = true;
  1382. }
  1383. _name = name;
  1384. }
  1385. public override String ToString () { return "$" + _name.ToString (); }
  1386. public override XPathResultType ReturnType { get { return XPathResultType.Any; }}
  1387. public override XPathResultType GetReturnType (BaseIterator iter)
  1388. {
  1389. return XPathResultType.Any;
  1390. }
  1391. public override object Evaluate (BaseIterator iter)
  1392. {
  1393. IXsltContextVariable var = null;
  1394. XsltContext context = iter.NamespaceManager as XsltContext;
  1395. if (context != null) {
  1396. if (resolvedName)
  1397. var = context.ResolveVariable (_name);
  1398. else
  1399. var = context.ResolveVariable (new XmlQualifiedName (_name.Name, _name.Namespace));
  1400. }
  1401. if (var == null)
  1402. throw new XPathException ("variable "+_name.ToString ()+" not found");
  1403. object objResult = var.Evaluate (context);
  1404. XPathNodeIterator iterResult = objResult as XPathNodeIterator;
  1405. if (iterResult != null)
  1406. return iterResult is BaseIterator ? iterResult : new WrapperIterator (iterResult, iter.NamespaceManager);
  1407. return objResult;
  1408. }
  1409. internal override bool Peer {
  1410. get { return false; }
  1411. }
  1412. }
  1413. internal class ExprParens : Expression
  1414. {
  1415. protected Expression _expr;
  1416. public ExprParens (Expression expr)
  1417. {
  1418. _expr = expr;
  1419. }
  1420. public override Expression Optimize ()
  1421. {
  1422. return _expr;
  1423. }
  1424. public override String ToString () { return "(" + _expr.ToString () + ")"; }
  1425. public override XPathResultType ReturnType { get { return _expr.ReturnType; }}
  1426. public override object Evaluate (BaseIterator iter)
  1427. {
  1428. object o = (_expr.Evaluate (iter));
  1429. BaseIterator predBase = o as BaseIterator;
  1430. if (predBase != null)
  1431. return new ParensIterator (predBase);
  1432. else
  1433. return o;
  1434. }
  1435. internal override XPathNodeType EvaluatedNodeType {
  1436. get { return _expr.EvaluatedNodeType; }
  1437. }
  1438. internal override bool IsPositional {
  1439. get { return _expr.IsPositional; }
  1440. }
  1441. internal override bool Peer {
  1442. get { return _expr.Peer; }
  1443. }
  1444. }
  1445. internal class FunctionArguments
  1446. {
  1447. protected Expression _arg;
  1448. protected FunctionArguments _tail;
  1449. public FunctionArguments (Expression arg, FunctionArguments tail)
  1450. {
  1451. _arg = arg;
  1452. _tail = tail;
  1453. }
  1454. public Expression Arg
  1455. {
  1456. get { return _arg; }
  1457. }
  1458. public FunctionArguments Tail
  1459. {
  1460. get { return _tail; }
  1461. }
  1462. public void ToArrayList (ArrayList a)
  1463. {
  1464. FunctionArguments cur = this;
  1465. do {
  1466. a.Add (cur._arg);
  1467. cur = cur._tail;
  1468. } while (cur != null);
  1469. }
  1470. }
  1471. internal class ExprFunctionCall : Expression
  1472. {
  1473. protected readonly XmlQualifiedName _name;
  1474. protected readonly bool resolvedName = false;
  1475. protected readonly ArrayList _args = new ArrayList ();
  1476. public ExprFunctionCall (XmlQualifiedName name, FunctionArguments args, IStaticXsltContext ctx)
  1477. {
  1478. if (ctx != null) {
  1479. name = ctx.LookupQName (name.ToString ());
  1480. resolvedName = true;
  1481. }
  1482. _name = name;
  1483. if (args != null)
  1484. args.ToArrayList (_args);
  1485. }
  1486. public static Expression Factory (XmlQualifiedName name, FunctionArguments args, IStaticXsltContext ctx)
  1487. {
  1488. if (name.Namespace != null && name.Namespace != "")
  1489. return new ExprFunctionCall (name, args, ctx);
  1490. switch (name.Name) {
  1491. case "last": return new XPathFunctionLast (args);
  1492. case "position": return new XPathFunctionPosition (args);
  1493. case "count": return new XPathFunctionCount (args);
  1494. case "id": return new XPathFunctionId (args);
  1495. case "local-name": return new XPathFunctionLocalName (args);
  1496. case "namespace-uri": return new XPathFunctionNamespaceUri (args);
  1497. case "name": return new XPathFunctionName (args);
  1498. case "string": return new XPathFunctionString (args);
  1499. case "concat": return new XPathFunctionConcat (args);
  1500. case "starts-with": return new XPathFunctionStartsWith (args);
  1501. case "contains": return new XPathFunctionContains (args);
  1502. case "substring-before": return new XPathFunctionSubstringBefore (args);
  1503. case "substring-after": return new XPathFunctionSubstringAfter (args);
  1504. case "substring": return new XPathFunctionSubstring (args);
  1505. case "string-length": return new XPathFunctionStringLength (args);
  1506. case "normalize-space": return new XPathFunctionNormalizeSpace (args);
  1507. case "translate": return new XPathFunctionTranslate (args);
  1508. case "boolean": return new XPathFunctionBoolean (args);
  1509. case "not": return new XPathFunctionNot (args);
  1510. case "true": return new XPathFunctionTrue (args);
  1511. case "false": return new XPathFunctionFalse (args);
  1512. case "lang": return new XPathFunctionLang (args);
  1513. case "number": return new XPathFunctionNumber (args);
  1514. case "sum": return new XPathFunctionSum (args);
  1515. case "floor": return new XPathFunctionFloor (args);
  1516. case "ceiling": return new XPathFunctionCeil (args);
  1517. case "round": return new XPathFunctionRound (args);
  1518. }
  1519. return new ExprFunctionCall (name, args, ctx);
  1520. }
  1521. public override String ToString ()
  1522. {
  1523. String strArgs = "";
  1524. for (int i = 0; i < _args.Count; i++) {
  1525. Expression arg = (Expression) _args [i];
  1526. if (strArgs != "")
  1527. strArgs += ", ";
  1528. strArgs += arg.ToString ();
  1529. }
  1530. return _name.ToString () + '(' + strArgs + ')';
  1531. }
  1532. public override XPathResultType ReturnType { get { return XPathResultType.Any; }}
  1533. public override XPathResultType GetReturnType (BaseIterator iter)
  1534. {
  1535. return XPathResultType.Any;
  1536. }
  1537. private XPathResultType [] GetArgTypes (BaseIterator iter)
  1538. {
  1539. // TODO: can we cache these? what if the types depend on the nsm?
  1540. XPathResultType [] rgArgs = new XPathResultType [_args.Count];
  1541. for (int iArg = 0; iArg < _args.Count; iArg++)
  1542. rgArgs [iArg] = ((Expression) _args [iArg]).GetReturnType (iter);
  1543. return rgArgs;
  1544. }
  1545. public override object Evaluate (BaseIterator iter)
  1546. {
  1547. XPathResultType [] rgTypes = GetArgTypes (iter);
  1548. IXsltContextFunction func = null;
  1549. XsltContext context = iter.NamespaceManager as XsltContext;
  1550. if (context != null) {
  1551. if (resolvedName)
  1552. func = context.ResolveFunction (_name, rgTypes);
  1553. else
  1554. func = context.ResolveFunction (_name.Namespace, _name.Name, rgTypes);
  1555. }
  1556. if (func == null)
  1557. throw new XPathException ("function "+_name.ToString ()+" not found");
  1558. object [] rgArgs = new object [_args.Count];
  1559. if (func.Maxargs != 0)
  1560. {
  1561. XPathResultType [] rgFuncTypes = func.ArgTypes;
  1562. for (int iArg = 0; iArg < _args.Count; iArg ++)
  1563. {
  1564. XPathResultType typeArg;
  1565. if (rgFuncTypes == null)
  1566. typeArg = XPathResultType.Any;
  1567. else if (iArg < rgFuncTypes.Length)
  1568. typeArg = rgFuncTypes [iArg];
  1569. else
  1570. typeArg = rgFuncTypes [rgFuncTypes.Length - 1];
  1571. Expression arg = (Expression) _args [iArg];
  1572. object result = arg.EvaluateAs (iter, typeArg);
  1573. rgArgs [iArg] = result;
  1574. }
  1575. }
  1576. return func.Invoke (context, rgArgs, iter.Current);
  1577. }
  1578. internal override bool Peer {
  1579. get { return false; }
  1580. }
  1581. }
  1582. }