Microsoft.Zing.Process.UpdateDirectLastFunctionCompleted C# (CSharp) Méthode

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

UpdateDirectLastFunctionCompleted() public méthode

public UpdateDirectLastFunctionCompleted ( ZingMethod method ) : void
method ZingMethod
Résultat void 
        public void UpdateDirectLastFunctionCompleted(ZingMethod method)
        {
            lastFunctionCompleted = method;
        }
Process
Call
CallPredicateMethod
ClearCurrentProcesses
Clone
ComputeFingerprint
ContainsVariable
DoCheckIn
DoCheckout
DoRevert
DoRollback
GetCurrentProcess
LookupValueByName
Process
RaiseZingException
Return
RunNextBlock
UpdateDirectLastFunctionCompleted
WriteString
checkInStackFrames
doPop
doPush
revertStackFrames
rollbackStackFrames