/* SUPPRESSED *
* copy(dubGen) - for deep-copying
*
* Preconditions: argument must be of type dubGen
*
*/
private dubGen copy(dubGen rhs)
{
if (rhs != this)
{
pos_2b_dub = rhs.pos_2b_dub;
}
return(this);
}
/*
* copy constructor
*
* Preconditions: passed object (to be copied) must be of type dubGen
* Postconditions: variable values may change
* Invariants:
*/
public dubGen(dubGen rhs)
{
this.copy(rhs);
}