question: public void insert ( RatTerm t , int index ) { underlying_terms . add ( index , t ) ; terms = ( RatTerm [ ] ) underlying_terms . toArray ( new RatTerm [ ] { } ) ; }
target:  Insertion operation. requires: t != null && 0 <= index <= this.size() modifies: this effects: Inserts 't' as a component in this RatTermVec at the specified index. Each component in this vector with an index greater or equal to the specified index is shifted upward to have an index one greater than the value it had previously. The size of this vector is increased by 1. <br> e.g. Given a RatTermVec v = [t2, t3, t4], the statement "v.insert(t5, 1);" will make v_post = [t2, t5, t3, t4].