Microsoft.Zing.ZingMethod.ZingMethod C# (CSharp) Méthode

ZingMethod Class Documentation Afficher le fichier Open project: ZingModelChecker/Zing

ZingMethod() protected méthode

Constructor
protected ZingMethod ( ) : System
Résultat System 
        protected ZingMethod()
        {
        }
ZingMethod
Clone
CompareTo
ContainsVariable
Dispatch
DoCheckIn
DoCheckInOthers
DoRevert
DoRevertOthers
DoRollback
DoRollbackOthers
GetRunnableJoinStatements
IsAtomicEntryBlock
IsRunnable
LookupValueByName
RaiseZingException
TraverseFields
WriteOutputsString
WriteString
ZingMethod