]> matita.cs.unibo.it Git - logicplayer.git/blob - mainActivity/src/com/example/furt/myapplication/touchRuleHandler.java
7443ebc6d5337fc6db95200e97ee9475379518f8
[logicplayer.git] / mainActivity / src / com / example / furt / myapplication / touchRuleHandler.java
1 package com.example.furt.myapplication;
2 import android.view.View;
3
4 import java.util.List;
5
6 public class touchRuleHandler implements View.OnClickListener
7 {
8     List<Node> L;
9     touchRuleHandler(List<Node> list)
10     {
11         L=list;
12     }
13     public void onClick(View view)
14     {
15         if (DrawActivity.selectedNode.Children.size()!=0) //not a leaf: can't add children
16             return;
17         for (Node n:L) {
18             for (Hypothesis hp:n.NodeHP)
19                 hp.fromNode= DrawActivity.selectedNode; //le ipotesi dei nuovi figli provengono dal nodo in cui stanno per essere inserite
20             n.addHPList(DrawActivity.selectedNode.NodeHP);
21             DrawActivity.selectedNode.addChild(n);
22         }
23         DrawActivity.selectedNode.hasFocus=false;
24         DrawActivity.selectedNode.ruleName=L.get(0).ruleName;
25         DrawActivity.selectedNode.Children.get(0).hasFocus=true;
26         DrawActivity.nmoves++;
27         DrawActivity.rootNode.Clean();
28         DrawActivity.startDraw();
29     }
30 }