C# Class Microsoft.Zing.Process.UndoResetLastFunctionCompleted

Inheritance: StackULE

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode	Description
UndoResetLastFunctionCompleted ( Process p, ZingMethod l ) : System

Méthodes protégées

Méthode	Description
doUndo ( ) : void

Method Details

UndoResetLastFunctionCompleted() public méthode

public UndoResetLastFunctionCompleted ( Process p, ZingMethod l ) : System
p	Process
l	ZingMethod
Résultat	System

doUndo() protected méthode

protected doUndo ( ) : void
Résultat	void