public static PeanoNumber of(PeanoNumber aPeanoNumber)
{
// System.Console.WriteLine("executing of");
PeanoNumber tPNum = new Succ();
tPNum.setPred(aPeanoNumber);
return tPNum;
}
public virtual PeanoNumber addPeanoNumber(PeanoNumber aPeanoNumber)
{
PeanoNumber subTotal;
subTotal = this.pred.addPeanoNumber(aPeanoNumber);
return(subTotal.succ());
}
public static PeanoNumber of(PeanoNumber aPeanoNumber)
{
// System.Console.WriteLine("executing of");
PeanoNumber tPNum = new Succ();
tPNum.setPred(aPeanoNumber);
return(tPNum);
}
public static PeanoNumber fromInteger(int num)
{
// System.Console.WriteLine("fromInteger({0})", num);
if (num == 0)
{
// System.Console.WriteLine("zero");
return(new Zero());
}
else
{
// System.Console.WriteLine("entering recursive call");
PeanoNumber tPNum = PeanoNumber.fromInteger(num - 1);
return(of(tPNum));
}
}
public static void Main()
{
PeanoNumber pNum = PeanoNumber.fromInteger(2);
System.Console.WriteLine("PeanoNumber set to 2");
pNum.print();
System.Console.WriteLine("");
PeanoNumber tNum = PeanoNumber.fromInteger(1);
System.Console.WriteLine("PeanoNumber set to 1");
tNum.print();
System.Console.WriteLine("");
System.Console.WriteLine("add 2 and 1");
PeanoNumber total = pNum + tNum;
total.print();
System.Console.WriteLine("");
}
public override PeanoNumber addPeanoNumber(PeanoNumber aPeanoNumber)
{
return(aPeanoNumber);
}
public Succ(PeanoNumber aPeanoNumber)
{
pred = aPeanoNumber;
}
public void setPred(PeanoNumber aPeanoNumber)
{
this.pred = aPeanoNumber;
}
public Succ(PeanoNumber aPeanoNumber)
{
pred = aPeanoNumber;
}
public void setPred(PeanoNumber aPeanoNumber)
{
this.pred = aPeanoNumber;
}
public virtual PeanoNumber addPeanoNumber(PeanoNumber aPeanoNumber)
{
PeanoNumber subTotal;
subTotal = this.pred.addPeanoNumber(aPeanoNumber);
return subTotal.succ();
}
public override PeanoNumber addPeanoNumber(PeanoNumber aPeanoNumber)
{
return aPeanoNumber;
}
