X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=mainActivity%2Fsrc%2Fcom%2Fexample%2Ffurt%2Fmyapplication%2FDrawActivity.java;fp=mainActivity%2Fsrc%2Fcom%2Fexample%2Ffurt%2Fmyapplication%2FDrawActivity.java;h=0000000000000000000000000000000000000000;hb=23a3fa7a8181ef21d272a90dd1ff2ba353268813;hp=f9a9c849807ecf29b34fa1047f92a65f42449457;hpb=e477ff2be762ba333c5c77c14bfdea574c700259;p=logicplayer.git

diff --git a/mainActivity/src/com/example/furt/myapplication/DrawActivity.java b/mainActivity/src/com/example/furt/myapplication/DrawActivity.java
deleted file mode 100644
index f9a9c84..0000000
--- a/mainActivity/src/com/example/furt/myapplication/DrawActivity.java
+++ /dev/null
@@ -1,277 +0,0 @@
-package com.example.furt.myapplication;
-
-import android.app.FragmentManager;
-import android.content.Context;
-import android.content.Intent;
-import android.content.res.Configuration;
-import android.os.Bundle;
-import android.support.v4.app.FragmentActivity;
-import android.util.DisplayMetrics;
-import android.util.TypedValue;
-import android.view.Gravity;
-import android.view.Menu;
-import android.view.MenuItem;
-import android.view.MotionEvent;
-import android.view.ScaleGestureDetector;
-import android.view.ViewGroup;
-import android.view.ViewTreeObserver;
-import android.widget.RelativeLayout;
-import android.widget.ScrollView;
-import android.widget.Toast;
-
-import java.sql.Timestamp;
-
-import static java.lang.Thread.sleep;
-
-public class DrawActivity extends FragmentActivity {
-
-    static RelativeLayout globalHP; //layout delle ipotesi cancellate
-    static ScaleGestureDetector scaleGestureDetector; //zoom listener
-    static float spaceSize; //dimensione della spaziatura tra i sottoalberi
-    static float textSize=40; //dimensione del font iniziale
-    static Node selectedNode; //Node su cui è attualmente il focus
-    static Node copiedNode;//nodo copiato
-    static boolean addFakes;//booleano che segnala se bisogna aggiungere delle regole fake
-    static Border[] b; //bordi per le borderedTextView
-    static FragmentManager fragmentManager;//per i dialog
-    static Node rootNode; //radice dell'albero corrente
-    static ScrollView scroll; //Vertical ScrollView contenente l'albero
-    static int nmoves=0;//numero di mosse
-    static int nerrors=0;//nomero di errori
-    static long startTime;//tempo di inizio dell'esercizio
-    static RelativeLayout globalR; //layout globale contenente l'albero
-    static int globalId =10; //variabile incrementale per l'assegnazione di ID univoci
-    static DisplayMetrics v = new DisplayMetrics();//altezza lunghezza e densità dello schermo
-
-    //Informazioni per la comunicazione client-server: username, password, nome dell'esercizio e chiave di sessione.
-    static String user=null;
-    static String pass=null;
-    static String sessionKey=null;
-    static String nomeEs=null;
-
-    @Override
-    protected void onCreate(Bundle savedInstanceState) {
-        //routine standard per la create
-        super.onCreate(savedInstanceState);
-        setContentView(R.layout.activity_my);
-
-        //recupero e setto le variabili globali
-        getWindowManager().getDefaultDisplay().getMetrics(v); //getMetrics() inserisce nella variabile V i dati metrici (altezza,larghezza,densità...) dello schermo del dispositivo
-        globalHP = (RelativeLayout) findViewById(R.id.hpscroll);
-        globalR = (RelativeLayout) findViewById(R.id.global);
-        spaceSize = 2*(textSize/v.density); //lo spazio tra due sottoalberi è di due caratteri vuoti
-        fragmentManager=getFragmentManager();
-        copiedNode=null; //inizialmente non ci sono ovviamente sottoalberi copiati
-        scroll=(ScrollView)findViewById(R.id.vscroll);
-        startTime=time();
-        b=new Border[1];
-        b[0]=new Border(BorderedTextView.BORDER_TOP);
-        b[0].setWidth(2);
-        //Recupero i dati passati dall'Intent: username, password, nome dell'esercizio da visualizzare e chiave di sessione
-        Bundle dati=getIntent().getExtras();
-        nomeEs=dati.getString("nomeEs");
-        user=dati.getString("user");
-        pass=dati.getString("pass");
-        sessionKey=dati.getString("sessionKey");
-
-        //Creazione dell'albero: setto il rootNode e creo la Formula di partenza (F)
-        if(!populateTree()) //populateTree() ha fallito: file dell'esercizio corrotto.
-            return;
-
-        //Creazione dell'albero: setto i campi della view
-        BorderedTextView rootView=new BorderedTextView(this);
-        rootView.setId(globalId);
-        globalId++;
-        selectedNode=null;
-        addFakes=false; //di default non vengono aggiunte regole false
-        rootNode.setView(rootView,globalR); //il rootNode viene legato al globalLayout attuale e alla TextView creata
-        rootNode.handler=new touchnodeHandler(rootNode);
-        rootNode.longHandler=new longnodeHandler(rootNode);
-        rootNode.hasFocus=true; //di default, la radice ha inizialmente il focus.
-        startDraw();
-
-        //imposto il listener per il pinch zoom
-        scaleGestureDetector = new ScaleGestureDetector(this, new simpleOnScaleGestureListener());
-    }
-    @Override
-    public void onConfigurationChanged(Configuration configuration) //rotazione dello schermo: restore dell'albero
-    {
-        super.onConfigurationChanged(configuration);
-        getWindowManager().getDefaultDisplay().getMetrics(v);
-        DrawActivity.rootNode.Clean();
-        DrawActivity.startDraw();
-    }
-    public static void startDraw()
-    {
-        RelativeLayout.LayoutParams lp = new RelativeLayout.LayoutParams(ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.WRAP_CONTENT);
-        final int halfScreen=Math.round((v.widthPixels / 2) - rootNode.getBaseWidth() / 2); //calcolo la metà dello schermo per il calcolo dei margins della scrollView
-        int leftSubTree=(Math.round(rootNode.getLeftOffset() - rootNode.getUpLine() / 2 + (rootNode.getBaseWidth() / 2)) + 40); //sottoalbero sinistro del rootNode più un padding di 40px
-        lp.setMargins(Math.max(halfScreen,leftSubTree),0, 0, 0);
-        lp.addRule(RelativeLayout.ALIGN_PARENT_BOTTOM, rootNode.view.getId());
-        rootNode.view.setLayoutParams(lp);
-        rootNode.view.setBorders(b);
-        rootNode.view.setTextSize(TypedValue.COMPLEX_UNIT_PX, textSize);
-        rootNode.view.setWidth(Math.round(rootNode.getLineWidth())); //setto la larghezza della view al contenuto della linea
-        rootNode.view.setGravity(Gravity.CENTER); //formula al centro della sua overline
-        rootNode.view.setText(rootNode.F.toString()); //setta il contenuto della formula
-        globalR.addView(rootNode.view);
-        //inserisco un listener a rootView da attivare quando sono state fissate le coordinate nel RelativeLayout
-        rootNode.view.getViewTreeObserver().addOnGlobalLayoutListener(
-                new ViewTreeObserver.OnGlobalLayoutListener()
-                {
-                    @Override
-                    public void onGlobalLayout()
-                    {
-                        globalR.setPadding(0,0,(int)Math.max(rootNode.getRightOffset(),halfScreen),0);
-                        globalR.getLayoutParams().height=(int)Math.max((v.heightPixels),(rootNode.getMaxHeight()+rootNode.getMaxHeight()*0.10)); //altezza della view=max(h_screen,h_tree). Aggiungo un 10% all'altezza dell'albero per approssimazione dei calcoli.
-                        globalR.requestLayout(); //aggiorna i parametri e le dimensioni del RelativeLayout
-                        if (rootNode.getMaxHeight()<v.heightPixels/2) //se l'albero non ha raggiunto almeno la metà dello schermo scrollo la view fino in fondo per visualizzarlo interamente
-                            scroll.fullScroll(ScrollView.FOCUS_DOWN);
-                        rootNode.view.setOnClickListener(rootNode.handler);
-                        rootNode.view.setOnLongClickListener(rootNode.longHandler);
-                        rootNode.view.getViewTreeObserver().removeOnGlobalLayoutListener(this); //rimuove il listener per evitare che la funzione parta nuovamente
-                        rootNode.Draw();
-                    }
-                });
-    }
-    @Override
-    public void onBackPressed() {
-        //abbandona esercizio e torna alla view con la lista degli esercizi
-        Intent i = new Intent(globalHP.getContext(), aggiornamento.class);
-        i.putExtra("user", user);
-        i.putExtra("pass", pass);
-        i.putExtra("sessionKey", sessionKey);
-        i.addFlags(Intent.FLAG_ACTIVITY_NEW_TASK);
-        globalHP.getContext().startActivity(i);
-
-    }
-    @Override
-    public boolean onCreateOptionsMenu(Menu menu) {
-        // Inflate the menu; this adds items to the action bar if it is present.
-        getMenuInflater().inflate(R.menu.my, menu);
-        return true;
-    }
-
-    @Override
-    public boolean onTouchEvent(MotionEvent event) {
-        // TODO Auto-generated method stub
-        scaleGestureDetector.onTouchEvent(event);
-        return true;
-    }
-
-
-    @Override
-    public boolean dispatchTouchEvent(MotionEvent event) {
-        super.dispatchTouchEvent(event);
-        return (scaleGestureDetector.onTouchEvent(event));
-    }
-
-    @Override
-    public boolean onOptionsItemSelected(MenuItem item) {
-        int id = item.getItemId();
-        if(id==R.id.abandon)
-        {   //abbandona esercizio e torna alla view con la lista degli esercizi
-            Intent i = new Intent(globalHP.getContext(), aggiornamento.class);
-            i.putExtra("user", user);
-            i.putExtra("pass", pass);
-            i.putExtra("sessionKey", sessionKey);
-            i.addFlags(Intent.FLAG_ACTIVITY_NEW_TASK);
-            globalHP.getContext().startActivity(i);
-        }
-        return true;
-    }
-
-
-
-    public class simpleOnScaleGestureListener extends
-            ScaleGestureDetector.SimpleOnScaleGestureListener {
-
-        @Override
-        public boolean onScale(ScaleGestureDetector detector) {
-            float factor=detector.getScaleFactor();
-            if (textSize>65 && factor>1) //font troppo grande: impedisco aumento
-                return true;
-            if (textSize<15 && factor<1) //font troppo piccolo: impedisco riduzione
-                return true;
-            rootNode.Refactor();  //risetta i campi dell'albero a FIELD_UNSET
-            RelativeLayout.LayoutParams lp=new RelativeLayout.LayoutParams(ViewGroup.LayoutParams.WRAP_CONTENT, ViewGroup.LayoutParams.WRAP_CONTENT);
-            DrawActivity.spaceSize=(DrawActivity.spaceSize*factor);
-            DrawActivity.textSize=(DrawActivity.textSize*factor);
-            int halfScreen=Math.round((v.widthPixels / 2)-rootNode.getBaseWidth()/2);
-            int leftSubTree=(Math.round(rootNode.getLeftOffset() - rootNode.getUpLine() / 2 + (rootNode.getBaseWidth() / 2)) + 40);
-            globalR.setPadding(0,0,(int)Math.max(rootNode.getRightOffset(),halfScreen),0);
-            lp.setMargins(Math.max(halfScreen,leftSubTree),0, 0, 0);
-            lp.addRule(RelativeLayout.ALIGN_PARENT_BOTTOM, rootNode.view.getId());
-            rootNode.view.setLayoutParams(lp);
-            rootNode.view.setTextSize(TypedValue.COMPLEX_UNIT_PX, textSize);
-            rootNode.view.setWidth(Math.round(rootNode.getLineWidth())); //setto la larghezza della view al contenuto della linea
-            rootNode.Resize(); //ricorsivamente sistema i fontsize, le larghezze e le posizioni delle view nell'albero
-            return true;
-        }
-    }
-    public static void finishedTree(Context context) {
-        if (!rootNode.isCorrect()) {
-            Toast.makeText(context, "Esercizio errato! Ricontrolla i passaggi fatti e riprova", Toast.LENGTH_LONG).show();
-        } else {
-            long endTime = time();
-            int second= (int) ((endTime-startTime)/1000);
-            int minute=second/60;
-            Toast.makeText(context, "Esercizio completato in " + Integer.toString(nmoves) + " mosse!", Toast.LENGTH_LONG).show();
-            try {
-                sleep(2);
-            } catch (InterruptedException e) {
-                e.printStackTrace();
-            }
-            Toast.makeText(context, "Hai commesso " + Integer.toString(nerrors) + " errori!", Toast.LENGTH_LONG).show();
-            try {
-                sleep(2);
-            } catch (InterruptedException e) {
-                e.printStackTrace();
-            }
-            Toast.makeText(context, "Numero nodi dell'albero: " + Integer.toString(rootNode.count()), Toast.LENGTH_LONG).show();
-            try {
-                sleep(2);
-            } catch (InterruptedException e) {
-                e.printStackTrace();
-            }
-            Toast.makeText(context, "Tempo impiegato: " + Integer.toString(minute) + " minuti e " + Integer.toString(second-(minute*60)) + " secondi", Toast.LENGTH_LONG).show();
-            //aggiungo l'esercizio al database
-            int voto=valutazione.voto(nomeEs,nmoves,second,rootNode.count(),nerrors);
-            personalDBHelper db = new personalDBHelper(context);
-            db.add(user, nomeEs, MD5.digest(nomeEs), 0.0, voto, 0);
-            nmoves = 0;
-            Intent i = new Intent(context, aggiornamento.class);
-            i.putExtra("user", user);
-            i.putExtra("pass", pass);
-            i.putExtra("sessionKey", sessionKey);
-            i.addFlags(Intent.FLAG_ACTIVITY_NEW_TASK);
-            context.startActivity(i);
-        }
-    }
-    public boolean populateTree() {
-
-        rootNode = parser.root(nomeEs);
-        if(rootNode==null)
-        {
-            Toast.makeText(this, "Errore nell'apertura del file", Toast.LENGTH_LONG).show();
-            Intent i = new Intent(this, aggiornamento.class);
-            i.putExtra("user", user);
-            i.putExtra("pass", pass);
-            i.putExtra("sessionKey", sessionKey);
-            i.addFlags(Intent.FLAG_ACTIVITY_NEW_TASK);
-            this.startActivity(i);
-            return false;
-        }
-        for (Hypothesis h:rootNode.NodeHP)
-            h.fromNode=rootNode;
-        return true;
-    }
-    public static long time()
-    {
-        java.util.Date date= new java.util.Date();
-        Timestamp now=new Timestamp(date.getTime());
-        return now.getTime();
-    }
-
-}
-