Skip to content

\openin

yex.keyword.Openin(stream_id, parser) #

Source code in yex/keyword/io.py
31
32
33
34
35
36
37
38
39
40
41
42
@yex.decorator.control()
def Openin(stream_id: int, parser):
    parser.eat_optional_char('=')
    parser.eat_optional_spaces()

    filename = yex.filename.Filename.from_parser(parser,
            default_extension = 'tex')

    parser.doc[f'_inputs'].open(
            number = stream_id,
            filename = filename,
            )