--[[
	This module defines the meat of the Rojo plugin and how it manages tracking
	and mutating the Roblox DOM.
]]

local RbxDom = require(script.Parent.Parent.RbxDom)
local t = require(script.Parent.Parent.t)

local Types = require(script.Parent.Types)
local invariant = require(script.Parent.invariant)
local getCanonicalProperty = require(script.Parent.getCanonicalProperty)
local setCanonicalProperty = require(script.Parent.setCanonicalProperty)
local PatchSet = require(script.Parent.PatchSet)

--[[
	Attempt to safely set the parent of an instance.

	This function will always succeed, even if the actual set failed. This is
	important for some types like services that will throw even if their current
	parent is already set to the requested parent.

	TODO: See if we can eliminate this by being more nuanced with property
	assignment?
]]
local function safeSetParent(instance, newParent)
	pcall(function()
		instance.Parent = newParent
	end)
end

--[[
	Similar to setting Parent, some instances really don't like being renamed.

	TODO: Should we be throwing away these results or can we be more careful?
]]
local function safeSetName(instance, name)
	pcall(function()
		instance.Name = name
	end)
end

local Reconciler = {}
Reconciler.__index = Reconciler

function Reconciler.new(instanceMap)
	local self = {
		-- Tracks all of the instances known by the reconciler by ID.
		__instanceMap = instanceMap,
	}

	return setmetatable(self, Reconciler)
end

--[[
	See Reconciler:__hydrateInternal().
]]
function Reconciler:hydrate(apiInstances, id, instance)
	local hydratePatch = {
		removed = {},
		added = {},
		updated = {},
	}

	self:__hydrateInternal(apiInstances, id, instance, hydratePatch)

	return hydratePatch
end

--[[
	Applies a patch to the Roblox DOM using the reconciler's internal state.

	TODO: This function might only apply some of the patch in the future and
	require content negotiation with the Rojo server to handle types that aren't
	editable by scripts.
]]
local applyPatchSchema = Types.ifEnabled(t.tuple(
	PatchSet.validate
))
function Reconciler:applyPatch(patch)
	assert(applyPatchSchema(patch))

	for _, removedIdOrInstance in ipairs(patch.removed) do
		local removedInstance

		if Types.RbxId(removedIdOrInstance) then
			-- If this value is an ID, it's assumed to be an instance that the
			-- Rojo server knows about.
			removedInstance = self.__instanceMap.fromIds[removedIdOrInstance]
			self.__instanceMap:removeId(removedIdOrInstance)
		end

		-- If this entry was an ID that we didn't know about, removedInstance
		-- will be nil, which we guard against in case of minor tree desync.
		if removedInstance ~= nil then
			-- Ensure that if any descendants are tracked by Rojo, that we
			-- properly un-track them.
			for _, descendantInstance in ipairs(removedInstance:GetDescendants()) do
				self.__instanceMap:removeInstance(descendantInstance)
			end

			removedInstance:Destroy()
		end
	end

	-- TODO: This loop assumes that apiInstance.ParentId is never nil. The Rojo
	-- plugin can't create a new top-level DataModel anyways, so this should
	-- only be violated in cases that are already erroneous.
	for id, apiInstance in pairs(patch.added) do
		if self.__instanceMap.fromIds[id] == nil then
			-- Find the first ancestor of this instance that is marked for an
			-- addition.
			--
			-- This helps us make sure we only reify each instance once, and we
			-- start from the top.
			while patch.added[apiInstance.Parent] ~= nil do
				id = apiInstance.Parent
				apiInstance = patch.added[id]
			end

			local parentInstance = self.__instanceMap.fromIds[apiInstance.Parent]

			if parentInstance == nil then
				invariant(
					"Cannot add an instance from a patch that has no parent.\nInstance {} with parent {}.\nState: {:#?}",
					id,
					apiInstance.Parent,
					self.__instanceMap
				)
			end

			self:__reifyInstance(patch.added, id, parentInstance)
		end
	end

	for _, update in ipairs(patch.updated) do
		local instance = self.__instanceMap.fromIds[update.id]

		if instance == nil then
			invariant(
				"Cannot update an instance that does not exist in the reconciler's state.\nInstance {}\nState: {:#?}",
				update.id,
				self.__instanceMap
			)
		end

		if update.changedClassName ~= nil then
			error("TODO: Support changing class name by destroying + recreating instance.")
		end

		if update.changedName ~= nil then
			instance.Name = update.changedName
		end

		if update.changedMetadata ~= nil then
			print("TODO: Support changing metadata, if necessary.")
		end

		if update.changedProperties ~= nil then
			for propertyName, propertyValue in pairs(update.changedProperties) do
				-- TODO: Gracefully handle this error instead?
				assert(setCanonicalProperty(instance, propertyName, self:__decodeApiValue(propertyValue)))
			end
		end
	end
end

--[[
	Transforms a value into one that can be sent over the network back to the
	Rojo server.

	This operation can fail, and so it returns bool, value.
]]
function Reconciler:encodeApiValue(value)
	if typeof(value) == "string" then
		return true, {
			Type = "String",
			Value = value,
		}
	end

	return false
end

--[[
	Transforms a value encoded by rbx_dom_weak on the server side into a value
	usable by Rojo's reconciler, potentially using RbxDom.
]]
function Reconciler:__decodeApiValue(apiValue)
	assert(Types.ApiValue(apiValue))

	-- Refs are represented as IDs in the same space that Rojo's protocol uses.
	if apiValue.Type == "Ref" then
		-- TODO: This ref could be pointing at an instance we haven't created
		-- yet!

		return self.__instanceMap.fromIds[apiValue.Value]
	end

	local success, decodedValue = RbxDom.EncodedValue.decode(apiValue)

	if not success then
		error(decodedValue, 2)
	end

	return decodedValue
