public TAVerb(ITransactionSite target, ETVMode tmode, Action op) { Contract.Requires(target != null); Contract.Requires(op != null); Target = target; TMode = tmode; Op = op; }
/// <summary> /// Constructs a new instance. /// </summary> /// <param name="target">transaction site on which verb is operated</param> /// <param name="tmode">mode of verb</param> /// <param name="op">relict of an out-dated concept, please specify () => { }</param> /// <param name="during">process which describes the active register transfers within the scope of the created verb</param> public TAVerb(ITransactionSite target, ETVMode tmode, Action op, IProcess during) { Contract.Requires <ArgumentNullException>(target != null, "target"); Contract.Requires <ArgumentNullException>(op != null, "op"); Target = target; TMode = tmode; Op = op; During = during; }
private TAVerb Verb(ETVMode tmode, Action op, params IProcess[] during) { Contract.Requires <ArgumentNullException>(during != null); Contract.Requires <ArgumentNullException>(op != null); if (during.Length == 0) { return(new TAVerb(this, tmode, op)); } else { IProcess cur = during[0]; for (int i = 1; i < during.Length; i++) { cur = cur.Par(during[i]); } return(new TAVerb(this, tmode, op, cur)); } }
/// <summary> /// Constructs a new instance. /// </summary> /// <param name="target">transaction site on which verb is operated</param> /// <param name="tmode">mode of verb</param> /// <param name="op">relict of an out-dated concept, please specify () => { }</param> /// <param name="during">process which describes the active register transfers within the scope of the created verb</param> public TAVerb(ITransactionSite target, ETVMode tmode, Action op, IProcess during) { Contract.Requires<ArgumentNullException>(target != null, "target"); Contract.Requires<ArgumentNullException>(op != null, "op"); Target = target; TMode = tmode; Op = op; During = during; }
/// <summary> /// Creates a transaction verb. /// </summary> /// <param name="tmode">mode</param> /// <param name="during">one or multiple processes describing the active register transfers of the created verb</param> protected TAVerb Verb(ETVMode tmode, params IProcess[] during) { return Verb(tmode, () => { }, during); }
private TAVerb Verb(ETVMode tmode, Action op, params IProcess[] during) { Contract.Requires<ArgumentNullException>(during != null); Contract.Requires<ArgumentNullException>(op != null); if (during.Length == 0) { return new TAVerb(this, tmode, op); } else { IProcess cur = during[0]; for (int i = 1; i < during.Length; i++) cur = cur.Par(during[i]); return new TAVerb(this, tmode, op, cur); } }
/// <summary> /// Creates a transaction verb. /// </summary> /// <param name="tmode">mode</param> /// <param name="during">one or multiple processes describing the active register transfers of the created verb</param> protected TAVerb Verb(ETVMode tmode, params IProcess[] during) { return(Verb(tmode, () => { }, during)); }