kinda support 2/3 of annotation tests

transpiler/src/main/eo/preface/xmyArray.eo

@@ -9,6 +9,7 @@
 +alias xfakeclasses preface.xfakeclasses
 +alias stdout org.eolang.io.stdout
 +alias sprintf org.eolang.txt.sprintf
++alias xAssertionError preface.xAssertionError
 
 [] > xmyArray
   [initValue] > ap
@@ -130,6 +131,13 @@
                     stackUp.forward ((goto (xStopIteration.ap.@)).result)
                     stackUp.forward (return (value.get (pos)))
                   123
+        [] > xsetAtIndex
+          [self key val] > ap
+            [stackUp] > @
+              seq > @
+                stdout "xsetAtIndex not supported for array\n"
+                stackUp.forward (goto (xAssertionError.ap.@))
+                0
         [] > x__iter__
           [self] > ap
             [stackUp] > @

transpiler/src/main/eo/preface/xmyMap.eo

@@ -8,6 +8,7 @@
 +alias mkCopy preface.mkCopy
 +alias pair preface.pair
 +alias xmyArray preface.xmyArray
++alias xAssertionError preface.xAssertionError
 
 [] > xmyMap
   [value] > wrapper
@@ -38,6 +39,20 @@
                         i.write (i.plus 1)
                 stdout "get left the loop\n"
                 0
+        [key] > get
+          memory 0 > i
+          cage 0 > result
+          seq > @
+            (i.lt (value.length)).while
+              [unused]
+                seq > @
+                  if.
+                    (value.get i).value.fst.eq key
+                    result.write ((value.get i).value.snd)
+                    0
+                  i.write (i.plus 1)
+                  0
+            result
         [] > xget-internal
           [key] > ap
             [stackUp] > @
@@ -90,15 +105,14 @@
                 self.value.write (tmp.copy.with (wrapper (pair ((kv.copy)) ((vv.copy)))))
                 stackUp.forward (return 0)
                 123
-        [key val] > set-at-index
-          (goto ((x__contains__.ap self key).@)).result.if > @
-            0
-            seq > @
-              mkCopy (self.value) > tmp
-              mkCopy (key) > kv
-              mkCopy (val) > vv
-              self.value.write (tmp.copy.with (wrapper (pair ((kv.copy)) ((vv.copy)))))
-              123
+        [] > xsetAtIndex
+          [self key val] > ap
+            [stackUp] > @
+              (goto ((x__contains__.ap self key).@)).result.if > @
+                seq
+                  stdout "NOT IMPLEMENTED\n"
+                  stackUp.forward (goto (xAssertionError.ap.@))
+                stackUp.forward (goto ((xadd.ap self key val).@))
         [] > xappend
           [self key] > ap
             [stackUp] > @

transpiler/src/main/scala/org/polystat/py2eo/transpiler/Transpile.scala

@@ -57,7 +57,7 @@ object Transpile {
           val rmAssert = GenericStatementPasses.procStatement(SimplifyAssert.apply)(rmWith._1, rmWith._2)
           debugPrinter(rmAssert._1, "afterRmAssert")
           val rmAnnot = GenericStatementPasses.procStatement(SimplifyAnnotation.simplify)(rmAssert._1, rmAssert._2)
-          debugPrinter(rmAnnot._1, "afterRmAssertAnnot")
+          debugPrinter(rmAnnot._1, "afterRmAnnot")
           val preRmExcepts = GenericStatementPasses.procStatement(SimplifyExceptions.preSimplifyExcepts)(rmAnnot._1, rmAnnot._2)
           debugPrinter(preRmExcepts._1, "afterRmExcepts")
           val rmExcepts = GenericStatementPasses.procStatement(SimplifyExceptions.simplifyExcepts)(preRmExcepts._1, preRmExcepts._2)
@@ -66,8 +66,8 @@ object Transpile {
           debugPrinter(simIf._1, "afterSimplifyIf")
           val simAssList = GenericStatementPasses.procStatement(SimplifyAssignmentList.apply)(simIf._1, simIf._2)
           debugPrinter(simAssList._1, "simplifyAssList")
-          val simAss2Index = GenericStatementPasses.procStatement(SimplifyAssignmentList.apply)(simAssList._1, simAssList._2)
-          debugPrinter(simAssList._1, "simplifyAss2Index")
+          val simAss2Index = GenericStatementPasses.procStatement(SimplifyAssigmentToIndex.simplify)(simAssList._1, simAssList._2)
+          debugPrinter(simAss2Index._1, "simplifyAss2Index")
           val simCompr = GenericStatementPasses.procExprInStatement((SimplifyComprehension.apply))(simAss2Index._1, simAss2Index._2)
           debugPrinter(simCompr._1, "afterSimplifyCollectionComprehension")
           val simForAgain = GenericStatementPasses.procStatement(SimplifyFor.apply)(simCompr._1, simCompr._2)

transpiler/src/test/resources/org/polystat/py2eo/transpiler/simple-tests/simple-statements/annotated-assignment/annotated-1.yaml

@@ -1,8 +1,9 @@
-enabled: False
+enabled: True
 python: | 
   def test():
     class Cls:
-      pass
+      x = 111
+      y = 11
   
     c = Cls()
     c.x: int = 0  # Annotates c.x with int.

transpiler/src/test/resources/org/polystat/py2eo/transpiler/simple-tests/simple-statements/annotated-assignment/annotated-2.yaml

@@ -1,4 +1,4 @@
-enabled: False
+enabled: True
 python: | 
   def test():
     d = {}