]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - mainActivity/src/com/example/furt/myapplication/operandClick.java
Ported to latest version of Android SDK
[logicplayer.git] / mainActivity / src / com / example / furt / myapplication / operandClick.java
diff --git a/mainActivity/src/com/example/furt/myapplication/operandClick.java b/mainActivity/src/com/example/furt/myapplication/operandClick.java
deleted file mode 100755 (executable)
index d5f26e3..0000000
+++ /dev/null
@@ -1,32 +0,0 @@
-package com.example.furt.myapplication;
-
-import android.view.View;
-
-public class operandClick implements View.OnClickListener
-{
-    Node L;
-    operandClick(Node n)
-    {
-        L=n;
-    }
-    public void onClick(View view)
-    {
-        if (DrawActivity.selectedNode.Children.size()!=0) //not a leaf: can't add children
-            return;
-        if (L==null) //incompatible elimination
-            return;
-        for (Node n:L.Children) {
-            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);
-            DrawActivity.selectedNode.addChild(n);
-        }
-        DrawActivity.selectedNode.hasFocus=false;
-        DrawActivity.selectedNode.Children.get(0).hasFocus=true;
-        DrawActivity.selectedNode.hasFocus=false;
-        DrawActivity.selectedNode.ruleName=L.ruleName;
-        DrawActivity.nmoves++;
-        DrawActivity.rootNode.Clean();
-        DrawActivity.startDraw();
-    }
-}