Package statechum.analysis.learning

Examples of statechum.analysis.learning.Visualiser

104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
   * @param lowerGraph the graph to display below it
   */
  public void updateFrame(final DirectedSparseGraph g,final DirectedSparseGraph lowerGraph)
  {
    if (visFrame == null)
      visFrame = new Visualiser();
    visFrame.update(null, g);
    if (lowerGraph != null)
    {
      try {// I'm assuming here that Swing has only one queue of threads to run on the AWT thread, hence the
        // thread scheduled by invokeLater will be run to completion before the next one (below) runs and hence
        // I rely on the results of execution of the above thread below in order to position the window.
        SwingUtilities.invokeAndWait(new Runnable()
        {
          public void run()
          {
            Visualiser v=new Visualiser();v.update(null, lowerGraph);
            Point newLoc = visFrame.getLocation();newLoc.move(0, visFrame.getHeight());v.setLocation(newLoc);
          }
        });
      } catch (InterruptedException e) {
        // cannot do much about this
        e.printStackTrace();
View Full Code Here
136
137
138
139
140
141
142
143
   * @param g the graph to display
   */
  public void updateFrame(DirectedSparseGraph g)
  {
    if (visFrame == null)
      visFrame = new Visualiser();
    visFrame.update(null, g);
  }
View Full Code Here
48
49
50
51
52
53
54
55
    AbstractPersistence.loadGraph(args[0], grOrig,null);

    final LearnerGraph erlangGraph = new LearnerGraph(grOrig.config);
    AbstractLearnerGraph.interpretLabelsOnGraph(grOrig,erlangGraph,mod.behaviour.new ConverterErlToMod());
   
    Visualiser graphVisualiser = new ErlangOracleVisualiser();
    graphVisualiser.update(null,erlangGraph);Visualiser.waitForKey();
  }
View Full Code Here
47
48
49
50
51
52
53
54
    AbstractPersistence.loadGraph(args[0], grOrig,null);

    final LearnerGraph erlangGraph = new LearnerGraph(grOrig.config);
    AbstractLearnerGraph.interpretLabelsOnGraph(grOrig,erlangGraph,mod.behaviour.new ConverterErlToMod());
   
    Visualiser graphVisualiser = new ErlangOracleVisualiser();
    graphVisualiser.update(null,erlangGraph);Visualiser.waitForKey();
  }
View Full Code Here
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
   * @param g the graph to display
   * @param lowerGraph the graph to display below it
   */
  public static void updateFrame(final DirectedSparseGraph g,final DirectedSparseGraph lowerGraph)
  {
    final Visualiser v=new Visualiser();
    v.update(null, g);
    if (lowerGraph != null)
    {
      try {// I'm assuming here that Swing has only one queue of threads to run on the AWT thread, hence the
        // thread scheduled by invokeLater will be run to completion before the next one (below) runs and hence
        // I rely on the results of execution of the above thread below in order to position the window.
        SwingUtilities.invokeAndWait(new Runnable()
        {
          public void run()
          {
            Visualiser viz=new Visualiser();viz.update(null, lowerGraph);
            Point newLoc = viz.getLocation();newLoc.move(0, v.getHeight());v.setLocation(newLoc);
          }
        });
      } catch (InterruptedException e) {
        // cannot do much about this
        e.printStackTrace();
View Full Code Here
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
   * @param g the graph to display
   * @param lowerGraph the graph to display below it
   */
  public static void updateFrame(final DirectedSparseGraph g,final DirectedSparseGraph lowerGraph)
  {
    final Visualiser v=new Visualiser();
    v.update(null, g);
    if (lowerGraph != null)
    {
      try {// I'm assuming here that Swing has only one queue of threads to run on the AWT thread, hence the
        // thread scheduled by invokeLater will be run to completion before the next one (below) runs and hence
        // I rely on the results of execution of the above thread below in order to position the window.
        SwingUtilities.invokeAndWait(new Runnable()
        {
          public void run()
          {
            Visualiser viz=new Visualiser();viz.update(null, lowerGraph);
            Point newLoc = viz.getLocation();newLoc.move(0, v.getHeight());v.setLocation(newLoc);
          }
        });
      } catch (InterruptedException e) {
        // cannot do much about this
        e.printStackTrace();
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.Visualiser

  • edu.uci.ics.jung.graph.impl.DirectedSparseGraph
  • edu.uci.ics.jung.visualization.control.DefaultModalGraphMouse
  • edu.uci.ics.jung.visualization.control.PickingGraphMousePlugin
  • org.apache.commons.collections.Predicate
  • statechum.analysis.Erlang.ErlangLabel
  • statechum.analysis.learning.experiments.AccuracyAndQuestionsExperiment
  • statechum.analysis.learning.experiments.IncrementalAccuracyAndQuestionsExperiment
  • statechum.analysis.learning.TestGraphGeneration
  • statechum.apps.ErlangGraphVisualiser
  • statechum.Configuration
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.