6.19.10.2.8. Include html

The @html and @include_html commands switch the input parser from raw interscript to a small subset of HTML. The parser maps tags to calls to interscript commands. For example, <B> is translated to call the bold() command.

Python script can be included in the html using the tags <SCRIPT LANGUAGE="python"> .. </SCRIPT> At present, the translator has even less features than interscript: it's only a stub for a more full scale translator.

The @html() command is similar, except it takes html data from the current input source.

In both cases, </HTML> terminates HTML parsing.

Start python section to interscript/frames/inputf.py[13 /42 ] Next Prev First Last
   487: #line 673 "input_frame.ipk"
   488:   def include_html(source):
   489:     "Include a HTML file as input. Translate to interscript."
   490:     self.select(None)
   491:     r = []
   492:     self.pass_frame.include_files.append((self.depth+1,'html: '+self.current_tangler.language,name))
   493:     inpt = input_frame(
   494:       self.pass_frame,
   495:       source,
   496:       r,
   497:       self.current_weaver,
   498:       self.userdict.copy(),
   499:       self.depth+1)
   500:     inpt.html_parser = sgml_wrapper(html_filter(inpt))
   501:     r.append((inpt.any_line_re,inpt.do_html))
   502:     inpt.file_pass()
   503: 
   504:   def html(self):
   505:     "Begin processesing embedded HTML. Translate to interscript."
   506:     self.select(None)
   507:     r = []
   508:     inpt = input_frame(
   509:       self.pass_frame,
   510:       self.source,
   511:       r,
   512:       self.current_weaver,
   513:       self.userdict.copy(),
   514:       self.depth)
   515:     inpt.html_parser = sgml_wrapper(html_filter(inpt))
   516:     r.append((inpt.any_line_re,inpt.do_html))
   517:     inpt.file_pass()
   518: 
   519: 
   520: 
End python section to interscript/frames/inputf.py[13]