var clover = new Object();

// JSON: {classes : [{name, id, sl, el,  methods : [{sl, el}, ...]}, ...]}
clover.pageData = {"classes":[{"el":46,"id":5644,"methods":[{"el":35,"sc":5,"sl":32},{"el":45,"sc":5,"sl":37}],"name":"RecordStateInvalidDefaultReturnValueTest","sl":28}]}

// JSON: {test_ID : {"methods": [ID1, ID2, ID3...], "name" : "testXXX() void"}, ...};
clover.testTargets = {"test_503":{"methods":[{"sl":37}],"name":"setInvalidStubReturnValue","pass":true,"statements":[{"sl":39},{"sl":40},{"sl":43}]},"test_874":{"methods":[{"sl":37}],"name":"setInvalidStubReturnValue","pass":true,"statements":[{"sl":39},{"sl":40},{"sl":43}]}}

// JSON: { lines : [{tests : [testid1, testid2, testid3, ...]}, ...]};
clover.srcFileLines = [[], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [], [503, 874], [], [503, 874], [503, 874], [], [], [503, 874], [], [], []]
