# File automaten.rb, line 107 def to_s_rechts return "[" + @item + "]" if @rechtskontext==nil return "[" + @item + ";" + @rechtskontext.to_s + "]" end