tests/sav/nitsaf_args9.res

   1 16: {a: 16} out of TInteger
   2 16: {a: 16} out of AIntegerExpr
   3 16: {a: 16} out of AVardeclExpr
   4 17: {a: 16} out of TId
   5 17: {a: 16} out of TAssign
   6 17: {a: 17} out of TInteger
   7 17: {a: 17} out of AIntegerExpr
   8 17: {a: 17} out of AVarAssignExpr
   9 18: {a: 17} out of AImplicitSelfExpr
  10 18: {a: 17} out of TId
  11 18: {a: 17} out of AQid
  12 18: {a: 17} out of TId
  13 18: {a: 17} out of AVarExpr
  14 18: {a: 17} out of AListExprs
  15 18: {a: 17} out of ACallExpr
  16 19: {a: 17} out of TKwend
  17 19: {a: 17} out of ABlockExpr
  18 19: {a: 17} out of AMethPropdef
  19 19: {a: 17} out of ATopClassdef
  20 21: {a: 21}, {b: 21} out of APublicVisibility
  21 21: {a: 21}, {b: 21} out of TKwmeth
  22 21: {a: 21}, {b: 21} out of TId
  23 21: {a: 21}, {b: 21} out of AIdMethid
  24 21: {a: 21}, {b: 21} out of TOpar
  25 21: {a: 21}, {b: 21} out of TId
  26 21: {a: 21}, {b: 21} out of AParam
  27 21: {a: 21}, {b: 21} out of TId
  28 21: {a: 21}, {b: 21} out of TClassid
  29 21: {a: 21}, {b: 21} out of AQclassid
  30 21: {a: 21}, {b: 21} out of AType
  31 21: {a: 21}, {b: 21} out of AParam
  32 21: {a: 21}, {b: 21} out of TCpar
  33 21: {a: 21}, {b: 21} out of ASignature
  34 21: {a: 21}, {b: 21} out of TKwdo
  35 22: {a: 21}, {b: 21} out of TId
  36 22: {a: 21}, {b: 21} out of AVarExpr
  37 22: {a: 21}, {b: 21} out of TEq
  38 22: {a: 21}, {b: 21} out of TId
  39 22: {a: 21}, {b: 21} out of AVarExpr
  40 22: {a: 21}, {b: 21} out of AEqExpr
  41 23: {a: 21}, {b: 21} out of TKwvar
  42 23: {a: 21}, {b: 21} out of TId
  43 23: {a: 21}, {b: 21} out of TAssign
  44 23: {a: 21}, {b: 21}, {c: 23} out of TInteger
  45 23: {a: 21}, {b: 21}, {c: 23} out of AIntegerExpr
  46 23: {a: 21}, {b: 21}, {c: 23} out of AVardeclExpr
  47 24: {a: 21}, {b: 21}, {c: 23} out of TId
  48 24: {a: 21}, {b: 21}, {c: 23} out of TAssign
  49 24: {a: 21}, {b: 24}, {c: 23} out of TId
  50 24: {a: 21}, {b: 24}, {c: 23} out of AVarExpr
  51 24: {a: 21}, {b: 24}, {c: 23} out of AVarAssignExpr
  52 24: {a: 21}, {b: 24}, {c: 23} out of ABlockExpr
  53 25: {a: 21}, {b: 21} out of TKwend
  54 25: {a: 21}, {b: 21} out of ABlockExpr
  55 26: {a: 21}, {b: 21}, {b: 24}, {c: 23} out of AImplicitSelfExpr
  56 26: {a: 21}, {b: 21}, {b: 24}, {c: 23} out of TId
  57 26: {a: 21}, {b: 21}, {b: 24}, {c: 23} out of AQid
  58 26: {a: 21}, {b: 21}, {b: 24}, {c: 23} out of TId
  59 26: {a: 21}, {b: 21}, {b: 24}, {c: 23} out of AVarExpr
  60 26: {a: 21}, {b: 21}, {b: 24}, {c: 23} out of AListExprs
  61 26: {a: 21}, {b: 21}, {b: 24}, {c: 23} out of ACallExpr
  62 27: {a: 21}, {b: 21}, {b: 24}, {c: 23} out of TKwend
  63 27: {a: 21}, {b: 21}, {b: 24}, {c: 23} out of ABlockExpr
  64 27: {a: 21}, {b: 21}, {b: 24}, {c: 23} out of AMethPropdef
  65 27: {a: 21}, {b: 21}, {b: 24}, {c: 23} out of ATopClassdef
  66 32: {z: 32} out of AListExprs
  67 32: {z: 32} out of ACallExpr
  68 32: {z: 32} out of AVardeclExpr
  69 33: {z: 32} out of AImplicitSelfExpr
  70 33: {z: 32} out of TId
  71 33: {z: 32} out of AQid
  72 33: {z: 32} out of TId
  73 33: {z: 32} out of AVarExpr
  74 33: {z: 32} out of AListExprs
  75 33: {z: 32} out of ACallExpr
  76 33: {z: 32} out of ABlockExpr
  77 33: {z: 32} out of AMainMethPropdef
  78 33: {z: 32} out of AMainClassdef
  79 33: {z: 32} out of AModule