catch-empty-slot.json

{"codeAttributes":[{"clazz":"PartialEvaluatorDummy","method":"test()Ljava/lang/Object;","instructions":[{"offset":0,"instruction":"ldc #7"},{"offset":2,"instruction":"astore_0 v0"},{"offset":3,"instruction":"aload_1 v1"},{"offset":4,"instruction":"areturn"}],"parameters":["a","empty"],"blockEvaluations":[{"startOffset":0,"evaluations":[{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"ldc #7","instructionOffset":0,"variablesBefore":["a","empty"],"stackBefore":[]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"astore_0 v0","instructionOffset":2,"variablesBefore":["a","empty"],"stackBefore":["a"]},{"skipEvaluation":false,"isGeneralization":false,"evaluationCount":0,"instruction":"aload_1 v1","instructionOffset":3,"variablesBefore":["a","empty"],"stackBefore":[]}],"branchEvaluationStack":[],"startVariables":["a","empty"],"startStack":[]}],"error":{"instructionOffset":3,"message":"Value in slot 1 is empty"}}]}