C# Class Microsoft.Zing.ProgramCounter

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Private Properties

Свойство	Type	Description

Méthodes publiques

Méthode	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 méthode

public CompareTo ( ProgramCounter pc ) : int
pc	ProgramCounter
Résultat	int

Equals() public méthode

public Equals ( ProgramCounter pc ) : bool
pc	ProgramCounter
Résultat	bool

Equals() public méthode

public Equals ( object obj ) : bool
obj	object
Résultat	bool

GetHashCode() public méthode

public GetHashCode ( ) : int
Résultat	int

GetMethodName() public static méthode

public static GetMethodName ( ushort number ) : string
number	ushort
Résultat	string

GetNextBlockName() public static méthode

public static GetNextBlockName ( string methodName, ushort blockNumber ) : string
methodName	string
blockNumber	ushort
Résultat	string

ProgramCounter() public méthode

public ProgramCounter ( ZingMethod method ) : System
method	ZingMethod
Résultat	System

ToString() public méthode

public ToString ( ) : string
Résultat	string

operator() public static méthode

public static operator ( ) : bool
Résultat	bool