Гость
Войти | Профиль | Очистить
Целевая тема:
Создать новую тему:
Автор:
Действия ...
Форумы / Java [игнор отключен] [закрыт для гостей] / Подскажите по jpf (падает при работе с кодировками) / 5 сообщений из 5, страница 1 из 1
29.03.2012, 19:31:05
    #37730286
chabapok
chabapok
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Подскажите по jpf (падает при работе с кодировками)
кто юзал Pathfinder, подскажите

имею такой код:

Код: java
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
package javaapplication2;

import java.nio.charset.Charset;
import java.util.SortedMap;

public class JavaApplication2 {
    public static void main(String[] args){
        SortedMap<String, Charset> avail =  Charset.availableCharsets();        
    }    
}




запускаю так:
java -jar "C:\Documents and Settings\Администратор\projects\jpf\jpf-core\build\RunJPF.jar" +classpath=. javaapplication2.JavaApplication2


и получаю экзепшен:
Код: java
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
57.
58.
59.
60.
61.
62.
63.
64.
65.
66.
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: javaapplication2/JavaApplication2.java

====================================================== search started: 29.03.12 18:19

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.UnsatisfiedLinkError: cannot find native sun.misc.VM.initialize
        at sun.misc.VM.initialize(no peer)
        at sun.misc.VM.<clinit>(sun/misc/VM.java:40)
        at java.nio.charset.Charset.atBugLevel(java/nio/charset/Charset.java:6)
        at java.nio.charset.Charset.checkName(java/nio/charset/Charset.java:7)
        at java.nio.charset.Charset.<init>(java/nio/charset/Charset.java:10)
        at sun.nio.cs.IBM862.<init>(sun/nio/cs/IBM862.java:6)
        at java.lang.Class.newInstance(gov.nasa.jpf.jvm.JPF_java_lang_Class)
        at sun.nio.cs.FastCharsetProvider.lookup(sun/nio/cs/FastCharsetProvider.java:125)
        at sun.nio.cs.FastCharsetProvider.access$100(sun/nio/cs/FastCharsetProvider.java:2)
        at sun.nio.cs.FastCharsetProvider$1.next(sun/nio/cs/FastCharsetProvider.java:18)
        at sun.nio.cs.FastCharsetProvider$1.next(sun/nio/cs/FastCharsetProvider.java:1)
        at java.nio.charset.Charset.put(java/nio/charset/Charset.java:10)
        at java.nio.charset.Charset.access$300(java/nio/charset/Charset.java:2)
        at java.nio.charset.Charset$4.run(java/nio/charset/Charset.java:18)
        at java.security.AccessController.doPrivileged(java/security/AccessController.java:41)
        at java.nio.charset.Charset.availableCharsets(java/nio/charset/Charset.java:7)
        at javaapplication2.JavaApplication2.main(javaapplication2/JavaApplication2.java:9)


====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  owned locks:java.lang.Class@59f
  call stack:
        at sun.misc.VM.<clinit>(sun/misc/VM.java:40)
        at java.nio.charset.Charset.atBugLevel(java/nio/charset/Charset.java:6)
        at java.nio.charset.Charset.checkName(java/nio/charset/Charset.java:7)
        at java.nio.charset.Charset.<init>(java/nio/charset/Charset.java:10)
        at sun.nio.cs.IBM862.<init>(sun/nio/cs/IBM862.java:6)
        at java.lang.Class.newInstance(java/lang/Class.java:-1)
        at sun.nio.cs.FastCharsetProvider.lookup(sun/nio/cs/FastCharsetProvider.java:125)
        at sun.nio.cs.FastCharsetProvider.access$100(sun/nio/cs/FastCharsetProvider.java:2)
        at sun.nio.cs.FastCharsetProvider$1.next(sun/nio/cs/FastCharsetProvider.java:18)
        at sun.nio.cs.FastCharsetProvider$1.next(sun/nio/cs/FastCharsetProvider.java:1)
        at java.nio.charset.Charset.put(java/nio/charset/Charset.java:10)
        at java.nio.charset.Charset.access$300(java/nio/charset/Charset.java:2)
        at java.nio.charset.Charset$4.run(java/nio/charset/Charset.java:18)
        at java.security.AccessController.doPrivileged(java/security/AccessController.java:41)
        at java.nio.charset.Charset.availableCharsets(java/nio/charset/Charset.java:7)
        at javaapplication2.JavaApplication2.main(javaapplication2/JavaApplication2.java:9)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.UnsatisfiedLinkError: cannot find native..."

====================================================== statistics
elapsed time:       0:00:00
states:             new=1, visited=0, backtracked=0, end=0
search:             maxDepth=1, constraints hit=0
choice generators:  thread=1 (signal=0, lock=1, shared ref=0), data=0
heap:               new=1458, released=0, max live=0, gc-cycles=0
instructions:       8529
max memory:         15MB
loaded code:        classes=110, methods=1436

====================================================== search finished: 29.03.12 18:19




то есть, насколько я понимаю, jpf интерпретируя байт-код не находит какой то либы. JAVA_HOME установлено в C:\Program Files\Java\jdk1.6.0_29

содержимое site.properties

Код: java
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
jpf.home = ${user.home}/projects/jpf

jpf-core = ${user.home}/projects/jpf/jpf-core
	
jpf-aprop = ${jpf.home}/jpf-aprop
extensions+=,${jpf-aprop}


jpf-numeric = ${jpf.home}/jpf-numeric
extensions+=,${jpf-numeric}




проблема именно с классом Charset, если его не использовать то все работает.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
29.03.2012, 19:42:14
    #37730302
Blazkowicz
Blazkowicz
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Подскажите по jpf (падает при работе с кодировками)
Попробуйте убрать JPF из "Администратор". Возможно загрузка DLL по абсолютному пути из-за этого обрагалась.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
29.03.2012, 19:51:05
    #37730309
chabapok
chabapok
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Подскажите по jpf (падает при работе с кодировками)
попробовал
не помогло :(
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
30.03.2012, 15:24:59
    #37731594
Basil A. Sidorov
Basil A. Sidorov
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Подскажите по jpf (падает при работе с кодировками)
chabapok, добавьте -Djava.library.path="путь к нужной dll-ке".

P.S. Всё должно работать. Если, конечно, кодировка текста и "стартовой среды" совпадают.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
04.04.2012, 17:35:39
    #37738931
chabapok
chabapok
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Подскажите по jpf (падает при работе с кодировками)
а как узнать какая dll - нужная? Без jpf проект работает нормально.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
Форумы / Java [игнор отключен] [закрыт для гостей] / Подскажите по jpf (падает при работе с кодировками) / 5 сообщений из 5, страница 1 из 1
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение  
Полит. конфиден.  
созд. / загр.: 584ms
Закрыть
start [/forum/topic.php?fid=59&mobile=1&tid=2132130]:
 0ms
get settings:
 10ms
get forum list:
 25ms
check forum access:
 8ms
check topic access:
 8ms
track hit:
 84ms
get topic data:
 21ms
get forum data:
 5ms
get page messages:
 75ms
get tp. blocked users:
 3ms
others: 345ms
total:  584ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]