001// ***************************************************************************************************************************
002// * Licensed to the Apache Software Foundation (ASF) under one or more contributor license agreements.  See the NOTICE file *
003// * distributed with this work for additional information regarding copyright ownership.  The ASF licenses this file        *
004// * to you under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance            *
005// * with the License.  You may obtain a copy of the License at                                                              *
006// *                                                                                                                         *
007// *  http://www.apache.org/licenses/LICENSE-2.0                                                                             *
008// *                                                                                                                         *
009// * Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an  *
010// * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.  See the License for the        *
011// * specific language governing permissions and limitations under the License.                                              *
012// ***************************************************************************************************************************
013package org.apache.juneau.html;
014
015import java.lang.annotation.*;
016import java.lang.reflect.*;
017import java.nio.charset.*;
018import java.util.*;
019import java.util.concurrent.*;
020
021import org.apache.juneau.*;
022import org.apache.juneau.internal.*;
023import org.apache.juneau.utils.*;
024import org.apache.juneau.xml.*;
025
026/**
027 * Parses text generated by the {@link HtmlSerializer} class back into a POJO model.
028 *
029 * <h5 class='topic'>Media types</h5>
030 *
031 * Handles <c>Content-Type</c> types:  <bc>text/html</bc>
032 *
033 * <h5 class='topic'>Description</h5>
034 *
035 * See the {@link HtmlSerializer} class for a description of the HTML generated.
036 * <p>
037 * This class is used primarily for automated testing of the {@link HtmlSerializer} class.
038 *
039 * <h5 class='section'>Notes:</h5><ul>
040 *    <li class='note'>This class is thread safe and reusable.
041 * </ul>
042 *
043 * <h5 class='section'>See Also:</h5><ul>
044 *    <li class='link'><a class="doclink" href="../../../../index.html#jm.HtmlDetails">HTML Details</a>
045
046 * </ul>
047 */
048public class HtmlParser extends XmlParser implements HtmlMetaProvider {
049
050   //-------------------------------------------------------------------------------------------------------------------
051   // Static
052   //-------------------------------------------------------------------------------------------------------------------
053
054   /** Default parser, all default settings.*/
055   public static final HtmlParser DEFAULT = new HtmlParser(create());
056
057   /**
058    * Creates a new builder for this object.
059    *
060    * @return A new builder.
061    */
062   public static Builder create() {
063      return new Builder();
064   }
065
066   //-------------------------------------------------------------------------------------------------------------------
067   // Builder
068   //-------------------------------------------------------------------------------------------------------------------
069
070   /**
071    * Builder class.
072    */
073   @FluentSetters
074   public static class Builder extends XmlParser.Builder {
075
076      private static final Cache<HashKey,HtmlParser> CACHE = Cache.of(HashKey.class, HtmlParser.class).build();
077
078      /**
079       * Constructor, default settings.
080       */
081      protected Builder() {
082         super();
083         consumes("text/html,text/html+stripped");
084      }
085
086      /**
087       * Copy constructor.
088       *
089       * @param copyFrom The bean to copy from.
090       */
091      protected Builder(HtmlParser copyFrom) {
092         super(copyFrom);
093      }
094
095      /**
096       * Copy constructor.
097       *
098       * @param copyFrom The builder to copy from.
099       */
100      protected Builder(Builder copyFrom) {
101         super(copyFrom);
102      }
103
104      @Override /* Context.Builder */
105      public Builder copy() {
106         return new Builder(this);
107      }
108
109      @Override /* Context.Builder */
110      public HtmlParser build() {
111         return cache(CACHE).build(HtmlParser.class);
112      }
113
114      @Override /* Context.Builder */
115      public HashKey hashKey() {
116         return super.hashKey();
117      }
118
119      //-----------------------------------------------------------------------------------------------------------------
120      // Properties
121      //-----------------------------------------------------------------------------------------------------------------
122
123      // <FluentSetters>
124
125      @Override /* GENERATED - org.apache.juneau.Context.Builder */
126      public Builder annotations(Annotation...values) {
127         super.annotations(values);
128         return this;
129      }
130
131      @Override /* GENERATED - org.apache.juneau.Context.Builder */
132      public Builder apply(AnnotationWorkList work) {
133         super.apply(work);
134         return this;
135      }
136
137      @Override /* GENERATED - org.apache.juneau.Context.Builder */
138      public Builder applyAnnotations(java.lang.Class<?>...fromClasses) {
139         super.applyAnnotations(fromClasses);
140         return this;
141      }
142
143      @Override /* GENERATED - org.apache.juneau.Context.Builder */
144      public Builder applyAnnotations(Method...fromMethods) {
145         super.applyAnnotations(fromMethods);
146         return this;
147      }
148
149      @Override /* GENERATED - org.apache.juneau.Context.Builder */
150      public Builder cache(Cache<HashKey,? extends org.apache.juneau.Context> value) {
151         super.cache(value);
152         return this;
153      }
154
155      @Override /* GENERATED - org.apache.juneau.Context.Builder */
156      public Builder debug() {
157         super.debug();
158         return this;
159      }
160
161      @Override /* GENERATED - org.apache.juneau.Context.Builder */
162      public Builder debug(boolean value) {
163         super.debug(value);
164         return this;
165      }
166
167      @Override /* GENERATED - org.apache.juneau.Context.Builder */
168      public Builder impl(Context value) {
169         super.impl(value);
170         return this;
171      }
172
173      @Override /* GENERATED - org.apache.juneau.Context.Builder */
174      public Builder type(Class<? extends org.apache.juneau.Context> value) {
175         super.type(value);
176         return this;
177      }
178
179      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
180      public Builder beanClassVisibility(Visibility value) {
181         super.beanClassVisibility(value);
182         return this;
183      }
184
185      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
186      public Builder beanConstructorVisibility(Visibility value) {
187         super.beanConstructorVisibility(value);
188         return this;
189      }
190
191      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
192      public Builder beanContext(BeanContext value) {
193         super.beanContext(value);
194         return this;
195      }
196
197      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
198      public Builder beanContext(BeanContext.Builder value) {
199         super.beanContext(value);
200         return this;
201      }
202
203      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
204      public Builder beanDictionary(java.lang.Class<?>...values) {
205         super.beanDictionary(values);
206         return this;
207      }
208
209      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
210      public Builder beanFieldVisibility(Visibility value) {
211         super.beanFieldVisibility(value);
212         return this;
213      }
214
215      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
216      public Builder beanInterceptor(Class<?> on, Class<? extends org.apache.juneau.swap.BeanInterceptor<?>> value) {
217         super.beanInterceptor(on, value);
218         return this;
219      }
220
221      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
222      public Builder beanMapPutReturnsOldValue() {
223         super.beanMapPutReturnsOldValue();
224         return this;
225      }
226
227      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
228      public Builder beanMethodVisibility(Visibility value) {
229         super.beanMethodVisibility(value);
230         return this;
231      }
232
233      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
234      public Builder beanProperties(Map<String,Object> values) {
235         super.beanProperties(values);
236         return this;
237      }
238
239      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
240      public Builder beanProperties(Class<?> beanClass, String properties) {
241         super.beanProperties(beanClass, properties);
242         return this;
243      }
244
245      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
246      public Builder beanProperties(String beanClassName, String properties) {
247         super.beanProperties(beanClassName, properties);
248         return this;
249      }
250
251      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
252      public Builder beanPropertiesExcludes(Map<String,Object> values) {
253         super.beanPropertiesExcludes(values);
254         return this;
255      }
256
257      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
258      public Builder beanPropertiesExcludes(Class<?> beanClass, String properties) {
259         super.beanPropertiesExcludes(beanClass, properties);
260         return this;
261      }
262
263      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
264      public Builder beanPropertiesExcludes(String beanClassName, String properties) {
265         super.beanPropertiesExcludes(beanClassName, properties);
266         return this;
267      }
268
269      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
270      public Builder beanPropertiesReadOnly(Map<String,Object> values) {
271         super.beanPropertiesReadOnly(values);
272         return this;
273      }
274
275      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
276      public Builder beanPropertiesReadOnly(Class<?> beanClass, String properties) {
277         super.beanPropertiesReadOnly(beanClass, properties);
278         return this;
279      }
280
281      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
282      public Builder beanPropertiesReadOnly(String beanClassName, String properties) {
283         super.beanPropertiesReadOnly(beanClassName, properties);
284         return this;
285      }
286
287      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
288      public Builder beanPropertiesWriteOnly(Map<String,Object> values) {
289         super.beanPropertiesWriteOnly(values);
290         return this;
291      }
292
293      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
294      public Builder beanPropertiesWriteOnly(Class<?> beanClass, String properties) {
295         super.beanPropertiesWriteOnly(beanClass, properties);
296         return this;
297      }
298
299      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
300      public Builder beanPropertiesWriteOnly(String beanClassName, String properties) {
301         super.beanPropertiesWriteOnly(beanClassName, properties);
302         return this;
303      }
304
305      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
306      public Builder beansRequireDefaultConstructor() {
307         super.beansRequireDefaultConstructor();
308         return this;
309      }
310
311      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
312      public Builder beansRequireSerializable() {
313         super.beansRequireSerializable();
314         return this;
315      }
316
317      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
318      public Builder beansRequireSettersForGetters() {
319         super.beansRequireSettersForGetters();
320         return this;
321      }
322
323      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
324      public Builder dictionaryOn(Class<?> on, java.lang.Class<?>...values) {
325         super.dictionaryOn(on, values);
326         return this;
327      }
328
329      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
330      public Builder disableBeansRequireSomeProperties() {
331         super.disableBeansRequireSomeProperties();
332         return this;
333      }
334
335      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
336      public Builder disableIgnoreMissingSetters() {
337         super.disableIgnoreMissingSetters();
338         return this;
339      }
340
341      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
342      public Builder disableIgnoreTransientFields() {
343         super.disableIgnoreTransientFields();
344         return this;
345      }
346
347      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
348      public Builder disableIgnoreUnknownNullBeanProperties() {
349         super.disableIgnoreUnknownNullBeanProperties();
350         return this;
351      }
352
353      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
354      public Builder disableInterfaceProxies() {
355         super.disableInterfaceProxies();
356         return this;
357      }
358
359      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
360      public <T> Builder example(Class<T> pojoClass, T o) {
361         super.example(pojoClass, o);
362         return this;
363      }
364
365      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
366      public <T> Builder example(Class<T> pojoClass, String json) {
367         super.example(pojoClass, json);
368         return this;
369      }
370
371      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
372      public Builder findFluentSetters() {
373         super.findFluentSetters();
374         return this;
375      }
376
377      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
378      public Builder findFluentSetters(Class<?> on) {
379         super.findFluentSetters(on);
380         return this;
381      }
382
383      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
384      public Builder ignoreInvocationExceptionsOnGetters() {
385         super.ignoreInvocationExceptionsOnGetters();
386         return this;
387      }
388
389      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
390      public Builder ignoreInvocationExceptionsOnSetters() {
391         super.ignoreInvocationExceptionsOnSetters();
392         return this;
393      }
394
395      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
396      public Builder ignoreUnknownBeanProperties() {
397         super.ignoreUnknownBeanProperties();
398         return this;
399      }
400
401      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
402      public Builder ignoreUnknownEnumValues() {
403         super.ignoreUnknownEnumValues();
404         return this;
405      }
406
407      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
408      public Builder implClass(Class<?> interfaceClass, Class<?> implClass) {
409         super.implClass(interfaceClass, implClass);
410         return this;
411      }
412
413      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
414      public Builder implClasses(Map<Class<?>,Class<?>> values) {
415         super.implClasses(values);
416         return this;
417      }
418
419      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
420      public Builder interfaceClass(Class<?> on, Class<?> value) {
421         super.interfaceClass(on, value);
422         return this;
423      }
424
425      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
426      public Builder interfaces(java.lang.Class<?>...value) {
427         super.interfaces(value);
428         return this;
429      }
430
431      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
432      public Builder locale(Locale value) {
433         super.locale(value);
434         return this;
435      }
436
437      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
438      public Builder mediaType(MediaType value) {
439         super.mediaType(value);
440         return this;
441      }
442
443      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
444      public Builder notBeanClasses(java.lang.Class<?>...values) {
445         super.notBeanClasses(values);
446         return this;
447      }
448
449      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
450      public Builder notBeanPackages(String...values) {
451         super.notBeanPackages(values);
452         return this;
453      }
454
455      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
456      public Builder propertyNamer(Class<? extends org.apache.juneau.PropertyNamer> value) {
457         super.propertyNamer(value);
458         return this;
459      }
460
461      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
462      public Builder propertyNamer(Class<?> on, Class<? extends org.apache.juneau.PropertyNamer> value) {
463         super.propertyNamer(on, value);
464         return this;
465      }
466
467      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
468      public Builder sortProperties() {
469         super.sortProperties();
470         return this;
471      }
472
473      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
474      public Builder sortProperties(java.lang.Class<?>...on) {
475         super.sortProperties(on);
476         return this;
477      }
478
479      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
480      public Builder stopClass(Class<?> on, Class<?> value) {
481         super.stopClass(on, value);
482         return this;
483      }
484
485      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
486      public <T, S> Builder swap(Class<T> normalClass, Class<S> swappedClass, ThrowingFunction<T,S> swapFunction) {
487         super.swap(normalClass, swappedClass, swapFunction);
488         return this;
489      }
490
491      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
492      public <T, S> Builder swap(Class<T> normalClass, Class<S> swappedClass, ThrowingFunction<T,S> swapFunction, ThrowingFunction<S,T> unswapFunction) {
493         super.swap(normalClass, swappedClass, swapFunction, unswapFunction);
494         return this;
495      }
496
497      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
498      public Builder swaps(java.lang.Class<?>...values) {
499         super.swaps(values);
500         return this;
501      }
502
503      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
504      public Builder timeZone(TimeZone value) {
505         super.timeZone(value);
506         return this;
507      }
508
509      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
510      public Builder typeName(Class<?> on, String value) {
511         super.typeName(on, value);
512         return this;
513      }
514
515      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
516      public Builder typePropertyName(String value) {
517         super.typePropertyName(value);
518         return this;
519      }
520
521      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
522      public Builder typePropertyName(Class<?> on, String value) {
523         super.typePropertyName(on, value);
524         return this;
525      }
526
527      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
528      public Builder useEnumNames() {
529         super.useEnumNames();
530         return this;
531      }
532
533      @Override /* GENERATED - org.apache.juneau.BeanContextable.Builder */
534      public Builder useJavaBeanIntrospector() {
535         super.useJavaBeanIntrospector();
536         return this;
537      }
538
539      @Override /* GENERATED - org.apache.juneau.parser.Parser.Builder */
540      public Builder autoCloseStreams() {
541         super.autoCloseStreams();
542         return this;
543      }
544
545      @Override /* GENERATED - org.apache.juneau.parser.Parser.Builder */
546      public Builder autoCloseStreams(boolean value) {
547         super.autoCloseStreams(value);
548         return this;
549      }
550
551      @Override /* GENERATED - org.apache.juneau.parser.Parser.Builder */
552      public Builder consumes(String value) {
553         super.consumes(value);
554         return this;
555      }
556
557      @Override /* GENERATED - org.apache.juneau.parser.Parser.Builder */
558      public Builder debugOutputLines(int value) {
559         super.debugOutputLines(value);
560         return this;
561      }
562
563      @Override /* GENERATED - org.apache.juneau.parser.Parser.Builder */
564      public Builder listener(Class<? extends org.apache.juneau.parser.ParserListener> value) {
565         super.listener(value);
566         return this;
567      }
568
569      @Override /* GENERATED - org.apache.juneau.parser.Parser.Builder */
570      public Builder strict() {
571         super.strict();
572         return this;
573      }
574
575      @Override /* GENERATED - org.apache.juneau.parser.Parser.Builder */
576      public Builder strict(boolean value) {
577         super.strict(value);
578         return this;
579      }
580
581      @Override /* GENERATED - org.apache.juneau.parser.Parser.Builder */
582      public Builder trimStrings() {
583         super.trimStrings();
584         return this;
585      }
586
587      @Override /* GENERATED - org.apache.juneau.parser.Parser.Builder */
588      public Builder trimStrings(boolean value) {
589         super.trimStrings(value);
590         return this;
591      }
592
593      @Override /* GENERATED - org.apache.juneau.parser.Parser.Builder */
594      public Builder unbuffered() {
595         super.unbuffered();
596         return this;
597      }
598
599      @Override /* GENERATED - org.apache.juneau.parser.Parser.Builder */
600      public Builder unbuffered(boolean value) {
601         super.unbuffered(value);
602         return this;
603      }
604
605      @Override /* GENERATED - org.apache.juneau.parser.ReaderParser.Builder */
606      public Builder fileCharset(Charset value) {
607         super.fileCharset(value);
608         return this;
609      }
610
611      @Override /* GENERATED - org.apache.juneau.parser.ReaderParser.Builder */
612      public Builder streamCharset(Charset value) {
613         super.streamCharset(value);
614         return this;
615      }
616
617      @Override /* GENERATED - org.apache.juneau.xml.XmlParser.Builder */
618      public Builder eventAllocator(Class<? extends javax.xml.stream.util.XMLEventAllocator> value) {
619         super.eventAllocator(value);
620         return this;
621      }
622
623      @Override /* GENERATED - org.apache.juneau.xml.XmlParser.Builder */
624      public Builder preserveRootElement() {
625         super.preserveRootElement();
626         return this;
627      }
628
629      @Override /* GENERATED - org.apache.juneau.xml.XmlParser.Builder */
630      public Builder preserveRootElement(boolean value) {
631         super.preserveRootElement(value);
632         return this;
633      }
634
635      @Override /* GENERATED - org.apache.juneau.xml.XmlParser.Builder */
636      public Builder reporter(Class<? extends javax.xml.stream.XMLReporter> value) {
637         super.reporter(value);
638         return this;
639      }
640
641      @Override /* GENERATED - org.apache.juneau.xml.XmlParser.Builder */
642      public Builder resolver(Class<? extends javax.xml.stream.XMLResolver> value) {
643         super.resolver(value);
644         return this;
645      }
646
647      @Override /* GENERATED - org.apache.juneau.xml.XmlParser.Builder */
648      public Builder validating() {
649         super.validating();
650         return this;
651      }
652
653      @Override /* GENERATED - org.apache.juneau.xml.XmlParser.Builder */
654      public Builder validating(boolean value) {
655         super.validating(value);
656         return this;
657      }
658
659      // </FluentSetters>
660   }
661
662   //-------------------------------------------------------------------------------------------------------------------
663   // Instance
664   //-------------------------------------------------------------------------------------------------------------------
665
666   private final Map<ClassMeta<?>,HtmlClassMeta> htmlClassMetas = new ConcurrentHashMap<>();
667   private final Map<BeanPropertyMeta,HtmlBeanPropertyMeta> htmlBeanPropertyMetas = new ConcurrentHashMap<>();
668
669   /**
670    * Constructor.
671    *
672    * @param builder The builder for this object.
673    */
674   public HtmlParser(Builder builder) {
675      super(builder);
676   }
677
678   @Override /* Context */
679   public Builder copy() {
680      return new Builder(this);
681   }
682
683   @Override /* Context */
684   public HtmlParserSession.Builder createSession() {
685      return HtmlParserSession.create(this);
686   }
687
688   @Override /* Context */
689   public HtmlParserSession getSession() {
690      return createSession().build();
691   }
692
693   //-----------------------------------------------------------------------------------------------------------------
694   // Extended metadata
695   //-----------------------------------------------------------------------------------------------------------------
696
697   @Override /* HtmlMetaProvider */
698   public HtmlClassMeta getHtmlClassMeta(ClassMeta<?> cm) {
699      HtmlClassMeta m = htmlClassMetas.get(cm);
700      if (m == null) {
701         m = new HtmlClassMeta(cm, this);
702         htmlClassMetas.put(cm, m);
703      }
704      return m;
705   }
706
707   @Override /* HtmlMetaProvider */
708   public HtmlBeanPropertyMeta getHtmlBeanPropertyMeta(BeanPropertyMeta bpm) {
709      if (bpm == null)
710         return HtmlBeanPropertyMeta.DEFAULT;
711      HtmlBeanPropertyMeta m = htmlBeanPropertyMetas.get(bpm);
712      if (m == null) {
713         m = new HtmlBeanPropertyMeta(bpm.getDelegateFor(), this);
714         htmlBeanPropertyMetas.put(bpm, m);
715      }
716      return m;
717   }
718}