public JsonMutantLocation(FileLinePositionSpan location) { Start = new JsonMutantPosition { Line = location.StartLinePosition.Line + 1, Column = location.StartLinePosition.Character + 1 }; End = new JsonMutantPosition { Line = location.EndLinePosition.Line + 1, Column = location.EndLinePosition.Character + 1 }; }
public JsonMutantLocation(JsonMutantPosition start, JsonMutantPosition end) { Start = start; End = end; }