protected void initializePrinters()
    {
        int maxColumns = 0;

        printers.add(new SourceClausePrinter(interner, symbolTable, traverser, maxColumns++, printTable));
        printers.add(new PositionPrinter(interner, symbolTable, traverser, maxColumns++, printTable));
        printers.add(new UnoptimizedLabelPrinter(interner, symbolTable, traverser, maxColumns++, printTable));
        printers.add(new UnoptimizedByteCodePrinter(interner, symbolTable, traverser, maxColumns++, printTable));
        printers.add(new LabelPrinter(interner, symbolTable, traverser, maxColumns++, printTable));
        printers.add(new ByteCodePrinter(interner, symbolTable, traverser, maxColumns++, printTable));
    }
protected void initializePrinters ( ) { int maxColumns = 0 ; printers . add ( new SourceClausePrinter ( interner , symbolTable , traverser , maxColumns ++ , printTable ) ) ; printers . add ( new PositionPrinter ( interner , symbolTable , traverser , maxColumns ++ , printTable ) ) ; printers . add ( new UnoptimizedLabelPrinter ( interner , symbolTable , traverser , maxColumns ++ , printTable ) ) ; printers . add ( new UnoptimizedByteCodePrinter ( interner , symbolTable , traverser , maxColumns ++ , printTable ) ) ; printers . add ( new LabelPrinter ( interner , symbolTable , traverser , maxColumns ++ , printTable ) ) ; printers . add ( new ByteCodePrinter ( interner , symbolTable , traverser , maxColumns ++ , printTable ) ) ; }
Sets up the stack of column printers.