java - Behavior of using \Z vs \z as Scanner delimiter -


[edit] found answer, can't answer question due restrictions on new users. either way, known bug in java.

http://bugs.java.com/bugdatabase/view_bug.do?bug_id=8028387

i'm trying read file string in java 6 on 64 bit ubuntu. java giving me strange result "\\z" reads entire file, "\\z" reads entire string 1024 characters. i've read java 6 api classes , @ loss.

description of \z , \z can found at:

http://docs.oracle.com/javase/6/docs/api/java/util/regex/pattern.html#lt

what causing strange behavior? 

string filestring = new scanner(new file(filename)).usedelimiter("\\z").next(); string filestring2 = new scanner(new file(filename)).usedelimiter("\\z").next(); system.out.println("using z : " + filestring2.length()); system.out.println("using z "+ filestring.length());

output: using z : 9720 using z : 1024

thanks!

details file/java-version:

running ubuntu java-6-openjdk-amd64 (tested oracle java6) file simple text file utf-8 encoded.

as pattern documentation states

  • \z end of input
  • \z end of input final terminator, if any

i suspect since scanners buffer size set 1024, 

354  private static final int buffer_size = 1024; // change 1024;

scanner reads amount of characters , uses current input, \z can used here represent end, while \z can't because not "final terminator" (there more elements in entire input read).


Comments

Post a Comment

Popular posts from this blog

get url and add instance to a model with prefilled foreign key :django admin -

Image
i have page in each contest shown in row. each row contains contest id , link other model names have foreign key contest. news model: class news(models.model): title = models.charfield(max_length=50, null=true) description = models.textfield() time = models.timefield( default= datetime.datetime.now().time()) contest = models.foreignkey(contest) i want use admin adding , changing these models. want when user clicks on 'news' has foreign key contest id=1, shows list of news value foreign key. use {% instance in instances %} <tr class="{% cycle 'row1' 'row2' %}"> <td>{{ instance.title }}</td> <td>{{ instance.starttime }}</td> <td>{{ instance.timespan }}</td> <td>{{ instance.date }}</td> <td><a href="/adm...
Read more

android - Keyboard hides my half of edit-text and button below it even in scroll view -

i having trouble keyboard covers edit-text , half of button in scroll view. here's layout , please tell me how should resolve problem. many questions on topic none of them s working me. <?xml version="1.0" encoding="utf-8"?> <linearlayout xmlns:android="http://schemas.android.com/apk/res/android" android:layout_width="match_parent" android:background="@drawable/bg" android:layout_height="match_parent"> <scrollview android:layout_width="match_parent" android:fillviewport="true" android:layout_height="match_parent"> <relativelayout android:layout_width="match_parent" android:layout_height="wrap_content" android:orientation="vertical"> <linearlayout android:layout_width="match_parent" android:layout_height="w...
Read more

css - Make div keyboard-scrollable in jQuery Mobile? -

from can tell, although jquery-mobile-powered pages can contain divs overflow set scroll or auto, , these divs can scrolled one-screen bar or mouse wheel, cannot scrolled using arrow keys, page-up/page-down, or home/end. instead, official "page" div (with data-role="page") absorbs input. perhaps other divs can't acquire focus, i'm not sure. is there way around this? edit: jsfiddle of simple example: https://jsfiddle.net/qogz0shx/ <script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.4/jquery.min.js"></script> <script src="https://ajax.googleapis.com/ajax/libs/jquerymobile/1.4.5/jquery.mobile.min.js"> </script> <link rel="stylesheet" href="https://code.jquery.com/mobile/1.4.5/jquery.mobile-1.4.5.css"/> <style> #outer { overflow:scroll; height: 50vh; width: 50vw; } #inner { height: 500vh; width: 500vw; } ...
Read more