[ {
  "invoked" : 2,
  "entryPoint" : "h11.MusicStreaming#adjustPrice(double)",
  "arguments" : [ 0 ],
  "calls" : [ ],
  "objects" : [ {
    "type" : "h11.MusicStreaming",
    "fields" : [ {
      "name" : "artists",
      "type" : "java.util.ArrayList",
      "value" : [ ],
      "id" : 1
    }, {
      "name" : "users",
      "type" : "java.util.ArrayList",
      "value" : [ ],
      "id" : 1
    } ],
    "id" : 2
  }, {
    "type" : "java.lang.Double",
    "value" : "0.5",
    "id" : 0
  } ],
  "expected" : {
    "type" : "h11.MusicStreaming",
    "fields" : [ {
      "name" : "artists",
      "type" : "java.util.ArrayList",
      "value" : [ ]
    }, {
      "name" : "users",
      "type" : "java.util.ArrayList",
      "value" : [ ]
    } ]
  }
}, {
  "invoked" : 12,
  "entryPoint" : "h11.MusicStreaming#adjustPrice(double)",
  "arguments" : [ 0 ],
  "calls" : [ {
    "id" : 4,
    "methodCalls" : [ {
      "methodName" : "getPricePerMonth",
      "invocations" : [ {
        "return" : 13,
        "parameter" : [ ]
      } ]
    }, {
      "methodName" : "setPricePerMonth",
      "invocations" : [ {
        "return" : 14,
        "parameter" : [ 2 ]
      } ]
    } ]
  }, {
    "id" : 7,
    "methodCalls" : [ {
      "methodName" : "getPricePerMonth",
      "invocations" : [ {
        "return" : 15,
        "parameter" : [ ]
      } ]
    }, {
      "methodName" : "setPricePerMonth",
      "invocations" : [ {
        "return" : 14,
        "parameter" : [ 6 ]
      } ]
    } ]
  }, {
    "id" : 10,
    "methodCalls" : [ {
      "methodName" : "getPricePerMonth",
      "invocations" : [ {
        "return" : 9,
        "parameter" : [ ]
      } ]
    }, {
      "methodName" : "setPricePerMonth",
      "invocations" : [ {
        "return" : 14,
        "parameter" : [ 9 ]
      } ]
    } ]
  } ],
  "objects" : [ {
    "type" : "h11.MusicStreaming",
    "fields" : [ {
      "name" : "artists",
      "type" : "java.util.ArrayList",
      "value" : [ ],
      "id" : 3
    }, {
      "name" : "users",
      "type" : "java.util.ArrayList",
      "value" : [ {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 0",
          "id" : 8
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "0.0",
          "id" : 9
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ],
          "id" : 3
        } ],
        "id" : 10
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 5",
          "id" : 5
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "7.5",
          "id" : 6
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ],
          "id" : 3
        } ],
        "id" : 7
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 10",
          "id" : 1
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "15.0",
          "id" : 2
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ],
          "id" : 3
        } ],
        "id" : 4
      } ],
      "id" : 11
    } ],
    "id" : 12
  }, {
    "type" : "java.lang.Double",
    "value" : "10.0",
    "id" : 13
  }, {
    "type" : "java.lang.Double",
    "value" : "5.0",
    "id" : 15
  }, {
    "type" : "java.lang.Double",
    "value" : "0.5",
    "id" : 0
  }, {
    "type" : "null",
    "id" : 14
  } ],
  "expected" : {
    "type" : "h11.MusicStreaming",
    "fields" : [ {
      "name" : "artists",
      "type" : "java.util.ArrayList",
      "value" : [ ]
    }, {
      "name" : "users",
      "type" : "java.util.ArrayList",
      "value" : [ {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 0"
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "0.0"
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ]
        } ]
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 5"
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "7.5"
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ]
        } ]
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 10"
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "15.0"
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ]
        } ]
      } ]
    } ]
  }
}, {
  "invoked" : 12,
  "entryPoint" : "h11.MusicStreaming#adjustPrice(double)",
  "arguments" : [ 0 ],
  "calls" : [ {
    "id" : 4,
    "methodCalls" : [ {
      "methodName" : "getPricePerMonth",
      "invocations" : [ {
        "return" : 13,
        "parameter" : [ ]
      } ]
    }, {
      "methodName" : "setPricePerMonth",
      "invocations" : [ {
        "return" : 14,
        "parameter" : [ 2 ]
      } ]
    } ]
  }, {
    "id" : 10,
    "methodCalls" : [ {
      "methodName" : "getPricePerMonth",
      "invocations" : [ {
        "return" : 15,
        "parameter" : [ ]
      } ]
    }, {
      "methodName" : "setPricePerMonth",
      "invocations" : [ {
        "return" : 14,
        "parameter" : [ 9 ]
      } ]
    } ]
  }, {
    "id" : 7,
    "methodCalls" : [ {
      "methodName" : "getPricePerMonth",
      "invocations" : [ {
        "return" : 6,
        "parameter" : [ ]
      } ]
    }, {
      "methodName" : "setPricePerMonth",
      "invocations" : [ {
        "return" : 14,
        "parameter" : [ 6 ]
      } ]
    } ]
  } ],
  "objects" : [ {
    "type" : "h11.MusicStreaming",
    "fields" : [ {
      "name" : "artists",
      "type" : "java.util.ArrayList",
      "value" : [ ],
      "id" : 3
    }, {
      "name" : "users",
      "type" : "java.util.ArrayList",
      "value" : [ {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 0",
          "id" : 5
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "0.0",
          "id" : 6
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ],
          "id" : 3
        } ],
        "id" : 7
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 5",
          "id" : 1
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "30.0",
          "id" : 2
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ],
          "id" : 3
        } ],
        "id" : 4
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 10",
          "id" : 8
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "60.0",
          "id" : 9
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ],
          "id" : 3
        } ],
        "id" : 10
      } ],
      "id" : 11
    } ],
    "id" : 12
  }, {
    "type" : "java.lang.Double",
    "value" : "10.0",
    "id" : 15
  }, {
    "type" : "java.lang.Double",
    "value" : "5.0",
    "id" : 13
  }, {
    "type" : "java.lang.Integer",
    "value" : "5",
    "id" : 0
  }, {
    "type" : "null",
    "id" : 14
  } ],
  "expected" : {
    "type" : "h11.MusicStreaming",
    "fields" : [ {
      "name" : "artists",
      "type" : "java.util.ArrayList",
      "value" : [ ]
    }, {
      "name" : "users",
      "type" : "java.util.ArrayList",
      "value" : [ {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 0"
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "0.0"
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ]
        } ]
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 5"
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "30.0"
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ]
        } ]
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 10"
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "60.0"
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ]
        } ]
      } ]
    } ]
  }
}, {
  "invoked" : 12,
  "entryPoint" : "h11.MusicStreaming#adjustPrice(double)",
  "arguments" : [ 0 ],
  "calls" : [ {
    "id" : 4,
    "methodCalls" : [ {
      "methodName" : "getPricePerMonth",
      "invocations" : [ {
        "return" : 2,
        "parameter" : [ ]
      } ]
    }, {
      "methodName" : "setPricePerMonth",
      "invocations" : [ {
        "return" : 13,
        "parameter" : [ 2 ]
      } ]
    } ]
  }, {
    "id" : 10,
    "methodCalls" : [ {
      "methodName" : "getPricePerMonth",
      "invocations" : [ {
        "return" : 14,
        "parameter" : [ ]
      } ]
    }, {
      "methodName" : "setPricePerMonth",
      "invocations" : [ {
        "return" : 13,
        "parameter" : [ 9 ]
      } ]
    } ]
  }, {
    "id" : 7,
    "methodCalls" : [ {
      "methodName" : "getPricePerMonth",
      "invocations" : [ {
        "return" : 9,
        "parameter" : [ ]
      } ]
    }, {
      "methodName" : "setPricePerMonth",
      "invocations" : [ {
        "return" : 13,
        "parameter" : [ 6 ]
      } ]
    } ]
  } ],
  "objects" : [ {
    "type" : "h11.MusicStreaming",
    "fields" : [ {
      "name" : "artists",
      "type" : "java.util.ArrayList",
      "value" : [ ],
      "id" : 3
    }, {
      "name" : "users",
      "type" : "java.util.ArrayList",
      "value" : [ {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 0",
          "id" : 1
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "0.0",
          "id" : 2
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ],
          "id" : 3
        } ],
        "id" : 4
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 5",
          "id" : 5
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "2.5",
          "id" : 6
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ],
          "id" : 3
        } ],
        "id" : 7
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 10",
          "id" : 8
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "5.0",
          "id" : 9
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ],
          "id" : 3
        } ],
        "id" : 10
      } ],
      "id" : 11
    } ],
    "id" : 12
  }, {
    "type" : "java.lang.Double",
    "value" : "10.0",
    "id" : 14
  }, {
    "type" : "java.lang.Double",
    "value" : "-0.5",
    "id" : 0
  }, {
    "type" : "null",
    "id" : 13
  } ],
  "expected" : {
    "type" : "h11.MusicStreaming",
    "fields" : [ {
      "name" : "artists",
      "type" : "java.util.ArrayList",
      "value" : [ ]
    }, {
      "name" : "users",
      "type" : "java.util.ArrayList",
      "value" : [ {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 0"
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "0.0"
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ]
        } ]
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 5"
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "2.5"
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ]
        } ]
      }, {
        "type" : "h11.User",
        "fields" : [ {
          "name" : "username",
          "type" : "java.lang.String",
          "value" : "Username 10"
        }, {
          "name" : "pricePerMonth",
          "type" : "java.lang.Double",
          "value" : "5.0"
        }, {
          "name" : "playingHistory",
          "type" : "java.util.ArrayList",
          "value" : [ ]
        } ]
      } ]
    } ]
  }
} ]