dotPosition = navigator.dots().get( position );
return;
}
//System.out.println( p.name() );
int length = 0;
length = p.name_array().length;
expression = parser.getExpression();
/* change dots to match */
int currentDot = navigator.dots().get( position );
navigator.dots().remove( position );
for( int i = position; i < navigator.dots().size(); ++i ){