{
  "isError" : false,
  "request" : {
    "name" : "area",
    "override" : true,
    "pure" : true,
    "returnType" : "Float",
    "statements" : [ "rtn: side * side" ],
    "symbol" : "Square"
  },
  "response" : {
    "conflicts" : [ ],
    "edits" : [ {
      "after" : "\n      override area() as pure\n        <- rtn as Float?\n        rtn: side * side",
      "endLine" : 23,
      "file" : "task.ek9",
      "startLine" : 23,
      "type" : "insert"
    } ],
    "meta" : {
      "serverMs" : "<timing>"
    },
    "resolvedPath" : "<workspace-root>/task.ek9",
    "risk" : {
      "crossesModuleBoundary" : false,
      "estimatedSeverity" : "trivial",
      "fileCount" : 1,
      "lineCount" : 1,
      "touchesPublicApi" : false,
      "touchesTests" : false
    },
    "status" : "applied",
    "summary" : "Added method 'area' to Square",
    "workspaceHash" : "<workspace-hash>",
    "wouldBeDiagnostics" : [ ],
    "written" : true
  },
  "scenario" : "one_of_two_trait_members_is_progress",
  "tool" : "add_method"
}