C# 클래스 Microsoft.Zing.ProgramCounter

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

Private Properties

프로퍼티	타입	설명

공개 메소드들

메소드	설명
CompareTo ( ProgramCounter pc ) : int
Equals ( ProgramCounter pc ) : bool
Equals ( object obj ) : bool
GetHashCode ( ) : int
GetMethodName ( ushort number ) : string
GetNextBlockName ( string methodName, ushort blockNumber ) : string
ProgramCounter ( ZingMethod method ) : System
ToString ( ) : string
operator ( ) : bool

메소드 상세

CompareTo() 공개 메소드

public CompareTo ( ProgramCounter pc ) : int
pc	ProgramCounter
리턴	int

Equals() 공개 메소드

public Equals ( ProgramCounter pc ) : bool
pc	ProgramCounter
리턴	bool

Equals() 공개 메소드

public Equals ( object obj ) : bool
obj	object
리턴	bool

GetHashCode() 공개 메소드

public GetHashCode ( ) : int
리턴	int

GetMethodName() 공개 정적인 메소드

public static GetMethodName ( ushort number ) : string
number	ushort
리턴	string

GetNextBlockName() 공개 정적인 메소드

public static GetNextBlockName ( string methodName, ushort blockNumber ) : string
methodName	string
blockNumber	ushort
리턴	string

ProgramCounter() 공개 메소드

public ProgramCounter ( ZingMethod method ) : System
method	ZingMethod
리턴	System

ToString() 공개 메소드

public ToString ( ) : string
리턴	string

operator() 공개 정적인 메소드

public static operator ( ) : bool
리턴	bool