public static interface Cfg.FrameVisitor<T>
T
exec(T frame, Stmt stmt)
initFirstFrame(Stmt first)
merge(T srcFrame, T distFrame, Stmt src, Stmt dist)
T merge(T srcFrame, T distFrame, Stmt src, Stmt dist)
T initFirstFrame(Stmt first)
T exec(T frame, Stmt stmt)