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

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

보호된 프로퍼티들

프로퍼티 타입 설명
process Process

공개 메소드들

메소드 설명
Undo ( ) : void

보호된 메소드들

메소드 설명
StackULE ( Process p ) : System
doUndo ( ) : void

메소드 상세

StackULE() 보호된 메소드

protected StackULE ( Process p ) : System
p Process
리턴 System

Undo() 공개 메소드

public Undo ( ) : void
리턴 void

doUndo() 보호된 추상적인 메소드

protected abstract doUndo ( ) : void
리턴 void

프로퍼티 상세

process 보호되어 있는 프로퍼티

protected Process process
리턴 Process