]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - mainActivity/src/com/example/furt/myapplication/DialogTouchHandler.java
Ported to latest version of Android SDK
[logicplayer.git] / mainActivity / src / com / example / furt / myapplication / DialogTouchHandler.java
diff --git a/mainActivity/src/com/example/furt/myapplication/DialogTouchHandler.java b/mainActivity/src/com/example/furt/myapplication/DialogTouchHandler.java
deleted file mode 100755 (executable)
index eba3c67..0000000
+++ /dev/null
@@ -1,34 +0,0 @@
-package com.example.furt.myapplication;
-
-import android.view.View;
-
-/**DialogTouchHandler: Handler per la gestione delle regole cliccate
- * nel Dialog delle regole di introduzione**/
-
-public class DialogTouchHandler implements View.OnClickListener{
-    Node node;
-    DialogTouchHandler(Node n)
-    {
-        node=n;
-    }
-    public void onClick(View view)
-    {
-        Node selectedRule=node;
-        while(selectedRule.Father!=null) //se l'utente ha cliccato su uno dei figli del sottoalbero risalgo alla radice
-            selectedRule=selectedRule.Father;
-        for (Node n : selectedRule.Children) { //incollo i figli del nodo sul selectedNode avendo cura di integrare le ipotesi
-            for (Hypothesis hp : n.NodeHP)
-                hp.fromNode = DrawActivity.selectedNode; //le ipotesi dei nuovi figli provengono dal nodo in cui stanno per essere inserite
-            n.addHPList(DrawActivity.selectedNode.NodeHP);
-            n.handler = null; //rimuovo l'handler per il DialogTouchHandler, che è ora inutile
-            DrawActivity.selectedNode.addChild(n);
-        }
-        DrawActivity.selectedNode.hasFocus = false; //il vecchio selectedNode non ha più il focus
-        DrawActivity.selectedNode.ruleName = selectedRule.Children.get(0).ruleName;
-        DrawActivity.selectedNode.Children.get(0).hasFocus = true; //il primo figlio della regola applicata acquisisce il focus
-        DrawActivity.nmoves++;
-        DrawActivity.rootNode.Clean();
-        DrawActivity.startDraw();
-        touchnodeHandler.ruleDialog.dismiss(); //il ruleDialog del touchnodeHandler non è più necessario
-    }
-}