首页 发现 帮助
登录
LInE
/
www-ivprog
4
0
派生 0
文件 工单管理 0 合并请求 0 Wiki
目录树: b1b45d0983
分支列表 标签列表
www-ivprog
/
legacy
/
version1
/
ivprog.html

ivprog.html 22 KB
文件历史 原始文件

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342 
  1. <html>
    2. 

  2. <head>
    3. 

  3. <title>iVProg</title>
    4. 

  4. </head>
    5. 

  5. 

  6.  <applet codebase="." archive="ivprog.jar" code="edu.cmu.cs.stage3.alice.authoringtool.JAlice.class" WIDTH=791 HEIGHT=600>
    7. 

  7.   <param name='lang' value='pt'>
    8. 

  8.   <param name='enderecoPOST' value='http://lem.ime.usp.br/sm/mod/ma/get_answer.php?id=509&ma=3&course_id=13&userid=3'>
    9. 

  9.   <param name='MA_PARAM_Proposition' value='
    10. 

  10.    <element class=_ASP1_edu.cmu.cs.stage3.alice.core.World_ASP1_ name=_ASP1_main_ASP1_>
    11. 

  11.    <child filename=_ASP1_renderTarget_ASP1_>1_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.RenderTarget_ASP1_ name=_ASP1_renderTarget_ASP1_>
    12. 

  12.    <property name=_ASP1_data_ASP1_>
    13. 

  13.    </property>
    14. 

  14.    </element>1_CDATA_END</child>
    15. 

  15.    <child filename=_ASP1_play_ASP1_>1_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.response.UserDefinedResponse_ASP1_ name=_ASP1_play_ASP1_>
    16. 

  16.    <child filename=_ASP1_n_ASP1_>2_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.Variable_ASP1_ name=_ASP1_n_ASP1_>
    17. 

  17.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_value_ASP1_>1.0</property>
    18. 

  18.    <property name=_ASP1_valueClass_ASP1_>java.lang.Number</property>
    19. 

  19.    <property name=_ASP1_data_ASP1_>
    20. 

  20.    </property>
    21. 

  21.    </element>2_CDATA_END</child>
    22. 

  22.    <child filename=_ASP1___Unnamed1___ASP1_>2_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.response.PropertyAnimation_ASP1_>
    23. 

  23.    <child filename=_ASP1___Unnamed0___ASP1_>3_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.ask.AskUserForNumber_ASP1_>
    24. 

  24.    <property name=_ASP1_title_ASP1_>Question</property>
    25. 

  25.    <property name=_ASP1_question_ASP1_>Digite um n&uacute;mero</property>
    26. 

  26.    <property name=_ASP1_data_ASP1_>
    27. 

  27.    <entry>
    28. 

  28.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    29. 

  29.    <value class=_ASP1_java.lang.String_ASP1_>question</value>
    30. 

  30.    </entry>
    31. 

  31.    </property>
    32. 

  32.    </element>3_CDATA_END</child>
    33. 

  33.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_element_ASP1_>play.n</property>
    34. 

  34.    <property name=_ASP1_propertyName_ASP1_>value</property>
    35. 

  35.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_value_ASP1_>play.__Unnamed1__.__Unnamed0__</property>
    36. 

  36.    <property class=_ASP1_edu.cmu.cs.stage3.util.HowMuch_ASP1_ name=_ASP1_howMuch_ASP1_>edu.cmu.cs.stage3.util.HowMuch[INSTANCE_AND_PARTS]</property>
    37. 

  37.    <property class=_ASP1_edu.cmu.cs.stage3.alice.core.style.TraditionalAnimationStyle_ASP1_ name=_ASP1_style_ASP1_>edu.cmu.cs.stage3.alice.core.style.TraditionalAnimationStyle[BEGIN_AND_END_GENTLY]</property>
    38. 

  38.    <property class=_ASP1_java.lang.Integer_ASP1_ name=_ASP1_duration_ASP1_>0</property>
    39. 

  39.    <property name=_ASP1_data_ASP1_>
    40. 

  40.    <entry>
    41. 

  41.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    42. 

  42.    <value class=_ASP1_java.lang.String_ASP1_>element,propertyName,value</value>
    43. 

  43.    </entry>
    44. 

  44.    </property>
    45. 

  45.    </element>2_CDATA_END</child>
    46. 

  46.    <child filename=_ASP1___Unnamed2___ASP1_>2_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.response.IfElseInOrder_ASP1_>
    47. 

  47.    <child filename=_ASP1___Unnamed0___ASP1_>3_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.CallToUserDefinedQuestion_ASP1_>
    48. 

  48.    <child filename=_ASP1_numero_ASP1_>4_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.Variable_ASP1_ name=_ASP1_numero_ASP1_>
    49. 

  49.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_value_ASP1_>play.n</property>
    50. 

  50.    <property name=_ASP1_valueClass_ASP1_>java.lang.Number</property>
    51. 

  51.    <property name=_ASP1_data_ASP1_>
    52. 

  52.    </property>
    53. 

  53.    </element>4_CDATA_END</child>
    54. 

  54.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_userDefinedQuestion_ASP1_>verificaPrimo</property>
    55. 

  55.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.Variable_ASP1_ name=_ASP1_requiredActualParameters_ASP1_>
    56. 

  56.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>play.__Unnamed2__.__Unnamed0__.numero</item>
    57. 

  57.    </property>
    58. 

  58.    <property name=_ASP1_keywordActualParameters_ASP1_>
    59. 

  59.    </property>
    60. 

  60.    <property name=_ASP1_data_ASP1_>
    61. 

  61.    <entry>
    62. 

  62.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    63. 

  63.    <value class=_ASP1_java.lang.String_ASP1_>userDefinedQuestion,requiredActualParameters</value>
    64. 

  64.    </entry>
    65. 

  65.    </property>
    66. 

  66.    </element>3_CDATA_END</child>
    67. 

  67.    <child filename=_ASP1___Unnamed1___ASP1_>3_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.response.Print_ASP1_>
    68. 

  68.    <property name=_ASP1_text_ASP1_>O n&uacute;mero digitado &eacute; primo</property>
    69. 

  69.    <property name=_ASP1_object_ASP1_>
    70. 

  70.    </property>
    71. 

  71.    <property name=_ASP1_addNewLine_ASP1_>true</property>
    72. 

  72.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_duration_ASP1_>0.0</property>
    73. 

  73.    <property name=_ASP1_data_ASP1_>
    74. 

  74.    </property>
    75. 

  75.    </element>3_CDATA_END</child>
    76. 

  76.    <child filename=_ASP1___Unnamed2___ASP1_>3_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.response.Print_ASP1_>
    77. 

  77.    <property name=_ASP1_text_ASP1_>O n&uacute;mero digitado n&atilde;o &eacute; primo</property>
    78. 

  78.    <property name=_ASP1_object_ASP1_>
    79. 

  79.    </property>
    80. 

  80.    <property name=_ASP1_addNewLine_ASP1_>true</property>
    81. 

  81.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_duration_ASP1_>0.0</property>
    82. 

  82.    <property name=_ASP1_data_ASP1_>
    83. 

  83.    </property>
    84. 

  84.    </element>3_CDATA_END</child>
    85. 

  85.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_condition_ASP1_>play.__Unnamed2__.__Unnamed0__</property>
    86. 

  86.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.Response_ASP1_ name=_ASP1_elseComponentResponses_ASP1_>
    87. 

  87.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>play.__Unnamed2__.__Unnamed2__</item>
    88. 

  88.    </property>
    89. 

  89.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.Response_ASP1_ name=_ASP1_componentResponses_ASP1_>
    90. 

  90.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>play.__Unnamed2__.__Unnamed1__</item>
    91. 

  91.    </property>
    92. 

  92.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_duration_ASP1_>1.0</property>
    93. 

  93.    <property name=_ASP1_data_ASP1_>
    94. 

  94.    </property>
    95. 

  95.    </element>2_CDATA_END</child>
    96. 

  96.    <child filename=_ASP1___Unnamed3___ASP1_>2_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.response.Print_ASP1_>
    97. 

  97.    <property name=_ASP1_text_ASP1_>
    98. 

  98.    </property>
    99. 

  99.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_object_ASP1_>play.n</property>
    100. 

  100.    <property name=_ASP1_addNewLine_ASP1_>true</property>
    101. 

  101.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_duration_ASP1_>0.0</property>
    102. 

  102.    <property name=_ASP1_data_ASP1_>
    103. 

  103.    </property>
    104. 

  104.    </element>2_CDATA_END</child>
    105. 

  105.    <property name=_ASP1_requiredFormalParameters_ASP1_>
    106. 

  106.    </property>
    107. 

  107.    <property name=_ASP1_keywordFormalParameters_ASP1_>
    108. 

  108.    </property>
    109. 

  109.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.Variable_ASP1_ name=_ASP1_localVariables_ASP1_>
    110. 

  110.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>play.n</item>
    111. 

  111.    </property>
    112. 

  112.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.Response_ASP1_ name=_ASP1_componentResponses_ASP1_>
    113. 

  113.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>play.__Unnamed1__</item>
    114. 

  114.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>play.__Unnamed3__</item>
    115. 

  115.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>play.__Unnamed2__</item>
    116. 

  116.    </property>
    117. 

  117.    <property name=_ASP1_duration_ASP1_>
    118. 

  118.    </property>
    119. 

  119.    <property name=_ASP1_data_ASP1_>
    120. 

  120.    </property>
    121. 

  121.    </element>1_CDATA_END</child>
    122. 

  122.    <child filename=_ASP1_behavior0_ASP1_>1_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.behavior.WorldStartBehavior_ASP1_ name=_ASP1_behavior0_ASP1_>
    123. 

  123.    <child filename=_ASP1___Unnamed0___ASP1_>2_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.response.CallToUserDefinedResponse_ASP1_>
    124. 

  124.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_userDefinedResponse_ASP1_>play</property>
    125. 

  125.    <property name=_ASP1_requiredActualParameters_ASP1_>
    126. 

  126.    </property>
    127. 

  127.    <property name=_ASP1_keywordActualParameters_ASP1_>
    128. 

  128.    </property>
    129. 

  129.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_duration_ASP1_>1.0</property>
    130. 

  130.    <property name=_ASP1_data_ASP1_>
    131. 

  131.    <entry>
    132. 

  132.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    133. 

  133.    <value class=_ASP1_java.lang.String_ASP1_>requiredActualParameters,userDefinedResponse</value>
    134. 

  134.    </entry>
    135. 

  135.    </property>
    136. 

  136.    </element>2_CDATA_END</child>
    137. 

  137.    <child filename=_ASP1___Unnamed1___ASP1_>2_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.response.CallToUserDefinedResponse_ASP1_>
    138. 

  138.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_userDefinedResponse_ASP1_>play</property>
    139. 

  139.    <property name=_ASP1_requiredActualParameters_ASP1_>
    140. 

  140.    </property>
    141. 

  141.    <property name=_ASP1_keywordActualParameters_ASP1_>
    142. 

  142.    </property>
    143. 

  143.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_duration_ASP1_>1.0</property>
    144. 

  144.    <property name=_ASP1_data_ASP1_>
    145. 

  145.    <entry>
    146. 

  146.    <key class=_ASP1_java.lang.String_ASP1_>PropertyViewController_propertyOwner</key>
    147. 

  147.    <value class=_ASP1_java.lang.String_ASP1_>triggerResponse</value>
    148. 

  148.    </entry>
    149. 

  149.    <entry>
    150. 

  150.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    151. 

  151.    <value class=_ASP1_java.lang.String_ASP1_>userDefinedResponse,requiredActualParameters</value>
    152. 

  152.    </entry>
    153. 

  153.    </property>
    154. 

  154.    </element>2_CDATA_END</child>
    155. 

  155.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_triggerResponse_ASP1_>behavior0.__Unnamed1__</property>
    156. 

  156.    <property class=_ASP1_edu.cmu.cs.stage3.alice.core.behavior.MultipleRuntimeResponsePolicy_ASP1_ name=_ASP1_multipleRuntimeResponsePolicy_ASP1_>edu.cmu.cs.stage3.alice.core.behavior.MultipleRuntimeResponsePolicy[ENQUEUE_MULTIPLE]</property>
    157. 

  157.    <property name=_ASP1_isEnabled_ASP1_>true</property>
    158. 

  158.    <property name=_ASP1_details_ASP1_>
    159. 

  159.    </property>
    160. 

  160.    <property name=_ASP1_data_ASP1_>
    161. 

  161.    </property>
    162. 

  162.    </element>1_CDATA_END</child>
    163. 

  163.    <child filename=_ASP1_verificaPrimo_ASP1_>1_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.UserDefinedQuestion_ASP1_ name=_ASP1_verificaPrimo_ASP1_>
    164. 

  164.    <child filename=_ASP1___Unnamed0___ASP1_>2_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.Return_ASP1_>
    165. 

  165.    <property class=_ASP1_java.lang.Boolean_ASP1_ name=_ASP1_value_ASP1_>true</property>
    166. 

  166.    <property name=_ASP1_valueClass_ASP1_>java.lang.Boolean</property>
    167. 

  167.    <property name=_ASP1_data_ASP1_>
    168. 

  168.    <entry>
    169. 

  169.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    170. 

  170.    <value class=_ASP1_java.lang.String_ASP1_>value</value>
    171. 

  171.    </entry>
    172. 

  172.    </property>
    173. 

  173.    </element>2_CDATA_END</child>
    174. 

  174.    <child filename=_ASP1___Unnamed1___ASP1_>2_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.IfElse_ASP1_>
    175. 

  175.    <child filename=_ASP1___Unnamed0___ASP1_>3_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.NumberIsLessThan_ASP1_>
    176. 

  176.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_a_ASP1_>verificaPrimo.numero</property>
    177. 

  177.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_b_ASP1_>2.0</property>
    178. 

  178.    <property name=_ASP1_data_ASP1_>
    179. 

  179.    <entry>
    180. 

  180.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    181. 

  181.    <value class=_ASP1_java.lang.String_ASP1_>a,b</value>
    182. 

  182.    </entry>
    183. 

  183.    </property>
    184. 

  184.    </element>3_CDATA_END</child>
    185. 

  185.    <child filename=_ASP1___Unnamed1___ASP1_>3_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.Return_ASP1_>
    186. 

  186.    <property class=_ASP1_java.lang.Boolean_ASP1_ name=_ASP1_value_ASP1_>false</property>
    187. 

  187.    <property name=_ASP1_valueClass_ASP1_>java.lang.Boolean</property>
    188. 

  188.    <property name=_ASP1_data_ASP1_>
    189. 

  189.    <entry>
    190. 

  190.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    191. 

  191.    <value class=_ASP1_java.lang.String_ASP1_>value</value>
    192. 

  192.    </entry>
    193. 

  193.    </property>
    194. 

  194.    </element>3_CDATA_END</child>
    195. 

  195.    <child filename=_ASP1___Unnamed2___ASP1_>3_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.LoopN_ASP1_>
    196. 

  196.    <child filename=_ASP1_index_ASP1_>4_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.Variable_ASP1_ name=_ASP1_index_ASP1_>
    197. 

  197.    <property name=_ASP1_value_ASP1_>
    198. 

  198.    </property>
    199. 

  199.    <property name=_ASP1_valueClass_ASP1_>java.lang.Number</property>
    200. 

  200.    <property name=_ASP1_data_ASP1_>
    201. 

  201.    </property>
    202. 

  202.    </element>4_CDATA_END</child>
    203. 

  203.    <child filename=_ASP1___Unnamed1___ASP1_>4_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.IfElse_ASP1_>
    204. 

  204.    <child filename=_ASP1___Unnamed0___ASP1_>5_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.NumberIsEqualTo_ASP1_>
    205. 

  205.    <child filename=_ASP1___Unnamed0___ASP1_>6_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.math.IEEERemainder_ASP1_>
    206. 

  206.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_a_ASP1_>verificaPrimo.numero</property>
    207. 

  207.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_b_ASP1_>verificaPrimo.__Unnamed1__.__Unnamed2__.index</property>
    208. 

  208.    <property name=_ASP1_data_ASP1_>
    209. 

  209.    <entry>
    210. 

  210.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    211. 

  211.    <value class=_ASP1_java.lang.String_ASP1_>a,b</value>
    212. 

  212.    </entry>
    213. 

  213.    </property>
    214. 

  214.    </element>6_CDATA_END</child>
    215. 

  215.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_a_ASP1_>verificaPrimo.__Unnamed1__.__Unnamed2__.__Unnamed1__.__Unnamed0__.__Unnamed0__</property>
    216. 

  216.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_b_ASP1_>0.0</property>
    217. 

  217.    <property name=_ASP1_data_ASP1_>
    218. 

  218.    <entry>
    219. 

  219.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    220. 

  220.    <value class=_ASP1_java.lang.String_ASP1_>a,b</value>
    221. 

  221.    </entry>
    222. 

  222.    </property>
    223. 

  223.    </element>5_CDATA_END</child>
    224. 

  224.    <child filename=_ASP1___Unnamed1___ASP1_>5_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.Return_ASP1_>
    225. 

  225.    <property class=_ASP1_java.lang.Boolean_ASP1_ name=_ASP1_value_ASP1_>false</property>
    226. 

  226.    <property name=_ASP1_valueClass_ASP1_>java.lang.Boolean</property>
    227. 

  227.    <property name=_ASP1_data_ASP1_>
    228. 

  228.    <entry>
    229. 

  229.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    230. 

  230.    <value class=_ASP1_java.lang.String_ASP1_>value</value>
    231. 

  231.    </entry>
    232. 

  232.    </property>
    233. 

  233.    </element>5_CDATA_END</child>
    234. 

  234.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_condition_ASP1_>verificaPrimo.__Unnamed1__.__Unnamed2__.__Unnamed1__.__Unnamed0__</property>
    235. 

  235.    <property name=_ASP1_elseComponents_ASP1_>
    236. 

  236.    </property>
    237. 

  237.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.Component_ASP1_ name=_ASP1_components_ASP1_>
    238. 

  238.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>verificaPrimo.__Unnamed1__.__Unnamed2__.__Unnamed1__.__Unnamed1__</item>
    239. 

  239.    </property>
    240. 

  240.    <property name=_ASP1_data_ASP1_>
    241. 

  241.    </property>
    242. 

  242.    </element>4_CDATA_END</child>
    243. 

  243.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_count_ASP1_>Infinity</property>
    244. 

  244.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_index_ASP1_>verificaPrimo.__Unnamed1__.__Unnamed2__.index</property>
    245. 

  245.    <property class=_ASP1_java.lang.Integer_ASP1_ name=_ASP1_start_ASP1_>2</property>
    246. 

  246.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_end_ASP1_>verificaPrimo.numero</property>
    247. 

  247.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_increment_ASP1_>1.0</property>
    248. 

  248.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.Component_ASP1_ name=_ASP1_components_ASP1_>
    249. 

  249.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>verificaPrimo.__Unnamed1__.__Unnamed2__.__Unnamed1__</item>
    250. 

  250.    </property>
    251. 

  251.    <property name=_ASP1_data_ASP1_>
    252. 

  252.    <entry>
    253. 

  253.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.editors.compositeeditor class=_ASP1_java.lang.String_ASP1_>IS_COMPLICATED_LOOP_KEY</key>
    254. 

  254.    <value class=_ASP1_java.lang.Boolean_ASP1_>true</value>
    255. 

  255.    </entry>
    256. 

  256.    </property>
    257. 

  257.    </element>3_CDATA_END</child>
    258. 

  258.    <child filename=_ASP1___Unnamed3___ASP1_>3_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.NumberIsLessThanOrEqualTo_ASP1_>
    259. 

  259.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_a_ASP1_>verificaPrimo.numero</property>
    260. 

  260.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_b_ASP1_>2.0</property>
    261. 

  261.    <property name=_ASP1_data_ASP1_>
    262. 

  262.    <entry>
    263. 

  263.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    264. 

  264.    <value class=_ASP1_java.lang.String_ASP1_>a,b</value>
    265. 

  265.    </entry>
    266. 

  266.    </property>
    267. 

  267.    </element>3_CDATA_END</child>
    268. 

  268.    <child filename=_ASP1___Unnamed4___ASP1_>3_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.question.NumberIsLessThan_ASP1_>
    269. 

  269.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_a_ASP1_>verificaPrimo.numero</property>
    270. 

  270.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_b_ASP1_>2.0</property>
    271. 

  271.    <property name=_ASP1_data_ASP1_>
    272. 

  272.    <entry>
    273. 

  273.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.visibleProperties</key>
    274. 

  274.    <value class=_ASP1_java.lang.String_ASP1_>a,b</value>
    275. 

  275.    </entry>
    276. 

  276.    </property>
    277. 

  277.    </element>3_CDATA_END</child>
    278. 

  278.    <property criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_ name=_ASP1_condition_ASP1_>verificaPrimo.__Unnamed1__.__Unnamed4__</property>
    279. 

  279.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.Component_ASP1_ name=_ASP1_elseComponents_ASP1_>
    280. 

  280.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>verificaPrimo.__Unnamed1__.__Unnamed2__</item>
    281. 

  281.    </property>
    282. 

  282.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.Component_ASP1_ name=_ASP1_components_ASP1_>
    283. 

  283.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>verificaPrimo.__Unnamed1__.__Unnamed1__</item>
    284. 

  284.    </property>
    285. 

  285.    <property name=_ASP1_data_ASP1_>
    286. 

  286.    </property>
    287. 

  287.    </element>2_CDATA_END</child>
    288. 

  288.    <child filename=_ASP1_numero_ASP1_>2_CDATA_INIT<element class=_ASP1_edu.cmu.cs.stage3.alice.core.Variable_ASP1_ name=_ASP1_numero_ASP1_>
    289. 

  289.    <property class=_ASP1_java.lang.Double_ASP1_ name=_ASP1_value_ASP1_>1.0</property>
    290. 

  290.    <property name=_ASP1_valueClass_ASP1_>java.lang.Number</property>
    291. 

  291.    <property name=_ASP1_data_ASP1_>
    292. 

  292.    </property>
    293. 

  293.    </element>2_CDATA_END</child>
    294. 

  294.    <property name=_ASP1_valueClass_ASP1_>java.lang.Boolean</property>
    295. 

  295.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.question.userdefined.Component_ASP1_ name=_ASP1_components_ASP1_>
    296. 

  296.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>verificaPrimo.__Unnamed1__</item>
    297. 

  297.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>verificaPrimo.__Unnamed0__</item>
    298. 

  298.    </property>
    299. 

  299.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.Variable_ASP1_ name=_ASP1_requiredFormalParameters_ASP1_>
    300. 

  300.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>verificaPrimo.numero</item>
    301. 

  301.    </property>
    302. 

  302.    <property name=_ASP1_keywordFormalParameters_ASP1_>
    303. 

  303.    </property>
    304. 

  304.    <property name=_ASP1_localVariables_ASP1_>
    305. 

  305.    </property>
    306. 

  306.    <property name=_ASP1_data_ASP1_>
    307. 

  307.    </property>
    308. 

  308.    </element>1_CDATA_END</child>
    309. 

  309.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.Response_ASP1_ name=_ASP1_responses_ASP1_>
    310. 

  310.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>play</item>
    311. 

  311.    </property>
    312. 

  312.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.Behavior_ASP1_ name=_ASP1_behaviors_ASP1_>
    313. 

  313.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>behavior0</item>
    314. 

  314.    </property>
    315. 

  315.    <property name=_ASP1_variables_ASP1_>
    316. 

  316.    </property>
    317. 

  317.    <property componentClass=_ASP1_edu.cmu.cs.stage3.alice.core.Question_ASP1_ name=_ASP1_questions_ASP1_>
    318. 

  318.    <item criterionClass=_ASP1_edu.cmu.cs.stage3.alice.core.criterion.InternalReferenceKeyedCriterion_ASP1_>verificaPrimo</item>
    319. 

  319.    </property>
    320. 

  320.    <property name=_ASP1_data_ASP1_>
    321. 

  321.    <entry>
    322. 

  322.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.playCount</key>
    323. 

  323.    <value class=_ASP1_java.lang.String_ASP1_>7</value>
    324. 

  324.    </entry>
    325. 

  325.    <entry>
    326. 

  326.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.tabObjects</key>
    327. 

  327.    <value class=_ASP1_java.lang.String_ASP1_>main.play:main.verificaPrimo:</value>
    328. 

  328.    </entry>
    329. 

  329.    <entry>
    330. 

  330.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.worldOpenTime</key>
    331. 

  331.    <value class=_ASP1_java.lang.String_ASP1_>5369157</value>
    332. 

  332.    </entry>
    333. 

  333.    <entry>
    334. 

  334.    <key class=_ASP1_java.lang.String_ASP1_>edu.cmu.cs.stage3.alice.authoringtool.saveCount</key>
    335. 

  335.    <value class=_ASP1_java.lang.String_ASP1_>20</value>
    336. 

  336.    </entry>
    337. 

  337.    </property>
    338. 

  338.   </element>'>
    339. 

  339. 

  340.  </applet>
    341. 

  341. 

  342. </html>
    343.