TTool chargé le 30/01 : impossible d'afficher le graphe d'accessibilité
mac-pdss:TTool2019_01_30 p.de-saqui-sannes$ ./ttool.exe java version "1.8.0_05" Java(TM) SE Runtime Environment (build 1.8.0_05-b13) Java HotSpot(TM) 64-Bit Server VM (build 25.5-b02, mixed mode)
*** TTool version: 1.0beta -- build: 12926 date: 2019/01/29 03:02:13 CET ***
Experimental features activated
Configuration:
Launcher: LauncherPort: RTL: RTLHost: localhost RTLPath: /packages/RT-LOTOS.0.12/bin/rtl DTA2DOTPath: /packages/RT-LOTOS.0.12/bin/dta2dot RG2TLSAPath: /packages/RT-LOTOS.0.12/bin/rg2tlsa RGSTRAPPath: /packages/RT-LOTOS.0.12/bin/rgstrap
CADP: AldebaranHost: localhost AldebaranPath: /packages/cadp/com/aldebaran BcgioPath: /packages/cadp/bin.iX86/bcg_io BcgminPath: /packages/cadp/bin.iX86/bcg_min BisimulatorPath: /packages/cadp/com/bcg_open BcgmergePath: /packages/cadp/com/bcg_merge CaesarPath: /packages/cadp/bin.iX86/caesar CaesarOpenPath: /packages/cadp/com/caesar.open
Dotty: DOTTYHost: localhost DOTTYPath: /opt/csw/bin/dotty
UPPAAL: UPPAALCodeDirectory: ../uppaal/ UPPAALVerifierPATH: /packages/uppaal-4.0.11/verifyta UPPAALVerifierHOST: localhost UPPAALPropertyVerifMessage: UPPAALPropertyNotVerifMessage:
AVATAR (executable code): AVATARExecutableCodeDirectory: ../executablecode/ AVATARMPSoCCodeDirectory: ../MPSoC/ AVATARMPSoCCompileCommand: make -C ../MPSoC/ updateruntime updategeneratedcode compilesoclib AVATARExecutableCodeHost: localhost AVATARExecutableCodeCompileCommand: make AVATARExecutableCodeExecuteCommand: run.x AVATARExecutableSocLibCodeCompileCommand: make -C ../MPSoC/ updategeneratedcode compilesoclib AVATARExecutableSocLibCodeExecuteCommand: make -C ../MPSoC/ runsoclib AVATARExecutableSocLibCodeTraceCommand: make -C ../MPSoC/ runsoclib-trace AVATARExecutableSocLibCodeTraceFile: ../MPSoC/soclib/soclib/platform/topcells/caba-vgmn-mutekh_kernel_tutorial/trace
ProVerif: ProVerifCodeDirectory: ../proverif/ ProVerifVerifierPATH: ../../proverif ProVerifVerifierHOST: localhost
Your files (modeling, librairies, etc.): FILEPath: ../modeling DownloadedFILEPath: ../modeling LOTOSPath: ../lotos LIBPath: ../lib IMGPath: ../figures DocGenPath: ../document_generation GGraphPath: ../graphs TGraphPath: ../graphs
TTool update: TToolUpdateURL: TToolUpdateProxy: false TToolUpdateProxyPort: 8080 TToolUpdateProxyHost: To Be Completed
Java prototyping: JavaCodeDirectory: ../javacode JavaHeader: import java.sql.*; JavaCompilerPath: /usr/bin/javac TToolClassPath: ../javacode JavaExecutePath: /usr/bin/java SimuJavaCodeDirectory: TToolSimuClassPath:
DIPLODOCUS: SystemCCodeDirectory: ../simulators/c++2/ SystemCHost: localhost SystemCCodeCompileCommand: make -C ../simulators/c++2/ SystemCCodeExecuteCommand: ../simulators/c++2/run.x -ovcd ../simulators/c++2/vcddump.vcd SystemCCodeInteractiveExecuteCommand: ../simulators/c++2/run.x -server GTKWavePath: /opt/local/bin/gtkwave TMLCodeDirectory: ../tmlcode/ CCodeDirectory: ../CCode/ VCDPath: ../simulators/c++2/
Network calculus: NCDirectory: ../nc/
Plugins: Plugin path:
URLs: URL for loading models from network: http://ttool.telecom-paristech.fr/networkmodels/models.txt
Custom external commands: ExternalCommand1Host: localhost ExternalCommand1: gtkwave ../simulators/c++2/vcddump.vcd ExternalCommand2Host: localhost ExternalCommand2: /packages/uppaal4.0.11/uppaal ../uppaal/spec.xml
Information saved by TTool: LastOpenFile #0: ../modeling/AVATAR/CoffeeMachine_Avatar.xml LastOpenFile #1 (closed): LastOpenFile #2 (closed): LastOpenFile #3 (closed): LastOpenFile #4 (closed): LastOpenFile #5 (closed): LastOpenFile #6 (closed): LastOpenFile #7 (closed): LastOpenFile #8: LastOpenFile #9 (closed): LastWindowAttributesX: LastWindowAttributesY: LastWindowAttributesWidth: LastWindowAttributesHeight: LastWindowAttributesMax:
RG stylesheet configuration: ExternalServer
Debugging trace:
Preparing plugins
Server side of the launcher Version: 0.61 Using port: 8375 Process running:0 Waiting for command openLast=true Loading model Deactivating syntax checking Saving current state for undo... Saving current state for undo... Execute avatar model checker Generating Avatar from TML Thread started
-------------- Remove composite states ---------------
-------------- Remove composite states ---------------
-------------- Remove composite states ---------------
-------------- Remove composite states ---------------
String model checking Reworking Avatar specification Starting the model checking Threads terminated Model checking done Model checking done Expanding Path because of graphs Exception in thread "AWT-EventQueue-0" java.lang.NoClassDefFoundError: rationals/NoSuchStateException at ui.window.JDialogAvatarModelChecker.displayGraph(JDialogAvatarModelChecker.java:460) at ui.window.JDialogAvatarModelChecker.actionPerformed(JDialogAvatarModelChecker.java:424) at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2022) at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2346) at javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:402) at javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:259) at javax.swing.plaf.basic.BasicButtonListener.mouseReleased(BasicButtonListener.java:252) at java.awt.Component.processMouseEvent(Component.java:6527) at javax.swing.JComponent.processMouseEvent(JComponent.java:3321) at java.awt.Component.processEvent(Component.java:6292) at java.awt.Container.processEvent(Container.java:2234) at java.awt.Component.dispatchEventImpl(Component.java:4883) at java.awt.Container.dispatchEventImpl(Container.java:2292) at java.awt.Component.dispatchEvent(Component.java:4705) at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4898) at java.awt.LightweightDispatcher.processMouseEvent(Container.java:4533) at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4462) at java.awt.Container.dispatchEventImpl(Container.java:2278) at java.awt.Window.dispatchEventImpl(Window.java:2739) at java.awt.Component.dispatchEvent(Component.java:4705) at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:746) at java.awt.EventQueue.access$400(EventQueue.java:97) at java.awt.EventQueue$3.run(EventQueue.java:697) at java.awt.EventQueue$3.run(EventQueue.java:691) at java.security.AccessController.doPrivileged(Native Method) at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:75) at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:86) at java.awt.EventQueue$4.run(EventQueue.java:719) at java.awt.EventQueue$4.run(EventQueue.java:717) at java.security.AccessController.doPrivileged(Native Method) at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:75) at java.awt.EventQueue.dispatchEvent(EventQueue.java:716) at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201) at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116) at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93) at java.awt.EventDispatchThread.run(EventDispatchThread.java:82) Caused by: java.lang.ClassNotFoundException: rationals.NoSuchStateException at java.net.URLClassLoader$1.run(URLClassLoader.java:372) at java.net.URLClassLoader$1.run(URLClassLoader.java:361) at java.security.AccessController.doPrivileged(Native Method) at java.net.URLClassLoader.findClass(URLClassLoader.java:360) at java.lang.ClassLoader.loadClass(ClassLoader.java:424) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:308) at java.lang.ClassLoader.loadClass(ClassLoader.java:357) ... 38 more Exception in thread "AWT-EventQueue-0" java.lang.NoClassDefFoundError: rationals/NoSuchStateException at ui.window.JDialogAvatarModelChecker.displayGraph(JDialogAvatarModelChecker.java:460) at ui.window.JDialogAvatarModelChecker.actionPerformed(JDialogAvatarModelChecker.java:424) at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2022) at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2346) at javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:402) at javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:259) at javax.swing.plaf.basic.BasicButtonListener.mouseReleased(BasicButtonListener.java:252) at java.awt.Component.processMouseEvent(Component.java:6527) at javax.swing.JComponent.processMouseEvent(JComponent.java:3321) at java.awt.Component.processEvent(Component.java:6292) at java.awt.Container.processEvent(Container.java:2234) at java.awt.Component.dispatchEventImpl(Component.java:4883) at java.awt.Container.dispatchEventImpl(Container.java:2292) at java.awt.Component.dispatchEvent(Component.java:4705) at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4898) at java.awt.LightweightDispatcher.processMouseEvent(Container.java:4533) at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4462) at java.awt.Container.dispatchEventImpl(Container.java:2278) at java.awt.Window.dispatchEventImpl(Window.java:2739) at java.awt.Component.dispatchEvent(Component.java:4705) at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:746) at java.awt.EventQueue.access$400(EventQueue.java:97) at java.awt.EventQueue$3.run(EventQueue.java:697) at java.awt.EventQueue$3.run(EventQueue.java:691) at java.security.AccessController.doPrivileged(Native Method) at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:75) at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:86) at java.awt.EventQueue$4.run(EventQueue.java:719) at java.awt.EventQueue$4.run(EventQueue.java:717) at java.security.AccessController.doPrivileged(Native Method) at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:75) at java.awt.EventQueue.dispatchEvent(EventQueue.java:716) at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201) at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116) at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93) at java.awt.EventDispatchThread.run(EventDispatchThread.java:82) Caused by: java.lang.ClassNotFoundException: rationals.NoSuchStateException at java.net.URLClassLoader$1.run(URLClassLoader.java:372) at java.net.URLClassLoader$1.run(URLClassLoader.java:361) at java.security.AccessController.doPrivileged(Native Method) at java.net.URLClassLoader.findClass(URLClassLoader.java:360) at java.lang.ClassLoader.loadClass(ClassLoader.java:424) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:308) at java.lang.ClassLoader.loadClass(ClassLoader.java:357) ... 38 more
Submitted by external user pdss@isae-supaero.fr