public void onStep(WAMResolvingMachineDPI dpi)
    {
        internalRegisters.updateRegisters(dpi.getInternalRegisters());
        layoutRegisters.updateRegisters(dpi.getMemoryLayout());

        breakpointMonitor.pause();
    }
public void onStep(WAMResolvingMachineDPI dpi)
    {
        internalRegisters.updateRegisters(dpi.getInternalRegisters());
        layoutRegisters.updateRegisters(dpi.getMemoryLayout());

        breakpointMonitor.pause();
    }
public void onStep ( WAMResolvingMachineDPI dpi ) { internalRegisters . updateRegisters ( dpi . getInternalRegisters ( ) ) ; layoutRegisters . updateRegisters ( dpi . getMemoryLayout ( ) ) ; breakpointMonitor . pause ( ) ; }
{@inheritDoc}
{