end

--[[
	Constructs an instance from an ApiInstance without any of its children.
]]
local reifySingleInstanceSchema = Types.ifEnabled(t.tuple(
	Types.ApiInstance
))
function Reconciler:__reifySingleInstance(apiInstance)
	assert(reifySingleInstanceSchema(apiInstance))

	-- Instance.new can fail if we're passing in something that can't be
	-- created, like a service, something enabled with a feature flag, or
	-- something that requires higher security than we have.
	local ok, instance = pcall(Instance.new, apiInstance.ClassName)
	if not ok then
		return false, instance
	end

	-- TODO: When can setting Name fail here?
	safeSetName(instance, apiInstance.Name)

	for key, value in pairs(apiInstance.Properties) do
		setCanonicalProperty(instance, key, self:__decodeApiValue(value))
	end

	return true, instance
end

--[[
	Construct an instance and all of its descendants, parent it to the given
	instance, and insert it into the reconciler's internal state.
]]
local reifyInstanceSchema = Types.ifEnabled(t.tuple(
	t.map(Types.RbxId, Types.VirtualInstance),
	Types.RbxId,
	t.Instance
))
function Reconciler:__reifyInstance(apiInstances, id, parentInstance)
	assert(reifyInstanceSchema(apiInstances, id, parentInstance))

	local apiInstance = apiInstances[id]
	local ok, instance = self:__reifySingleInstance(apiInstance)

	-- TODO: Propagate this error upward to handle it elsewhere?
	if not ok then
		error(("Couldn't create an instance of type %q, a child of %s"):format(
			apiInstance.ClassName,
			parentInstance:GetFullName()
		))
	end

	self.__instanceMap:insert(id, instance)

	for _, childId in ipairs(apiInstance.Children) do
		self:__reifyInstance(apiInstances, childId, instance)
	end

	safeSetParent(instance, parentInstance)

	return instance
end

--[[
	Populates the reconciler's internal state, maps IDs to instances that the
	Rojo plugin knows about, and generates a patch that would update the Roblox
	tree to match Rojo's view of the tree.
]]
local hydrateSchema = Types.ifEnabled(t.tuple(
	t.map(Types.RbxId, Types.VirtualInstance),
	Types.RbxId,
	t.Instance,
	PatchSet.validate
))
function Reconciler:__hydrateInternal(apiInstances, id, instance, hydratePatch)
	assert(hydrateSchema(apiInstances, id, instance, hydratePatch))

	self.__instanceMap:insert(id, instance)

	local apiInstance = apiInstances[id]

	local function markIdAdded(id)
		local apiInstance = apiInstances[id]
		hydratePatch.added[id] = apiInstance

		for _, childId in ipairs(apiInstance.Children) do
			markIdAdded(childId)
		end
	end

	local changedName = nil
	local changedProperties = {}

	if apiInstance.Name ~= instance.Name then
		changedName = apiInstance.Name
	end

	for propertyName, virtualValue in pairs(apiInstance.Properties) do
		local success, existingValue = getCanonicalProperty(instance, propertyName)

		if success then
			local decodedValue = self:__decodeApiValue(virtualValue)

			if existingValue ~= decodedValue then
				changedProperties[propertyName] = virtualValue
			end
		end
	end

	-- If any properties differed from the virtual instance we read, add it to
	-- the hydrate patch so that we can catch up.
	if changedName ~= nil or next(changedProperties) ~= nil then
		table.insert(hydratePatch.updated, {
			id = id,
			changedName = changedName,
			changedClassName = nil,
			changedProperties = changedProperties,
			changedMetadata = nil,
		})
	end

	local existingChildren = instance:GetChildren()

	-- For each existing child, we'll track whether it's been paired with an
	-- instance that the Rojo server knows about.
	local isExistingChildVisited = {}
	for i = 1, #existingChildren do
		isExistingChildVisited[i] = false
	end

	for _, childId in ipairs(apiInstance.Children) do
		local apiChild = apiInstances[childId]

		local childInstance

		for childIndex, instance in ipairs(existingChildren) do
			if not isExistingChildVisited[childIndex] then
				-- We guard accessing Name and ClassName in order to avoid
				-- tripping over children of DataModel that Rojo won't have
				-- permissions to access at all.
				local ok, name, className = pcall(function()
					return instance.Name, instance.ClassName
				end)

				-- This rule is very conservative and could be loosened in the
				-- future, or more heuristics could be introduced.
				if ok and name == apiChild.Name and className == apiChild.ClassName then
					childInstance = instance
					isExistingChildVisited[childIndex] = true
					break
				end
			end
		end

		if childInstance ~= nil then
			-- We found an instance that matches the instance from the API, yay!
			self:__hydrateInternal(apiInstances, childId, childInstance, hydratePatch)
		else
			markIdAdded(childId)
		end
	end

	-- Any unvisited children at this point aren't known by Rojo and we can
	-- destroy them unless the user has explicitly asked us to preserve children
	-- of this instance.
	local shouldClearUnknown = self:__shouldClearUnknownChildren(apiInstance)
	if shouldClearUnknown then
		for childIndex, visited in ipairs(isExistingChildVisited) do
			if not visited then
				table.insert(hydratePatch.removed, existingChildren[childIndex])
			end
		end
	end
end

function Reconciler:__shouldClearUnknownChildren(apiInstance)
	if apiInstance.Metadata ~= nil then
		return not apiInstance.Metadata.ignoreUnknownInstances
	else
		return true
	end
end

return Reconciler