Ported to latest version of Android SDK

[logicplayer.git] / mainActivity / app / src / main / java / com / example / furt / myapplication / operandClick.java

diff --git a/mainActivity/app/src/main/java/com/example/furt/myapplication/operandClick.java b/mainActivity/app/src/main/java/com/example/furt/myapplication/operandClick.java
new file mode 100644 (file)
index 0000000..d5f26e3
--- /dev/null
+++ b/mainActivity/app/src/main/java/com/example/furt/myapplication/operandClick.java
@@ -0,0 +1,32 @@
+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();
+    }
+}