protected PCondIsVector(PrimitiveIsVector predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     #if DEBUG
     this.arg0Type = this.arg0.GetType ();
     #endif
 }
 public static SCode Make(PrimitiveIsVector predicate, SCode consequent, SCode alternative)
 {
     return
          (predicate is PrimitiveIsVectorL) ? PCondIsVectorL.Make ((PrimitiveIsVectorL) predicate, consequent, alternative)
         : (consequent is LexicalVariable) ? PCondIsVectorSL.Make (predicate, (LexicalVariable) consequent, alternative)
         : (consequent is Quotation) ? PCondIsVectorSQ.Make (predicate, (Quotation) consequent, alternative)
         : (alternative is LexicalVariable) ? PCondIsVectorSSL.Make (predicate, consequent, (LexicalVariable) alternative)
         : (alternative is Quotation) ? PCondIsVectorSSQ.Make (predicate, consequent, (Quotation) alternative)
         : new PCondIsVector (predicate, consequent, alternative);
 }
 public static SCode Make(PrimitiveIsVector predicate, SCode consequent, Quotation alternative)
 {
     return new PCondIsVectorSSQ (predicate, consequent, alternative);
 }
 protected PCondIsVectorSSQ(PrimitiveIsVector predicate, SCode consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
 public static SCode Make(PrimitiveIsVector predicate, SCode consequent, LexicalVariable alternative)
 {
     return new PCondIsVectorSSL (predicate, consequent, alternative);
 }
 protected PCondIsVectorSSL(PrimitiveIsVector predicate, SCode consequent, LexicalVariable alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeName = alternative.Name;
     this.alternativeDepth = alternative.Depth;
     this.alternativeOffset = alternative.Offset;
 }
        public static SCode Make(PrimitiveIsVector predicate, Quotation consequent, Quotation alternative)
        {
            if (consequent.Quoted == alternative.Quoted) {
                Debug.WriteLine ("; Optimize (if <expr> <literal> <literal>) => (begin <expr> <literal>)");
                return Sequence2.Make (predicate, consequent);
            }
            else if (Configuration.EnableTrueUnspecific && consequent.Quoted == Constant.Unspecific) {
                Debug.WriteLine ("; Optimize (if <expr> <unspecific> <literal>) => (begin <expr> <literal>)");
                return Sequence2.Make (predicate, alternative);
            }
            else if (Configuration.EnableTrueUnspecific && alternative.Quoted == Constant.Unspecific) {
                Debug.WriteLine ("; Optimize (if <expr> <literal> <unspecific>) => (begin <expr> <literal>)");
                return Sequence2.Make (predicate, consequent);
            }

            return new PCondIsVectorSQQ (predicate, consequent, alternative);
        }
 public static SCode Make(PrimitiveIsVector predicate, Quotation consequent, LexicalVariable alternative)
 {
     throw new NotImplementedException ();
 }
 protected PCondIsVectorSQL(PrimitiveIsVector predicate, Quotation consequent, LexicalVariable alternative)
     : base(predicate, consequent, alternative)
 {
 }
 public static SCode Make(PrimitiveIsVector predicate, Quotation consequent, SCode alternative)
 {
     return
         (alternative is LexicalVariable) ? PCondIsVectorSQL.Make (predicate, consequent, (LexicalVariable) alternative)
         : (alternative is Quotation) ? PCondIsVectorSQQ.Make (predicate, consequent, (Quotation) alternative)
         : new PCondIsVectorSQ (predicate, consequent, alternative);
 }
 protected PCondIsVectorSQ(PrimitiveIsVector predicate, Quotation consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentValue = consequent.Quoted;
 }
 protected PCondIsVectorSLQ(PrimitiveIsVector predicate, LexicalVariable consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
 protected PCondIsVectorSL(PrimitiveIsVector predicate, LexicalVariable consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentName = consequent.Name;
     this.consequentDepth = consequent.Depth;
     this.consequentOffset = consequent.Offset;
 }
 protected PCondIsVector(PrimitiveIsVector predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
 }