/* 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); }