YkLib 0.1.0

data/lib/YkLib/Yk/indenter/free_case.rb

@@ -0,0 +1,313 @@
+
+class Token
+
+	MethodChain.override do
+		def checkRequireArgStarterWithoutArg
+			begin
+				super
+			rescue WhenWithoutArg => e
+				if !parent.trySetUnderCase
+					raise e
+				end
+			end
+		end
+		def checkRequireArgStarterWithArg
+			begin
+				super
+			rescue ForWithoutIn => e
+				if trySetUnderCase
+					kind = :for_when
+				else
+					raise e
+				end
+			end
+		end
+	end
+
+	Modules :OnNl, :OnSemicolon do
+		MethodChain.override do
+			def onClassify
+				begin
+					super
+				rescue ForWithoutIn => e
+					if !parent.trySetUnderCase
+						raise e
+					end
+					parent.kind = :for_when
+				end
+			end
+		end
+	end
+
+	Modules :OnLbrace do
+		MethodChain.override do
+			def onClassify
+				condKinds = [:when, :for, :free_when, :for_when]
+				if condKinds.include?(parent.kind) && (condKinds + [:on_comma]).include(prev.kind)
+					kind = :case_cond_lbrace
+				else
+					super
+				end
+			end
+		end
+	end
+
+	Modules :In, :When do
+		MethodChain.override do
+			def onClassify
+				begin
+					super
+					@case = @wrapper.orgEntity
+					@direct = true
+					@case.addChild self
+					@upperCaseClause = @case
+				rescue OrphanContClause => e
+					if prev_nl? && trySetUnderCase
+						kind = "free_#{@kind}".intern
+						spush
+					else
+						raise e
+					end
+				rescue ForWhen => e # "for when", "for in"
+					parent.kind = "for_#{@kind}".intern
+					if !parent.trySetUnderCase
+						raise e
+					end
+					kind = :on_sp
+					str = " " * str.size()
+				end
+			end
+		end
+	end
+
+
+	class CaseCondList
+		def initialize vn, cn
+			@vn = vn
+			@cn = cn
+			@list = []
+		end
+		def add c
+			@list.push c
+		end
+		def head
+			<<~Out
+				#{@vn}.pushCondProxy
+				begin
+					begin
+						#{getSubHead}
+					rescue #{@vn}.FinishCond
+					end
+					if #{@vn}.hasTrue?
+			Out
+		end
+		def getSubHead
+			emb = ""
+			@list.each do |e|
+				if e.is_a? CaseCondList
+					emb += e.getSubHead
+				else
+					case e
+					when /\A(when|in)\b/
+						emb += <<~Out
+									if case #{@vn}.case #{e}; true; else false end
+										#{@vn}.pushCond true
+										#{@vn}.finishCond
+									else
+										#{@vn}.pushCond false
+									end
+								Out
+					when /\Afor\b/
+						emb += <<~Out
+									if case #{@vn}.case when #{$'}; true; else false end
+										#{@vn}.pushCond true
+									else
+										#{@vn}.pushCond false
+									end
+								Out
+					end
+				end
+			end
+			emb
+		end
+		def tail
+			emb += <<~Out
+					#{
+						if ["when", "in"].include? @cn
+							#{@vn}.finish
+						end
+					}
+					end # if #{@vn}.hasTrue?
+				ensure
+					#{@vn}.popCondProxy
+				end
+			Out
+		end
+	end
+
+	def gatherDescendantsCond vn, s, condList
+		s.children.each do |e|
+			if s != e.parent
+				raise Error.new("free case clause '#{e.str}' is not a direct member of argless upper clause, '#{s.str}'")
+			end
+			if e.argStart # with argument
+				###################...................... eの完全な出力結果で置換する
+				condList.add @expr[e.first ... e.argEnd.first]
+				Token.add e.range,"if #{vn}.shiftCond;"
+				pre = "#{vn}.set_res("
+				post = ")" + (e.kind != :for_when ? ".finish" : "")
+				if e.sentences
+					Token.addMod e.sentences[0].first.first, pre
+					Token.addMod e.sentences.last.last.first, post
+				else
+					Token.addMod e.argEnd.first, pre + "nil" + post
+				end
+				if e.children # still has children
+					e.children.each do |ch|
+						eachCaseChild(vn, ch, false)
+					end
+				end
+			elsif e.children # argless when, gather conditions from children
+				gatherDescendantsCond(vn, s, cnd = CaseCondList.new(vn, e.str))
+				condList.add cnd
+			else
+				raise Error.new("argument less '#{e.str}' under argument less '#{s.str}'")
+			end
+		end
+	end
+
+	def eachCaseChild vn, s, direct # 'when', 'in', 'for' with argument
+		if !s.arglessWhen? # argument less when
+			if s.children # proxy condition for children
+				gatherDescendantsCond(vn, s, cnd = CaseCondList.new(vn, s.str))
+				h = cnd.head
+				t = cnd.tail
+			else # unconditional when, in, for : mimic 'else' of traditional 'case'
+				h = "begin;"
+				t = "end"
+			end
+			Token.addMod s.range, h
+			Token.addMod s.sentences.last.last, (s.kind != :for_when ? ";#{vn}.finish" : "") + t
+		else
+			if !direct
+				Token.add s.first,"if (case #{vn}.case; "
+				if (tmp = case s.kind
+							when :for_when
+								"when"
+							when :for_in
+								"in"
+							end) then
+					Token.add s.range, tmp
+				end
+				Token.add s.last, "; true; else false; end)"
+				pre = "#{vn}.set_res("
+				post = ")" + (!tmp ? ".finish" : "")
+				if s.sentences
+					Token.addMod s.sentences[0].first.first, pre
+					Token.addMod s.sentences.last.last.first, post
+				else
+					Token.addMod s.argEnd.first, pre + "nil" + post
+				end
+			end
+			s.children&.each do |s|
+				eachCaseChild(vn, s, false)
+			end
+		end
+	end
+
+	def addChild t
+		(@children ||= []).push t
+	end
+
+	attr_reader :case
+	def direct?
+		@direct
+	end
+	def requireIfConversion?
+		@requireIfConversion
+	end
+	attr_writer :requireIfConversion
+	def trySetUnderCase
+		f = eachParent do |par|
+			if [:case, :non_free_case].include? par.kind
+				@case = par
+				break :found
+			end
+		end
+		return false if f != :found
+		eachParent do |par|
+			if [:when, :in, :for_in, :for_when, :free_when, :free_in, :case, :non_free_case].include?(par.kind)
+					|| par.kind == :else && par.wrapped.orgEntity == @freeCase
+				if par.whenWithoutArg?
+					if whenWithoutArg?
+						raise Error.new("argless '#{str}' under argless '#{par.str}'")
+					elsif par != parent
+						raise Error.new("argless '#{par.str}' do not allow '#{str}' clause enclosed by '#{parent.str}...#{parent.ender.str}'")
+					end
+				end
+				par.addChild self
+				@upperCaseClause = par
+				return true
+			end
+		end
+		return false
+	end
+
+	attr_accessor_predicate :caseCondLBraceReplaced
+
+	def whenWithoutArg?
+		!@argStart || (dnext&.kind == :> && dnext.dnext&.var_able? && [:on_nl, :on_semicolon].include?(dnext&.dnext&.next&.kind))
+	end
+	def whenWithVar?
+		dnext&.kind == :> && dnext.dnext&.var_able?
+	end
+
+	Module :Case, :NonFreeCase do
+		def closeBeginner pi
+			vn = spVarName
+			@direct = true
+			children.each do |s|
+				if !s.direct? || s.whenWithoutArg? || s.whenWithVar?
+					@direct = false
+					break
+				end
+			end
+			if @direct
+				head = "case(#{vn})"
+			end
+			Token.addMod range,  "#begin (begin #{vn} = FreeCase.new("
+			Token.addMod argEnd.first, "); begin #{head}"
+			children.each do |s|
+				eachCaseChild(vn, s, @direct)
+			end
+			tmp = dnext
+			while tmp != e
+				if tmp.kind == :on_ivar && tmp.str == "@"
+					if f = tmp.findParent{[:case, :non_free_case].include(_1.kind)}
+						if f == self
+							if tmp.parent.kind == :case_cond_lbrace
+								if !tmp.parent.caseCondLBraceReplaced?
+									Token.addMod tmp.parent.ipos, "->"
+									tmp.parent.caseCondLBraceReplaced = tue
+								end
+								Token.addMod tmp.range, "_1"
+							end
+								Token.addMod tmp.range, f.spVarName
+							end
+						end
+					end
+				else
+					Token.addMod tmp.range, "#{vn}.case"
+				end
+				if %i{case non_free_case}.include? tmp.kind
+					tmp = tmp.ender
+				else
+					tmp = tmp.dnext
+				end
+			end
+			";rescue #{vn}.Finish;ensure #{vn}.pop;end;#{vn}.result);" + "end"
+		end
+	end
+
+
+end

