--created by Chahine, coded by Lyris
--Not yet finalized values
--Custom constants
EFFECT_STAGE						=388		--
EFFECT_CANNOT_BE_EVOLUTE_MATERIAL	=389	 --
EFFECT_EXTRA_EVOLUTE_MATERIAL		=390
EFFECT_EVOLUTE_LEVEL				=391
EFFECT_MUST_BE_EVOLUTE_MATERIAL		=392
EFFECT_CONVERGENT_EVOLUTE			=393
TYPE_EVOLUTE						=0x100000000
TYPE_CUSTOM							=TYPE_CUSTOM|TYPE_EVOLUTE
CTYPE_EVOLUTE						=0x1
CTYPE_CUSTOM						=CTYPE_CUSTOM|CTYPE_EVOLUTE

SUMMON_TYPE_EVOLUTE					=SUMMON_TYPE_SPECIAL+388

REASON_EVOLUTE						=0x10000000

--Custom Type Table
Auxiliary.Evolutes={} --number as index = card, card as index = function() is_xyz
table.insert(aux.CannotBeEDMatCodes,EFFECT_CANNOT_BE_EVOLUTE_MATERIAL)

--overwrite constants
TYPE_EXTRA							=TYPE_EXTRA|TYPE_EVOLUTE

--overwrite functions
local get_type, get_orig_type, get_prev_type_field = Card.GetType, Card.GetOriginalType, Card.GetPreviousTypeOnField

Card.GetType=function(c,scard,sumtype,p)
	local tpe=scard and get_type(c,scard,sumtype,p) or get_type(c)
	if Auxiliary.Evolutes[c] then
		tpe=tpe|TYPE_EVOLUTE
		if not Auxiliary.Evolutes[c]() then
			tpe=tpe&~TYPE_XYZ
		end
	end
	return tpe
end
Card.GetOriginalType=function(c)
	local tpe=get_orig_type(c)
	if Auxiliary.Evolutes[c] then
		tpe=tpe|TYPE_EVOLUTE
		if not Auxiliary.Evolutes[c]() then
			tpe=tpe&~TYPE_XYZ
		end
	end
	return tpe
end
Card.GetPreviousTypeOnField=function(c)
	local tpe=get_prev_type_field(c)
	if Auxiliary.Evolutes[c] then
		tpe=tpe|TYPE_EVOLUTE
		if not Auxiliary.Evolutes[c]() then
			tpe=tpe&~TYPE_XYZ
		end
	end
	return tpe
end

--Custom Functions
function Card.GetOriginalStage(c)
	if not Auxiliary.Evolutes[c] then return 0 end
	local te=c:IsHasEffect(EFFECT_STAGE)
	if type(te:GetValue())=='function' then
		return te:GetValue()(te,c)
	else
		return te:GetValue()
	end
end
function Card.GetStage(c)
	if not Auxiliary.Evolutes[c] or (c:IsLocation(LOCATION_MZONE) and c:GetEC()==0) then return 0 end
	local te=c:IsHasEffect(EFFECT_STAGE)
	if type(te:GetValue())=='function' then
		return te:GetValue()(te,c)
	else
		return te:GetValue()
	end
end
function Card.IsStage(c,...)
	for stage in pairs({...}) do
		if c:GetStage()==stage then return true end
	end
	return false
end
function Card.IsStageAbove(c,stage)
	return c:GetStage()>=stage
end
function Card.IsStageBelow(c,stage)
	local stg=c:GetStage()
	return stg>0 and stg<=stage
end
GLOBAL_E_COUNTER={0,0}
GLOBAL_E_COUNTER[0]=0
GLOBAL_E_COUNTER[1]=0
function Auxiliary.AddECounter(p,ct)
	GLOBAL_E_COUNTER[p]=GLOBAL_E_COUNTER[p]+ct
	Duel.Hint(HINT_NUMBER,p,GLOBAL_E_COUNTER[p])
	Duel.Hint(HINT_NUMBER,1-p,GLOBAL_E_COUNTER[p])
	--TODO: Figure out how to make this work?
	--Duel.Hint(HINT_MESSAGE,p,1550,GLOBAL_E_COUNTER[p])
	--Duel.Hint(HINT_MESSAGE,1-p,1550,GLOBAL_E_COUNTER[p])
