private void monitor(Graph graph) { GraphLoadMonitor m = new GraphLoadMonitor(20000,false) ; //m.setSummaryLabel(getCommandName()) ; graph.getEventManager().register(m) ; } }
private void monitor(Graph graph) { GraphLoadMonitor m = new GraphLoadMonitor(20000,false) ; //m.setSummaryLabel(getCommandName()) ; graph.getEventManager().register(m) ; } }
/** Register the listener with this model by registering its GraphListener adaption with the underlying Graph. @param a ModelChangedListener to register for model events @return this model, for cascading */ @Override public Model register( ModelChangedListener listener ) { getGraph().getEventManager().register( adapt( listener ) ); return this; }
private void collectLeafGraphs(Graph graph, Set<Graph> prevLeaves) { if( graph instanceof Polyadic ) { Polyadic union = ((Polyadic) graph); if( union.getBaseGraph() != null ) collectLeafGraphs( union.getBaseGraph(), prevLeaves ); for( Iterator<Graph> i = union.getSubGraphs().iterator(); i.hasNext(); ) collectLeafGraphs( i.next(), prevLeaves ); } else if( graph instanceof Dyadic ) { Dyadic dyadic = ((Dyadic) graph); if( dyadic.getL() instanceof Graph ) collectLeafGraphs( (Graph) dyadic.getL(), prevLeaves ); if( dyadic.getR() instanceof Graph ) collectLeafGraphs( (Graph) dyadic.getR(), prevLeaves ); } else if( graph instanceof InfGraph ) { collectLeafGraphs( ((InfGraph) graph).getRawGraph(), prevLeaves ); } else if( leafGraphs.add( graph ) && !prevLeaves.contains( graph ) ) { changedGraphs.add( graph ); graph.getEventManager().register( this ); } }