C# Class Microsoft.Zing.Process.UndoResetLastFunctionCompleted

Inheritance: StackULE
Exibir arquivo Open project: ZingModelChecker/Zing

Public Methods

Method Description
UndoResetLastFunctionCompleted ( Process p, ZingMethod l ) : System

Protected Methods

Method Description
doUndo ( ) : void

Method Details

UndoResetLastFunctionCompleted() public method

public UndoResetLastFunctionCompleted ( Process p, ZingMethod l ) : System
p Process
l ZingMethod
return System

doUndo() protected method

protected doUndo ( ) : void
return void