C# Class Microsoft.Zing.Process.StackULE

Datei anzeigen Open project: ZingModelChecker/Zing

Protected Properties

Property Type Description
process Process

Public Methods

Method Description
Undo ( ) : void

Protected Methods

Method Description
StackULE ( Process p ) : System
doUndo ( ) : void

Method Details

StackULE() protected method

protected StackULE ( Process p ) : System
p Process
return System

Undo() public method

public Undo ( ) : void
return void

doUndo() protected abstract method

protected abstract doUndo ( ) : void
return void

Property Details

process protected_oe property

protected Process process
return Process