public java.lang.String substring ( int start ) { if ( ( 0 <= start ) && ( start <= ( count ) ) ) { if ( start == ( count ) ) return STRING_1 ; VAR_1 = true ; return new java.lang.String ( start , ( ( count ) - start ) , value ) ; } throw new TYPE_1 ( start ) ; }

public java.lang.String substring ( int start ) { if ( ( 0 <= start ) && ( start <= ( count ) ) ) { if ( start == ( count ) ) return STRING_1 ; VAR_1 = true ; return new java.lang.String ( value , start , ( ( count ) - start ) ) ; } throw new TYPE_1 ( start ) ; }
