25. class Prefix: Band number prefix line
An object of this class contains the seven-character band number
prefix that is available to fill out the band number of any
following type n encounter line. For the format
of this line, see the
specification.
baseclasses.py
# - - - - - c l a s s P r e f i x - - - - -
class Prefix:
'''Represents one band number prefix line.
Exports:
Prefix(text):
[ text is a string of exactly 7 characters ->
return a new Prefix object with that text ]
.text: [ as passed to constructor, read-only ]
Prefix.scanLine(scan): # Static method
[ scan is a Scan object ->
just after a PREFIX_SYMBOL ->
if (PREFIX_SYMBOL+the line in scan) is a valid
band prefix line ->
return a new Prefix object representing that
line
else ->
Log() +:= error message(s)
raise SyntaxError ]
'''
25.1. Prefix.__init__(): Constructor
This trivial constructor just stores its argument in the
instance.
baseclasses.py
# - - - P r e f i x . _ _ i n i t _ _ - - -
def __init__(self, text):
'''Constructor for Prefix.
'''
self.text = text