data/lib/YkLib/Yk/indenter/if_less.rb

@@ -0,0 +1,53 @@
+
+require 'each_token'
+
+
+class Token
+	Modules :Then, :Else, :Elsif, :IflessThen, :IflessElse, :IflessElsif do
+		def closeBeginner pi
+			if !((ps = parent.sentences)[-1].first != self)
+				raise Error.new("'#{str}' without 'if' not registered as sentence in upper clause, '#{parent.str}'")	
+			end
+			if !ps[-2]
+				raise Error.new("'#{str}' without 'if' missing previous line")
+			end
+			ps[-2].last = nil
+			ps.pop
+			Token.addMod ps[-2].first.first, "if("
+			case @kind
+			when :ifless_then, :then
+				Token.addMod orgStarter.first, ")"
+			when :ifless_elsif, :ifless_else, :elsif, :else
+				Token.addMod orgStarter.first, ")then "
+			end
+			"end"
+		end
+	end
+	[
+	 [:Then, :ifless_then]
+	 [:Else, :ifless_else]
+	 [:Elsif, :ifless_elseif]
+	].each do |modName, tk|
+		Modules modName do
+			MethodChain.override do
+				module_eval %{
+					def onClassify
+						begin
+							super
+						rescue OrphanContClause => e
+							if !prev_nl?
+								raise e
+							else
+								spush
+								kind = :#{tk}
+							end
+						end
+					end
+				}
+			end
+		end
+	end
+end
+
+
+

