C# 클래스 Microsoft.Zing.Via

파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 프로퍼티들

프로퍼티 타입 설명
silent bool

공개 메소드들

메소드 설명
Clone ( ) : object
PrintTrace ( Via bts ) : void

메소드 상세

Clone() 공개 추상적인 메소드

public abstract Clone ( ) : object
리턴 object

PrintTrace() 공개 정적인 메소드

public static PrintTrace ( Via bts ) : void
bts Via
리턴 void

프로퍼티 상세

silent 공개적으로 프로퍼티

public bool silent
리턴 bool