C# Class Microsoft.Zing.ProgramCounter

Show file Open project: ZingModelChecker/Zing Class Usage Examples

Private Properties

Property	Type	Description

Public Methods

Method	Description
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

Method Details

CompareTo() public method

public CompareTo ( ProgramCounter pc ) : int
pc	ProgramCounter
return	int

Equals() public method

public Equals ( ProgramCounter pc ) : bool
pc	ProgramCounter
return	bool

Equals() public method

public Equals ( object obj ) : bool
obj	object
return	bool

GetHashCode() public method

public GetHashCode ( ) : int
return	int

GetMethodName() public static method

public static GetMethodName ( ushort number ) : string
number	ushort
return	string

GetNextBlockName() public static method

public static GetNextBlockName ( string methodName, ushort blockNumber ) : string
methodName	string
blockNumber	ushort
return	string

ProgramCounter() public method

public ProgramCounter ( ZingMethod method ) : System
method	ZingMethod
return	System

ToString() public method

public ToString ( ) : string
return	string

operator() public static method

public static operator ( ) : bool
return	bool