public TAVerb(ITransactionSite target, ETVMode tmode, Action op)
{
Contract.Requires(target != null);
Contract.Requires(op != null);
Target = target;
TMode = tmode;
Op = op;
}
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));
}
