Ignore:
Timestamp:
09/28/11 03:03:13 (13 years ago)
Author:
sherbold
Message:
  • greatly improved type checking and consistency of type checking for objects checked out of the GlobalDataContainer?
File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDshowMarkovModel.java

    r171 r209  
    6565                                .getData(modelname); 
    6666                if (dataObject == null) { 
    67                         Console.printerrln("No model with name " + modelname + "found"); 
    68                 } else { 
    69                         FirstOrderMarkovModel mm = (FirstOrderMarkovModel) dataObject; 
     67                        Console.println("Object " + modelname + " not found in storage."); 
     68                        return; 
     69                } 
     70                if (!(dataObject instanceof FirstOrderMarkovModel)) { 
     71                        Console.println("Object " + modelname 
     72                                        + "not of type FirstOrderMarkovModel."); 
     73                        return; 
     74                } 
     75                FirstOrderMarkovModel mm = (FirstOrderMarkovModel) dataObject; 
    7076 
    71                         Graph<String, MarkovEdge> graph = mm.getGraph(); 
    72                         Layout<String, MarkovEdge> layout = new ISOMLayout<String, MarkovEdge>( 
    73                                         graph); 
    74                         layout.setSize(new Dimension(1000, 800)); // sets the initial size 
    75                                                                                                                 // of the space 
    76                         // The BasicVisualizationServer<V,E> is parameterized by the edge 
    77                         // types 
    78                         BasicVisualizationServer<String, MarkovEdge> vv = new BasicVisualizationServer<String, MarkovEdge>( 
    79                                         layout); 
    80                         vv.setPreferredSize(new Dimension(1100, 850)); // Sets the viewing 
    81                                                                                                                         // area size 
     77                Graph<String, MarkovEdge> graph = mm.getGraph(); 
     78                Layout<String, MarkovEdge> layout = new ISOMLayout<String, MarkovEdge>( 
     79                                graph); 
     80                layout.setSize(new Dimension(1000, 800)); // sets the initial size 
     81                                                                                                        // of the space 
     82                // The BasicVisualizationServer<V,E> is parameterized by the edge 
     83                // types 
     84                BasicVisualizationServer<String, MarkovEdge> vv = new BasicVisualizationServer<String, MarkovEdge>( 
     85                                layout); 
     86                vv.setPreferredSize(new Dimension(1100, 850)); // Sets the viewing 
     87                                                                                                                // area size 
    8288 
    83                         if (showNodeNames) { 
    84                                 final Rectangle rect = new Rectangle(240, 20); 
     89                if (showNodeNames) { 
     90                        final Rectangle rect = new Rectangle(240, 20); 
    8591 
    86                                 Transformer<String, Shape> vertexShapeTransformer = new Transformer<String, Shape>() { 
    87                                         public Shape transform(String s) { 
    88                                                 return rect; 
    89                                         } 
    90                                 }; 
    91                                 vv.getRenderer().getVertexLabelRenderer() 
    92                                                 .setPosition(Position.CNTR); 
    93                                 vv.getRenderContext().setVertexShapeTransformer( 
    94                                                 vertexShapeTransformer); 
    95                                 vv.getRenderContext().setVertexLabelTransformer( 
    96                                                 new ToStringLabeller<String>()); 
    97                         } 
     92                        Transformer<String, Shape> vertexShapeTransformer = new Transformer<String, Shape>() { 
     93                                public Shape transform(String s) { 
     94                                        return rect; 
     95                                } 
     96                        }; 
     97                        vv.getRenderer().getVertexLabelRenderer() 
     98                                        .setPosition(Position.CNTR); 
     99                        vv.getRenderContext().setVertexShapeTransformer( 
     100                                        vertexShapeTransformer); 
     101                        vv.getRenderContext().setVertexLabelTransformer( 
     102                                        new ToStringLabeller<String>()); 
     103                } 
    98104 
    99                         vv.getRenderContext().setEdgeLabelTransformer( 
    100                                         new ToStringLabeller<MarkovEdge>()); 
     105                vv.getRenderContext().setEdgeLabelTransformer( 
     106                                new ToStringLabeller<MarkovEdge>()); 
    101107 
    102                         JFrame frame = new JFrame("Markov Model"); 
    103                         frame.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE); 
    104                         frame.getContentPane().add(vv); 
    105                         frame.pack(); 
    106                         frame.setVisible(true); 
    107                 } 
     108                JFrame frame = new JFrame("Markov Model"); 
     109                frame.setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE); 
     110                frame.getContentPane().add(vv); 
     111                frame.pack(); 
     112                frame.setVisible(true); 
    108113        } 
    109114} 
Note: See TracChangeset for help on using the changeset viewer.