Package fmg.fmg8.graphVis.darstellungsModi

Examples of fmg.fmg8.graphVis.darstellungsModi.DarstModEA


            PfeilMaster master = new PfeilMaster(this.pars);
            Knoten aktKnot = bester.getAktZustand();
            if (aktKnot == null) {
                aktKnot = bester.getVAut()[0].holeStartzustand();
            }
            DargestellterGraph darstellung = new DarstModEA(
                    0,
                    0,
                    this.pars.getFeld()[0].length - 100,
                    this.pars.getFeld()[0].length - 100).erzeuge(
                            bester.vAuts()[0], aktKnot);
View Full Code Here


        buttons.add(ja);
        buttons.add(nein);
        buttons.add(alle);
        buttons.add(keiner);
        buttons.add(abbrechen);
        AllgemeinerDialog nachfrage;
        nachfrage = new AllgemeinerDialog(this, Messages
                .getString("Vis.SollDerEndlicheAutomat")
                + this.robName + Messages.getString("Vis.GespeichertWerden"),
                Messages.getString("Vis.saveGraph"), buttons, null);

        if (!anweisung.equals(alle) && !anweisung.equals(keiner)) {
            nachfrage.setVisible(true);
        }

        if (anweisung.equals(alle) || nachfrage.getResult().equals(ja)
                || nachfrage.getResult().equals(alle)) {

            this.rob.speichereAuts(this.robName);

            if (this.pars.getpngAutSp()) {
                this.savePNG(this.robName);
            }
           
            try {
                FileOutputStream fs = new FileOutputStream(pfad + this.robName
                        + "." + fmg.fmg8.graphVis.Konstanten.KOORD_ENDUNG);
                ObjectOutputStream os = new ObjectOutputStream(fs);
                os.writeObject(this.darstArten);
                os.close();
            } catch (Exception e) {
                throw new RuntimeException(e);
            }
        }

        if (anweisung.equals(alle) || anweisung.equals(keiner)) {
            return anweisung;
        } else {
            return nachfrage.getResult();
        }
    }
View Full Code Here

        this.aktGraph = this.darstArt.erzeuge(this.aktTrans, this.gewKnot);

        this.removeAll();
       
        this.addWindowListener(new WindHideAdapt());
       
        this.zwischenablage = new Zwischenablage();

        this.zeichenArt = new PfeilMaster(this.pars);
        this.gewKnot = null;
