Impossible d'afficher le grapge d'accessibilité et de choisir les événements à préserver par la minimisation

mac-pdss:TTool2019 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: 12908 date: 2019/01/15 03:02:15 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 New avatar methodo panel Loading Avatar methodo End Loading avatar methodo Creating MAD panel Deactivating syntax checking MADs nodes: 0 MADs nodes: 1 MADs nodes: 2 MADs nodes: 3 MADs nodes: 4 MADs nodes: 5 MADs nodes: 6 MADs nodes: 7 MADs nodes: 8 Deactivating syntax checking Deactivating syntax checking Setting to true Zoom Setting to false Zoom Setting to true Zoom Setting to false Zoom Making validated with val= Making ignored with ign=null Action=p__x = p__x + speed__x Action=p__y = p__y + speed__y Action=p__x = 98 Action=p__y = 98 Action=speed__x = 0 Action=speed__y = 0 Action=p__x = p__x + 1 - turbulenceX Action=p__y = p__y + 1 - turbulenceY Action=turbulence = false Action=p__x = p2__x Action=p__y = p2__y Action=p__x = p1__x Action=p__y = p1__y Action=p1__x = 100 Action=p1__y = 100 Action=p2__x = 98 Action=p2__y = 98 Action=p__x = p1__x Action=p__y = p1__y Action=isFull = true Action=isFull = false Action=currentSpeed__y = neg Action=currentSpeed__y = 0 Action=currentSpeed__y = 1 Action=currentSpeed__x = 0 Action=currentSpeed__x = neg Action=currentSpeed__x = 1 Action=currentSpeed__x = 0 Action=currentSpeed__y = 0 Action=neg = currentSpeed__x - 1 Action=diffX = targetPosition__x - currentPosition__x Action=diffY = targetPosition__y - currentPosition__y Making validated with val= Making ignored with ign=null Action=p__x = p__x + speed__x Action=p__y = p__y + speed__y Action=p__x = 98 Action=p__y = 98 Action=speed__x = 0 Action=speed__y = 0 Action=p__x = 100 Action=p__y = 100 Action=diffX = targetPosition__x - currentPosition__x Action=diffY = targetPosition__y - currentPosition__y Action=currentSpeed__x = 0 Action=currentSpeed__y = 0 Action=neg = currentSpeed__x - 1 Action=currentSpeed__x = 1 Action=currentSpeed__x = neg Action=currentSpeed__x = 0 Action=currentSpeed__y = 1 Action=currentSpeed__y = 0 Action=currentSpeed__y = neg Execute avatar model checker Generating Avatar from TML Thread started 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 "Thread-16" java.lang.NoClassDefFoundError: rationals/NoSuchStateException at ui.window.JFrameMinimize.computeListOfActions(JFrameMinimize.java:525) at ui.window.JFrameMinimize.run(JFrameMinimize.java:553) at java.lang.Thread.run(Thread.java:745) 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) ... 3 more Autosaving in /Users/p.de-saqui-sannes/Documents/Recherche/Articles 2018/UAV tutorial/UAV_2018_v04.xml~ Exception in thread "Thread-17" java.lang.NoClassDefFoundError: rationals/NoSuchStateException at ui.window.JFrameMinimize.computeListOfActions(JFrameMinimize.java:525) at ui.window.JFrameMinimize.run(JFrameMinimize.java:553) at java.lang.Thread.run(Thread.java:745) 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) ... 3 more Creating jframe statistics Dialog creation Exception in thread "Thread-18" java.lang.NoClassDefFoundError: rationals/NoSuchStateException at ui.window.JFrameStatistics.goElement(JFrameStatistics.java:191) at ui.ThreadGUIElement.run(ThreadGUIElement.java:197) 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) ... 2 more Creating jframe statistics Dialog creation Exception in thread "Thread-20" java.lang.NoClassDefFoundError: rationals/NoSuchStateException at ui.window.JFrameStatistics.goElement(JFrameStatistics.java:191) at ui.ThreadGUIElement.run(ThreadGUIElement.java:197) 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) ... 2 more
Submitted by external user pdss@isae-supaero.fr