158159160161162163164165166
{ mbi.getCfg().traverseGraph( new FrameModelEncoder( this.mbi, new FrameSetupVisitor(), new NilDiagnosticsVisitor() ) ); }