View Full Code Here

     * @param autAnz  Die Anzahl der Automaten pro Roboter.
     */
    private void init2(final int autAnz) {
        this.removeAll();
        this.setSize(800, 730);
        this.addWindowListener(new WindHideAdapt());
       
        this.darstArten = new DarstModEA[autAnz];
       
        for (int i = 0; i < autAnz; i++) {
            this.darstArten[i] = new DarstModEA(
View Full Code Here

        DargestellterGraph darstellung = new DargestellterGraph();
        Iterator<Knoten> it;
        Iterator<Knoten> it1;
        Iterator<Integer> it2;
        Iterator<Transition> it3;
        Knoten knot;
        Knoten knot1;
        Knoten knot2;
        Vektor2D koord1;
        Vektor2D koord2;

        if (!g.istLeer()) {
            final ArrayList<Knoten> knotenListe
                = new ArrayList<Knoten>(g.holAdj().values());
            int knAnzahl = knotenListe.size();
           
            if (knAnzahl < 2) {
                knAnzahl = 2;
            }
           
            int gitterX = Math.abs(this.rechts - this.links)
                          / (int) ((Math.ceil(Math.sqrt(knAnzahl))) - 1);
            int gitterY = Math.abs(this.unten - this.oben)
                          / (int) ((Math.ceil(Math.sqrt(knAnzahl))) - 1);

            int koordX = this.links;
            int koordY = this.oben;
           
            int kX;
            int kY;
            Transition bed;
            int folgeZustand;
            String bedingung;
            int xAusgleich;
            int zaehler = 0;
           
            // Knoten
            it = knotenListe.iterator();
            while (it.hasNext()) {
                knot = it.next();

                if (this.gesetzteKn.containsKey(knot.holeName())) {
                    kX = (int) this.gesetzteKn.get(knot.holeName()).x;
                    kY = (int) this.gesetzteKn.get(knot.holeName()).y;
                    this.setzeKnoten(knot,
                                     darstellung,
                                     kX,
                                     kY,
                                     (Knoten) ausgKn);

                    if (g.istStartZ(knot)) {
                        darstellung.hinzuPfeil(kX - 60,
                                               kY - 60,
                                               kX - 45,
                                               kY - 45,
                                               0.5,
                                               false);
                    }
                } else {
                    this.setzeKnoten(knot,
                                     darstellung,
                                     koordX,
                                     koordY,
                                     (Knoten) ausgKn);

                    this.gesetzteKn.put(knot.holeName(),
                                        new Vektor2D(koordX, koordY));

                    if (g.istStartZ(knot)) {
                        darstellung.hinzuPfeil(koordX - 60,
                                               koordY - 60,
                                               koordX - 45,
                                               koordY - 45,
                                               0.5,
                                               false);
                    }

                    zaehler++;
                   
                    if (zaehler < Math.ceil(Math.sqrt(knAnzahl))) {
                        koordX = koordX + gitterX;
                    } else {
                        koordX = this.links;
                        koordY = koordY + gitterY;
                        zaehler = 0;
                    }
                }
            }

            // Kanten
            it1 = knotenListe.iterator();
            while (it1.hasNext()) {
                knot1 = (Knoten) it1.next();
                koord1 = (Vektor2D) this.gesetzteKn.get(knot1.holeName());

                it2 = (new ArrayList<Integer>(
                                knot1.holeNachfolger().keySet())).iterator();
                while (it2.hasNext()) {
                    boolean gebogen = true;
                   
                    knot2 = g.holeKnoten((Integer) it2.next());
                    koord2 = (Vektor2D) this.gesetzteKn.get(knot2.holeName());
                    Condition cond
                        = knot1.getInfo().getTransZuZustand(
                                knot2.holeName()).get(0).getCond();
                    double staerke = SonstMeth.condStrength(cond,
                                                   Konstanten.STAERKE_ERST,
                                                   Konstanten.STAERKE_ZWEIT);
                   
                    if (koord1.distanz(koord2) < 140
                            && !koord1.equals(koord2)) {
                        gebogen = false;
                    }
                   
                    darstellung.hinzuPfeil(
                            (int) koord1.x,
                            (int) koord1.y,
                            (int) koord2.x,
                            (int) koord2.y,
                            staerke,
                            gebogen);
                }
            }

            // Kantenbeschriftungen
            it1 = knotenListe.iterator();
            while (it1.hasNext()) {
                int kantNum = 1;
                knot1 = (Knoten) it1.next();
                koord1 = this.gesetzteKn.get(knot1.holeName());

                it3 = ((ZInfo) knot1.getInfo()).getBeds().iterator();
                while (it3.hasNext()) {
                    Polygon p = new Polygon();
                    bed = it3.next();
                    folgeZustand = bed.getFolgezustand();
                    bedingung = bed.getCond().toString();
                    knot2 = g.holeKnoten(new Integer(folgeZustand));
                    koord2 = this.gesetzteKn.get(knot2.holeName());

                    p.addPoint((int) koord1.x, (int) koord1.y);
                    p.addPoint((int) koord2.x, (int) koord2.y);

                    if (koord1.equals(koord2)) {
View Full Code Here

                                        final double radius) {
        final ArrayList<Knoten> knotenListe = new ArrayList<Knoten>();
        final ArrayList<Point> koordListe = new ArrayList<Point>();
        final ArrayList<Knoten> endListe = new ArrayList<Knoten>();
        Point             aktPunkt;
        Knoten            aktObj;
        Iterator<Point>   itKoord;
        Iterator<Knoten>  itObj;
        double            minAbs = Double.MAX_VALUE;
        double            aktAbs;
        final double      dX = (double) x;
View Full Code Here

                                           final int x2,
                                           final int y2) {

        final ArrayList<Knoten>  knotenListe = new ArrayList<Knoten>();
        Point                    aktPunkt;
        Knoten                   aktObj;
        final Iterator<Point>    itKoord;
        final Iterator<Knoten>   itObj;

        itKoord = this.knotenpunktKoord.iterator();
        itObj   = this.knotenpunktObjekte.iterator();
View Full Code Here

     *            Das observierte Objekt.
     * @param arg
     *            Der Zusatzparameter.
     */
    public void update(final Observable o, final Object arg) {
        Knoten k;
        AutomatenNummer aN;
        ConditionNummer cN;
        int autNum;

        if (arg == null) {
View Full Code Here

       
        this.addWindowListener(new WindHideAdapt());
       
        this.zwischenablage = new Zwischenablage();

        this.zeichenArt = new PfeilMaster(this.pars);
        this.gewKnot = null;

        this.setLayout(new BorderLayout());
       
        JPanel editPanel = new JPanel();
View Full Code Here

                    this.getHeight() - 50);
        }

        this.zwischenablage = new Zwischenablage();

        this.zeichenArt = new PfeilMaster(this.pars);
        this.selKnot = new Knoten[autAnz];
        this.gewKnot = null;

        this.setLayout(new BorderLayout());
       
View Full Code Here

TOP

Related Classes of fmg.fmg8.graphVis.darstellungsModi.DarstModEA

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.