protected Disjunction(SCode predicate, SCode alternative)
: base()
{
this.predicate = predicate;
this.alternative = alternative;
#if DEBUG
this.predicateType = predicate.GetType();
this.alternativeType = alternative.GetType();
#endif
}
protected Let1(Lambda rator, SCode rand)
: base(rator, rand)
{
formals = rator.Formals;
body = rator.Body;
#if DEBUG
if (body != null)
{
this.bodyType = body.GetType();
}
#endif
}
protected PCond2 (PrimitiveCombination2 predicate, SCode consequent, SCode alternative)
: base (predicate, consequent, alternative)
{
this.procedure = predicate.Rator;
this.method = this.procedure.Method;
this.rand0 = predicate.Operand0;
this.rand1 = predicate.Operand1;
#if DEBUG
rand0Type = rand0.GetType ();
rand1Type = rand1.GetType ();
#endif
}