C# 클래스 Microsoft.Zing.Process.UndoResetLastFunctionCompleted

상속: StackULE

파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 메소드들

메소드	설명
UndoResetLastFunctionCompleted ( Process p, ZingMethod l ) : System

보호된 메소드들

메소드	설명
doUndo ( ) : void

메소드 상세

UndoResetLastFunctionCompleted() 공개 메소드

public UndoResetLastFunctionCompleted ( Process p, ZingMethod l ) : System
p	Process
l	ZingMethod
리턴	System

doUndo() 보호된 메소드

protected doUndo ( ) : void
리턴	void