end
function Auxiliary.GetECounter(p)
	return GLOBAL_E_COUNTER[p]
end
function Card.AddEC(c,ct,p)
	c:AddCounter(0x1088,ct)
	if p then Auxiliary.AddECounter(p,ct) end
	--TODO: Remove once all Evolutes are updated
	--c:AddCounter(0x88,ct)
end
function Card.GetEC(c)
	return c:GetCounter(0x1088)
end
function Card.RefillEC(c)
	local val=0
	if c:IsHasEffect(EFFECT_CONVERGENT_EVOLUTE) then
		local cone={c:IsHasEffect(EFFECT_CONVERGENT_EVOLUTE)}
		for _,te in ipairs(cone) do
			val = val+te:GetValue()
		end
	else
		val = c:GetStage() - c:GetEC()
	end
	c:AddEC(val,c:GetControler())
	return val
end
function Card.IsCanRemoveEC(c,p,ct,r)
--  if Auxiliary.GetECounter(p)>=ct then return true end
	return c:IsCanRemoveCounter(p,0x1088,ct,REASON_COST)
end
function Duel.IsCanRemoveEC(p,s,o,ct,r)
--  if Auxiliary.GetECounter(p)>=ct then return true end
	return Duel.IsCanRemoveCounter(p,s,o,0x1088,ct,r)
end
function Card.RemoveEC(c,p,ct,r)
	if Auxiliary.GetECounter(p)>0 then
		Auxiliary.AddECounter(p,-ct)
	end
	if ct>0 then c:RemoveCounter(p,0x1088,ct,r) end
end
function Duel.RemoveEC(p,s,o,ct,r)
	if Auxiliary.GetECounter(p)>=ct then
		Auxiliary.AddECounter(p,-ct)
	end
	if ct>0 then Duel.RemoveCounter(p,s,o,0x1088,ct,r) end
end
function Card.IsCanBeEvoluteMaterial(c,ec)
	if c:IsControler(1-ec:GetControler()) or not c:IsLocation(LOCATION_MZONE) or (not c:IsHasEffect(EFFECT_EVOLUTE_LEVEL) and c:GetLevel()<=0 and c:GetRank()<=0 and not c:IsStatus(STATUS_NO_LEVEL)) then
		local tef1={c:IsHasEffect(EFFECT_EXTRA_EVOLUTE_MATERIAL,tp)}
		local tef1alt={ec:IsHasEffect(EFFECT_EXTRA_EVOLUTE_MATERIAL,tp)}
		local ValidSubstitute=false
		for _,te1 in ipairs(tef1) do
			local con=te1:GetCondition()
			local val=te1:GetValue()
			if (not con or con(c,ec,1)) and (not val or type(val)=="number" or (type(val)=="function" and val(te1,ec))) then ValidSubstitute=true end
		end
		for _,te1alt in ipairs(tef1alt) do
			local val=te1alt:GetValue()
			if not val or type(val)=="number" or (type(val)=="function" and val(te1alt,c)) then ValidSubstitute=true end
		end
		if not ValidSubstitute then return false end
	else
		if c:IsFacedown() then return false end
	end
	local tef2={c:IsHasEffect(EFFECT_CANNOT_BE_EVOLUTE_MATERIAL)}
	for _,te2 in ipairs(tef2) do
		local tev=te2:GetValue()
		if type(tev)=='function' then
			if tev(te2,ec) then return false end
		elseif tev~=0 then return false end
	end
	return true
end
function Auxiliary.AddOrigEvoluteType(c,isxyz)
	table.insert(Auxiliary.Evolutes,c)
	Auxiliary.Customs[c]=true
	local isxyz=isxyz==nil and false or isxyz
	Auxiliary.Evolutes[c]=function() return isxyz end
