C# Class Microsoft.Zing.Process.StackULE

Afficher le fichier Open project: ZingModelChecker/Zing

Protected Properties

Свойство Type Description
process Process

Méthodes publiques

Méthode Description
Undo ( ) : void

Méthodes protégées

Méthode Description
StackULE ( Process p ) : System
doUndo ( ) : void

Method Details

StackULE() protected méthode

protected StackULE ( Process p ) : System
p Process
Résultat System

Undo() public méthode

public Undo ( ) : void
Résultat void

doUndo() protected abstract méthode

protected abstract doUndo ( ) : void
Résultat void

Property Details

process protected_oe property

protected Process process
Résultat Process