data/lib/YkLib/Yk/indenter/independent_ensure.rb

@@ -0,0 +1,23 @@
+
+
+require 'each_token'
+
+
+class Token
+	module Ensure do
+		MethodChain.override do
+			def onClassify
+				begin
+					super
+				rescue OrphanContClause => e
+					if !prev_nl?
+						raise e
+					else
+						spush
+						kind = :independent_ensure
+					end
+				end
+			end
+		end
+	end
+end

data/lib/YkLib/Yk/indenter/independent_rescue.rb

@@ -0,0 +1,23 @@
+
+
+require 'each_token'
+
+
+class Token
+	module Rescue do
+		MethodChain.override do
+			def onClassify
+				begin
+					super
+				rescue OrphanContClause => e
+					if !prev_nl?
+						raise e
+					else
+						spush
+						kind = :independent_rescue
+					end
+				end
+			end
+		end
+	end
+end

data/lib/YkLib/Yk/indenter/operand_period.rb

@@ -0,0 +1,16 @@
+
+class Token
+	module OnPeriod
+		def onClassify #
+			if isOperand? # should not be parent
+				if [:on_ident, :on_const].include?(dnext.kind)
+					Token.addMod(first, "___theme_by_period")
+				elsif ambiguousPeriodTheme?
+					raise Error.new("Nested theme is referenced by single '.'")
+				else
+					Token.addMod(range, "___theme_by_period")
+				end
+			end
+		end
+	end
+end

data/lib/YkLib/Yk/indenter/parenless_and.rb

@@ -0,0 +1,37 @@
+
+
+
+
+attr_accessor_predicate :hasAndOp, :andOpProcessed
+def inDirectParen?
+	prev.kind == :on_lparen && next.kind == :on_rparen
+end
+
+def checkAndOp
+	if hasAndOp? && !andOpProcessed? && !inDirectParen? && %i{on_ident on_const ' "}.include?(dprev)
+		Token.addMod tb.last, "("
+		Token.addMod t.first, ")"
+		@andOpProcessed = true
+	end
+end
+
+Modules :And, :Or, :Not do
+	MethodChain.override do
+		def onClassify
+			super
+			if [:on_lbracket, :on_lparen].include?(parent)
+				parent.hasAndOp = true
+			end
+		end
+	end
+end
+
+Modules :OnRparen, :OnRbracket do
+	MethodChain.override do
+		def onClassify
+			super
+			beginner.checkAndOp
+		end
+	end
+end
+

data/lib/YkLib/Yk/indenter/post_test.rb

@@ -0,0 +1,48 @@
+
+class Token
+	
+	module PostTestDo
+
+		def postTestFinalize pi
+			if !requireArg?
+				raise Error.new("descrepant post test clause")
+			end
+			@argEnd = pi
+			closeSentence pi
+			(d = (w = pi.parent).wrapped.orgEntity).iteratorCand = nil
+			toReplace = "break " + case w.str
+			when "while"
+				"unless "
+			when "until"
+				"if "
+			end
+			Token.addMod w.range, toReplace
+			if (v = d.dnext).kind == :on_symbeg && label = v.var_label
+				d.defClsFirstSententence.first.setIteratorLabelVar label
+				Token.addMod d.range, 
+					"begin
+						#{label} = ItratorLabel.new
+						while true
+							begin
+								#{label}.setLast((".gsub(/\n/, ";").gsub(/\s+/, " ")
+				res =			"))
+							rescue #{label}.exNext
+								next
+							rescue #{label}.exRedo
+								redo
+							end
+						end
+						#{label}.res #nil or something in case iterator
+					rescue #{label}.exBreak
+						#{label}.res
+					end".gsub(/\n/, ";").gsub(/\s+/, " ")
+			else
+				Token.addMod d.range, "while true;" # "do" -> "while true;"
+				res = ";end;"
+			end
+			pi.spop
+			Token.addMod pi.ipos, res
+		end
+	
+	end
+end