end
function Auxiliary.AddEvoluteProc(c,echeck,stage,...)
	--echeck - extra check after everything is settled, stage - Evolute "level"
	--... format - any number of materials + optional material - min, max (min can be 0, max can be nil which will set it to 99)	use aux.TRUE for generic materials
	if c:IsStatus(STATUS_COPYING_EFFECT) then return end
	local t={...}
	local list={}
	local min,max,gcheck
	if type(t[#t])=='function' then
		gcheck=t[#t]
		table.remove(t)
	end
	for i=1,#t do
		if type(t[#t])=='number' then
			max=t[#t]
			table.remove(t)
			if type(t[#t])=='number' then
				min=t[#t]
				table.remove(t)
			else
				min=max
				max=99
			end
			table.insert(list,{t[#t],min,max})
			table.remove(t)
		end
		if #t<2 then break end
	end
	--local r1=Effect.CreateEffect(c)
	--r1:SetType(EFFECT_TYPE_SINGLE)
	--r1:SetProperty(EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_UNCOPYABLE)
	--r1:SetCode(EFFECT_CANNOT_TURN_SET)
	---r1:SetRange(LOCATION_MZONE)
	--c:RegisterEffect(r1)
	local e0a=Effect.CreateEffect(c)
	e0a:SetType(EFFECT_TYPE_SINGLE+EFFECT_TYPE_CONTINUOUS)
	e0a:SetCode(EVENT_FLIP)
	e0a:SetProperty(EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_UNCOPYABLE)
	e0a:SetOperation(Auxiliary.RestoreEC)
	c:RegisterEffect(e0a)
	local e0b=Effect.CreateEffect(c)
	e0b:SetType(EFFECT_TYPE_FIELD+EFFECT_TYPE_CONTINUOUS)
	e0b:SetCode(EVENT_ADJUST)
	e0b:SetRange(LOCATION_MZONE)
	e0b:SetProperty(EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_UNCOPYABLE)
	e0b:SetLabelObject(e0a)
	e0b:SetOperation(Auxiliary.StoreEC)
	c:RegisterEffect(e0b)
	local e0c=e0b:Clone()
	e0c:SetCode(EVENT_CHAIN_SOLVED)
	c:RegisterEffect(e0c)
	local e1=Effect.CreateEffect(c)
	e1:SetType(EFFECT_TYPE_SINGLE)
	e1:SetProperty(EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_UNCOPYABLE)
	e1:SetCode(EFFECT_STAGE)
	e1:SetValue(Auxiliary.StageVal(stage))
	c:RegisterEffect(e1)
	local e2=Effect.CreateEffect(c)
	e2:SetType(EFFECT_TYPE_FIELD)
	e2:SetCode(EFFECT_SPSUMMON_PROC)
	e2:SetProperty(EFFECT_FLAG_UNCOPYABLE+EFFECT_FLAG_CANNOT_DISABLE)
	e2:SetRange(LOCATION_EXTRA)
	e2:SetCondition(Auxiliary.EvoluteCondition(echeck,extramat,min,max,gcheck,table.unpack(list)))
	e2:SetTarget(Auxiliary.EvoluteTarget(echeck,extramat,min,max,gcheck,table.unpack(list)))
	e2:SetOperation(Auxiliary.EvoluteOperation)
	e2:SetValue(SUMMON_TYPE_EVOLUTE)
	c:RegisterEffect(e2)
	if type(echeck)=='string' and echeck=="Convergent" then
		local e3=Effect.CreateEffect(c)
		e3:SetType(EFFECT_TYPE_SINGLE)
		e3:SetCode(EFFECT_CONVERGENT_EVOLUTE)
		c:RegisterEffect(e3)
	end
	if not Evochk then
		Evochk=true
		local ge1=Effect.CreateEffect(c)
		ge1:SetType(EFFECT_TYPE_FIELD+EFFECT_TYPE_CONTINUOUS)
		ge1:SetProperty(EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_IGNORE_IMMUNE)
		ge1:SetCode(EVENT_SPSUMMON_SUCCESS)
		ge1:SetOperation(Auxiliary.EvoluteCounter)
		Duel.RegisterEffect(ge1,0)
		local ge2=Effect.GlobalEffect()
		ge2:SetType(EFFECT_TYPE_FIELD)
		ge2:SetProperty(EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_IGNORE_IMMUNE)
		ge2:SetCode(EFFECT_COUNTER_PERMIT+0x88)
		ge2:SetTarget(function(e,c) return c:IsType(TYPE_EVOLUTE) end)
		ge2:SetTargetRange(LOCATION_MZONE,LOCATION_MZONE)
		ge2:SetValue(LOCATION_MZONE)
		Duel.RegisterEffect(ge2,0)
		local ge3=Effect.CreateEffect(c)
		ge3:SetType(EFFECT_TYPE_CONTINUOUS+EFFECT_TYPE_FIELD)
		ge3:SetProperty(EFFECT_FLAG_CANNOT_DISABLE+EFFECT_FLAG_IGNORE_IMMUNE)
		ge3:SetCode(EFFECT_RCOUNTER_REPLACE+0x88)
		ge3:SetCondition(Auxiliary.ECounterUseCon)
		ge3:SetOperation(Auxiliary.ECounterUseOp)
		Duel.RegisterEffect(ge3,0)
		--Cannot be Summoned Face-down
		--local ge4=Effect.CreateEffect(c)
		--ge4:SetType(EFFECT_TYPE_FIELD)
		--ge4:SetProperty(EFFECT_FLAG_PLAYER_TARGET)
		--ge4:SetCode(EFFECT_CANNOT_SPECIAL_SUMMON)
		--ge4:SetTargetRange(1,1)
		--ge4:SetTarget(Auxiliary.FaceDownEvoluteLimit)
		--Duel.RegisterEffect(ge4,tp)
	end
end
--Cannot be Summoned Face-down
-- function Auxiliary.FaceDownEvoluteLimit(e,c,sump,sumtype,sumpos,targetp,se)
-- return (c:IsType(TYPE_EVOLUTE) and (sumpos==POS_FACEDOWN_ATTACK or sumpos==POS_FACEDOWN_DEFENSE))
-- end
function Auxiliary.StoreEC(e)
	local c=e:GetHandler()
	if c:IsFaceup() then
		e:GetLabelObject():SetLabel(c:GetEC())
	end
end
function Auxiliary.RestoreEC(e)
	local v=e:GetLabel()
	if v>0 then e:GetHandler():AddEC(v,tp) end
end
--E-C Replace
function Auxiliary.ECounterUseCon(e,tp,eg,ep,ev,re,r,rp)
	return Auxiliary.GetECounter(tp)>=ev
end
function Auxiliary.ECounterUseOp(e,tp,eg,ep,ev,re,r,rp)
	Auxiliary.AddECounter(tp,-ev)
end
function Auxiliary.StageVal(stage)
	return  function(e,c)
				local stage=stage
				--insert modifications here
				return stage
			end
end
function Card.GetValueForEvolute(c,ec)
	return Auxiliary.EvoluteValue(c,ec)
end
function Auxiliary.EvoluteValue(c,ec)
	local lv=c:GetLevel()
	local rk=c:GetRank()
	if c:IsHasEffect(EFFECT_EVOLUTE_LEVEL) then
		local tef={c:IsHasEffect(EFFECT_EVOLUTE_LEVEL)}
		for _,te in ipairs(tef) do
			return te:GetValue()(te,ec)
		end
	end
	if lv>0 or c:IsStatus(STATUS_NO_LEVEL) then
		return lv+0x10000*rk
	else
		return rk+0x10000*lv
	end
end
function Auxiliary.EvoluteRecursiveFilter(c,tp,sg,mg,ec,ct,minc,maxc,gcheck,...)
	sg:AddCard(c)
	if not (c.EvoFakeMaterial and c.EvoFakeMaterial()) then ct=ct+1 end
	local funs,max,chk={...},0
	for i=1,#funs do
		max=max+funs[i][3]
		if funs[i][1](c) then
			chk=true
		end
	end
	if max>99 then max=99 end
	local res=chk and (not gcheck or gcheck(c,tp,sg,ec,ct,minc,max)) and (Auxiliary.EvoluteCheckGoal(tp,sg,ec,minc,ct,...) or (ct<max and mg:IsExists(Auxiliary.EvoluteRecursiveFilter,1,sg,tp,sg,mg,ec,ct,minc,max,gcheck,...)))
	sg:RemoveCard(c)
	if not (c.EvoFakeMaterial and c.EvoFakeMaterial()) then ct=ct-1 end
	return res
end
function Auxiliary.EvoluteCheckGoal(tp,sg,ec,minc,ct,...)
	local funs,min={...},0
	for i=1,#funs do
		if not sg:IsExists(funs[i][1],funs[i][2],nil) then return false end
		min=min+funs[i][2]
	end
	return ct>=min and (ec:IsHasEffect(EFFECT_CONVERGENT_EVOLUTE) or sg:CheckWithSumEqual(Auxiliary.EvoluteValue,ec:GetStage(),ct,ct,ec)) and Duel.GetLocationCountFromEx(tp,tp,sg,ec)>0
end
function Auxiliary.EvoluteCondition(outdate1,outdate2,min,max,gcheck,...)
	local funs={...}
	return  function(e,c)
				if c==nil then return true end
				if (c:IsType(TYPE_PENDULUM) or c:IsType(TYPE_PANDEMONIUM)) and c:IsFaceup() then return false end
				local tp=c:GetControler()
				local mg=Auxiliary.GetEvoluteMaterials(c,tp,table.unpack(funs))
				return mg:IsExists(Auxiliary.EvoluteRecursiveFilter,1,nil,tp,Group.CreateGroup(),mg,c,0,min,max,gcheck,table.unpack(funs))
			end
end
function Auxiliary.GetEvoluteMaterials(ec,tp,...)
	local mg=Duel.GetMatchingGroup(Card.IsCanBeEvoluteMaterial,tp,LOCATION_MZONE+LOCATION_HAND+LOCATION_GRAVE+LOCATION_SZONE+LOCATION_FZONE,LOCATION_MZONE+LOCATION_HAND+LOCATION_GRAVE+LOCATION_SZONE+LOCATION_FZONE,nil,ec)
	local sg=Group.CreateGroup()
	local funs={...}
	for i=1,#funs do sg:Merge(mg:Filter(funs[i][1],nil)) end
	return sg
end
function Auxiliary.EvoluteTarget(outdate1,outdate2,minc,maxc,gcheck,...)
	local funs={...}
	return  function(e,tp,eg,ep,ev,re,r,rp,chk,c)
				local mg=Auxiliary.GetEvoluteMaterials(c,tp,table.unpack(funs))
				local bg=Group.CreateGroup()
				local ce={Duel.IsPlayerAffectedByEffect(tp,EFFECT_MUST_BE_EVOLUTE_MATERIAL)}
				for _,te in ipairs(ce) do
					local tc=te:GetHandler()
					if tc then bg:AddCard(tc) end
				end
				if #bg>0 then
					Duel.Hint(HINT_SELECTMSG,tp,HINTMSG_LMATERIAL)
					bg:Select(tp,#bg,#bg,nil)
				end
				local sg=Group.CreateGroup()
				sg:Merge(bg)
				local finish=false
				while not (#sg>=maxc) do
					finish=Auxiliary.EvoluteCheckGoal(tp,sg,c,minc,#sg,table.unpack(funs))
					local cg=mg:Filter(Auxiliary.EvoluteRecursiveFilter,sg,tp,sg,mg,c,#sg,minc,maxc,gcheck,table.unpack(funs))
					if #cg==0 then break end
					local cancel=not finish
					Duel.Hint(HINT_SELECTMSG,tp,HINTMSG_TOGRAVE)
					local tc=cg:SelectUnselect(sg,tp,finish,cancel,minc,maxc)
					if not tc then break end
					if not bg:IsContains(tc) then
						if not sg:IsContains(tc) then
							sg:AddCard(tc)
							if (#sg>=maxc) then finish=true end
						else
							sg:RemoveCard(tc)
						end
					elseif #bg>0 and #sg<=#bg then
						return false
					end
				end
				if finish then
					sg:KeepAlive()
					e:SetLabelObject(sg)
					return true
				else return false end
			end
end
function Auxiliary.EvoluteOperation(e,tp,eg,ep,ev,re,r,rp,c,smat,mg)
	if Duel.SetSummonCancelable then Duel.SetSummonCancelable(true) end
	local g=e:GetLabelObject()
	c:SetMaterial(g)
	local lvTotal=0
	for tc in aux.Next(g) do
		lvTotal = lvTotal + tc:GetValueForEvolute(c)
		if not tc:IsLocation(LOCATION_MZONE) then
			local tef={tc:IsHasEffect(EFFECT_EXTRA_EVOLUTE_MATERIAL)}
			for _,te in ipairs(tef) do
				local op=te:GetOperation()
				op(tc,tp)
			end
		else
			Duel.Overlay(c,g:Filter(Card.IsType,nil,TYPE_EVOLUTE))
			Duel.SendtoGrave(g:Filter(aux.NOT(Card.IsType),nil,TYPE_EVOLUTE), REASON_MATERIAL+REASON_EVOLUTE)
		end
		local e1=Effect.CreateEffect(c)
		e1:SetType(EFFECT_TYPE_FIELD+EFFECT_TYPE_CONTINUOUS)
		e1:SetCode(EVENT_SPSUMMON_SUCCESS)
		e1:SetRange(tc:GetLocation())
		e1:SetCondition(function(e,tp,efg) return efg:IsContains(c) end)
		e1:SetOperation(function(ef) Duel.RaiseSingleEvent(ef:GetHandler(),EVENT_BE_MATERIAL,e,REASON_EVOLUTE,tp,tp,0) ef:Reset() ef:GetLabelObject():Reset() end)
		e1:SetReset(RESET_EVENT+RESETS_STANDARD)
		tc:RegisterEffect(e1)
		local e2=e1:Clone()
		e2:SetCode(EVENT_SPSUMMON_NEGATED)
		e2:SetOperation(function() e1:Reset() e2:Reset() end)
		tc:RegisterEffect(e2)
		e1:SetLabelObject(e2)
	end
	--Set Maximum for Convergents
	local cone={c:IsHasEffect(EFFECT_CONVERGENT_EVOLUTE)}
	for _,te in ipairs(cone) do
		te:SetValue(lvTotal)
	end
	g:DeleteGroup()
end
function Auxiliary.ECSumFilter(c)
	return c:IsSummonType(SUMMON_TYPE_EVOLUTE) and c:IsType(TYPE_EVOLUTE)
end
function Auxiliary.EvoluteCounter(e,tp,eg,ep,ev,re,r,rp,c,smat,mg)
	local g=eg:Filter(Auxiliary.ECSumFilter,nil)
	for tc in aux.Next(g) do
		if not tc:IsHasEffect(EFFECT_CONVERGENT_EVOLUTE) then tc:AddEC(tc:GetOriginalStage(),tp) end
		if tc:IsHasEffect(EFFECT_CONVERGENT_EVOLUTE) then 
			local cone={tc:IsHasEffect(EFFECT_CONVERGENT_EVOLUTE)}
			for _,te in ipairs(cone) do
				tc:AddEC(te:GetValue(),tp)
			end
			--[[local mg=tc:GetMaterial()
			local mc=mg:GetFirst()
			local val=0
			while mc do
				val = val+mc:GetValueForEvolute(tc)
				mc=mg:GetNext()
			end
			tc:AddEC(val)]]
		end
	end
end