C# 클래스 Microsoft.Zing.ProgramCounterTuple

상속: IComparable

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

공개 메소드들

메소드	설명
CompareTo ( object obj ) : int
Equals ( object obj ) : bool
GetHashCode ( ) : int
ProgramCounterTuple ( ProgramCounter counters ) : System
ProgramCounters ( ) : Microsoft.Zing.ProgramCounter[]
operator ( ) : bool
operator ( ) : int
this ( int processNumber ) : ProgramCounter

메소드 상세

CompareTo() 공개 메소드

public CompareTo ( object obj ) : int
obj	object
리턴	int

Equals() 공개 메소드

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

GetHashCode() 공개 메소드

public GetHashCode ( ) : int
리턴	int

ProgramCounterTuple() 공개 메소드

public ProgramCounterTuple ( ProgramCounter counters ) : System
counters	ProgramCounter
리턴	System

ProgramCounters() 공개 메소드

public ProgramCounters ( ) : Microsoft.Zing.ProgramCounter[]
리턴	Microsoft.Zing.ProgramCounter[]

operator() 공개 정적인 메소드

public static operator ( ) : bool
리턴	bool

operator() 공개 정적인 메소드

public static operator ( ) : int
리턴	int

this() 공개 메소드

public this ( int processNumber ) : ProgramCounter
processNumber	int
리턴	ProgramCounter