Next / Previous / Contents / Shipman's homepage

19.2. Internal state of the BaseCompiler class

Attributes of a BaseCompiler object include:

baseclasses.py
      State/Invariants:
        .scan:  
          [ a Scan object reading from file fileName ]
        .pageHeader:
          [ if any valid page header lines have been read ->
              a PageHeader object representing that last valid
              page header line
            else -> None ]
        .prefix:
          [ if any prefix lines have been seen since the last valid
            page header line ->
              a Prefix object representing that line
            else -> None ]
        .oldEncounter:
          [ if any valid encounter lines have been since the last
            page header line ->
              a BaseEncounter record representing that line
            else -> None ]
    '''