Package eas.startSetup.marbBuilder.traceBetrachter

Examples of eas.startSetup.marbBuilder.traceBetrachter.VisMantel


    private void ladeGraphen() {
        File verz = new File(this.pars.getStdDirectory());
        String endung = eas.startSetup.marbBuilder.ConstantsGraphVis.GRAPH_ENDUNG;
        String[] gespGr = verz.list(new FileNamePostfixFilter(endung));
        String grNam;
        VisMantel visRob = null;
        Vis obs = null;
       
        if (gespGr != null) {
            for (int i = 0; i < gespGr.length; i++) {
                grNam = gespGr[i].substring(
                                0,
                                gespGr[i].length() - endung.length() - 1);
               
                for (int j = 0; j < this.visObserver.length; j++) {
                    if (this.visObserver[j].getGraphName().equals(grNam)) {
                        obs = this.visObserver[j];
                        break;
                    }
                }
               
                visRob = new VisMantel(grNam,
                        this.rand,
                        this.pars,
                        obs);

                this.graphen.add(visRob);
View Full Code Here


            throw new RuntimeException("Unterschiedliche Anzahl von Automaten "
                                       + "und Vis-Objekten.");
        }
       
        String grNam;
        VisMantel visRob = null;
        Vis obsVis = null;
        boolean sel = false;
       
        for (int i = 0; i < visObs.length; i++) {
            grNam = visObs[i].getGraphName();
           
            obsVis = this.visObserver[i];
            sel = this.visObserver[i].isVisible();
           
            auts = automaten[i];
            conds = condColl[i];
           
            visRob = new VisMantel(auts,
                                   conds,
                                   grNam,
                                   this.umgebung,
                                   this.rand,
                                   ids[i],
View Full Code Here

    /**
     * Speichert alle Graphen in der Liste <code>this.graphen</code>.
     */
    public void speichereAlleGraphen() {
        Iterator<VisMantel> it = this.graphen.iterator();
        VisMantel aktGr;

        while (it.hasNext()) {
            aktGr = it.next();
            aktGr.speichereGraph();
        }
    }
View Full Code Here

     * @return  Die kleinste noch nicht verwendete ID.
     */
    public int kleinsteFreieID() {
        int kleinste = 0;
        Iterator<VisMantel> it = this.graphen.iterator();
        VisMantel aktGr;
       
        while (it.hasNext()) {
            aktGr = it.next();
            if (kleinste <= aktGr.getRob().getId()) {
                kleinste = aktGr.getRob().getId() + 1;
            }
        }
       
        return kleinste;
    }
View Full Code Here

TOP

Related Classes of eas.startSetup.marbBuilder.traceBetrachter.VisMantel

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.