Package statechum.analysis.learning

Examples of statechum.analysis.learning.Visualiser$DoublePair


   * @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


   * @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

    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

    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

   * @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

   * @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$DoublePair

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.