C# Class Microsoft.Zing.ZingerAcceptingCycleFound

Inheritance: ZingException
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode Description
ZingerAcceptingCycleFound ( ) : System
ZingerAcceptingCycleFound ( string message ) : System
ZingerAcceptingCycleFound ( string message, Exception innerException ) : System

Méthodes protégées

Méthode Description
ZingerAcceptingCycleFound ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System

Method Details

ZingerAcceptingCycleFound() public méthode

public ZingerAcceptingCycleFound ( ) : System
Résultat System

ZingerAcceptingCycleFound() protected méthode

protected ZingerAcceptingCycleFound ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System
serializationInfo System.Runtime.Serialization.SerializationInfo
streamingContext System.Runtime.Serialization.StreamingContext
Résultat System

ZingerAcceptingCycleFound() public méthode

public ZingerAcceptingCycleFound ( string message ) : System
message string
Résultat System

ZingerAcceptingCycleFound() public méthode

public ZingerAcceptingCycleFound ( string message, Exception innerException ) : System
message string
innerException System.Exception
Résultat System