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

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

WriteOutputsString() public abstract méthode

public abstract WriteOutputsString ( StateImpl state, BinaryWriter bw ) : void
state StateImpl
bw BinaryWriter
Résultat void 
        public abstract void WriteOutputsString(StateImpl state, BinaryWriter bw);
ZingMethod
Clone
CompareTo
ContainsVariable
Dispatch
DoCheckIn
DoCheckInOthers
DoRevert
DoRevertOthers
DoRollback
DoRollbackOthers
GetRunnableJoinStatements
IsAtomicEntryBlock
IsRunnable
LookupValueByName
RaiseZingException
TraverseFields
WriteOutputsString
WriteString
ZingMethod