Browse Source

Add auto-generated MvK rules

Yentl Van Tendeloo 3 years ago
parent
commit
c3ed0ecf7d
74 changed files with 20960 additions and 0 deletions
  1. 457 0
      kernel/rules/generated/Rules_Access_Eval_N1.eps
  2. BIN
      kernel/rules/generated/Rules_Access_Eval_N1.pdf
  3. 536 0
      kernel/rules/generated/Rules_Access_Init_N2.eps
  4. BIN
      kernel/rules/generated/Rules_Access_Init_N2.pdf
  5. 490 0
      kernel/rules/generated/Rules_Assign_Assign_N3.eps
  6. BIN
      kernel/rules/generated/Rules_Assign_Assign_N3.pdf
  7. 536 0
      kernel/rules/generated/Rules_Assign_Init_N4.eps
  8. BIN
      kernel/rules/generated/Rules_Assign_Init_N4.pdf
  9. 636 0
      kernel/rules/generated/Rules_Assign_Value_N5.eps
  10. BIN
      kernel/rules/generated/Rules_Assign_Value_N5.pdf
  11. 589 0
      kernel/rules/generated/Rules_Break_N6.eps
  12. BIN
      kernel/rules/generated/Rules_Break_N6.pdf
  13. 705 0
      kernel/rules/generated/Rules_Call_Call_None_N7.eps
  14. BIN
      kernel/rules/generated/Rules_Call_Call_None_N7.pdf
  15. 798 0
      kernel/rules/generated/Rules_Call_Call_Params_N8.eps
  16. BIN
      kernel/rules/generated/Rules_Call_Call_Params_N8.pdf
  17. 934 0
      kernel/rules/generated/Rules_Call_Params_First_Multi_N9.eps
  18. BIN
      kernel/rules/generated/Rules_Call_Params_First_Multi_N9.pdf
  19. 938 0
      kernel/rules/generated/Rules_Call_Params_First_Single_N10.eps
  20. BIN
      kernel/rules/generated/Rules_Call_Params_First_Single_N10.pdf
  21. 1011 0
      kernel/rules/generated/Rules_Call_Params_Last_N11.eps
  22. BIN
      kernel/rules/generated/Rules_Call_Params_Last_N11.pdf
  23. 1005 0
      kernel/rules/generated/Rules_Call_Params_Next_N12.eps
  24. BIN
      kernel/rules/generated/Rules_Call_Params_Next_N12.pdf
  25. 570 0
      kernel/rules/generated/Rules_Call_Resolve_No_Params_N13.eps
  26. BIN
      kernel/rules/generated/Rules_Call_Resolve_No_Params_N13.pdf
  27. 560 0
      kernel/rules/generated/Rules_Call_Resolve_Params_N14.eps
  28. BIN
      kernel/rules/generated/Rules_Call_Resolve_Params_N14.pdf
  29. 458 0
      kernel/rules/generated/Rules_Const_N15.eps
  30. BIN
      kernel/rules/generated/Rules_Const_N15.pdf
  31. 555 0
      kernel/rules/generated/Rules_Continue_N16.eps
  32. BIN
      kernel/rules/generated/Rules_Continue_N16.pdf
  33. 498 0
      kernel/rules/generated/Rules_Declare_Init_N17.eps
  34. BIN
      kernel/rules/generated/Rules_Declare_Init_N17.pdf
  35. 500 0
      kernel/rules/generated/Rules_Global_Init_N18.eps
  36. BIN
      kernel/rules/generated/Rules_Global_Init_N18.pdf
  37. 538 0
      kernel/rules/generated/Rules_If_Cond_N19.eps
  38. BIN
      kernel/rules/generated/Rules_If_Cond_N19.pdf
  39. 609 0
      kernel/rules/generated/Rules_If_False_Else_N20.eps
  40. BIN
      kernel/rules/generated/Rules_If_False_Else_N20.pdf
  41. 433 0
      kernel/rules/generated/Rules_If_False_None_N21.eps
  42. BIN
      kernel/rules/generated/Rules_If_False_None_N21.pdf
  43. 611 0
      kernel/rules/generated/Rules_If_True_N22.eps
  44. BIN
      kernel/rules/generated/Rules_If_True_N22.pdf
  45. 547 0
      kernel/rules/generated/Rules_Input_N23.eps
  46. BIN
      kernel/rules/generated/Rules_Input_N23.pdf
  47. 427 0
      kernel/rules/generated/Rules_Next_Next_N24.eps
  48. BIN
      kernel/rules/generated/Rules_Next_Next_N24.pdf
  49. 578 0
      kernel/rules/generated/Rules_Next_NoNext_N25.eps
  50. BIN
      kernel/rules/generated/Rules_Next_NoNext_N25.pdf
  51. 537 0
      kernel/rules/generated/Rules_Output_Init_N26.eps
  52. BIN
      kernel/rules/generated/Rules_Output_Init_N26.pdf
  53. 512 0
      kernel/rules/generated/Rules_Output_Output_N27.eps
  54. BIN
      kernel/rules/generated/Rules_Output_Output_N27.pdf
  55. 625 0
      kernel/rules/generated/Rules_Resolve_NoAttrGlobal_N28.eps
  56. BIN
      kernel/rules/generated/Rules_Resolve_NoAttrGlobal_N28.pdf
  57. 559 0
      kernel/rules/generated/Rules_Resolve_NoAttr_N29.eps
  58. BIN
      kernel/rules/generated/Rules_Resolve_NoAttr_N29.pdf
  59. 488 0
      kernel/rules/generated/Rules_Return_Eval_N30.eps
  60. BIN
      kernel/rules/generated/Rules_Return_Eval_N30.pdf
  61. 425 0
      kernel/rules/generated/Rules_Return_NoValue_N31.eps
  62. BIN
      kernel/rules/generated/Rules_Return_NoValue_N31.pdf
  63. 536 0
      kernel/rules/generated/Rules_Return_Value_N32.eps
  64. BIN
      kernel/rules/generated/Rules_Return_Value_N32.pdf
  65. 536 0
      kernel/rules/generated/Rules_While_Cond_N33.eps
  66. BIN
      kernel/rules/generated/Rules_While_Cond_N33.pdf
  67. 401 0
      kernel/rules/generated/Rules_While_False_N34.eps
  68. BIN
      kernel/rules/generated/Rules_While_False_N34.pdf
  69. 663 0
      kernel/rules/generated/Rules_While_True_N35.eps
  70. BIN
      kernel/rules/generated/Rules_While_True_N35.pdf
  71. 140 0
      kernel/rules/generated/all_rules.tex
  72. 5 0
      kernel/rules/generated/auto_gen.py
  73. 10 0
      kernel/rules/generated/render.sh
  74. 4 0
      kernel/rules/generated/template.tex

+ 457 - 0
kernel/rules/generated/Rules_Access_Eval_N1.eps

@@ -0,0 +1,457 @@
+%!PS-Adobe-3.0 EPSF-3.0
+%%Creator: graphviz version 2.40.1 (20161225.0304)
+%%Title: %3
+%%Pages: 1
+%%BoundingBox: 36 36 415 403
+%%EndComments
+save
+%%BeginProlog
+/DotDict 200 dict def
+DotDict begin
+
+/setupLatin1 {
+mark
+/EncodingVector 256 array def
+ EncodingVector 0
+
+ISOLatin1Encoding 0 255 getinterval putinterval
+EncodingVector 45 /hyphen put
+
+% Set up ISO Latin 1 character encoding
+/starnetISO {
+        dup dup findfont dup length dict begin
+        { 1 index /FID ne { def }{ pop pop } ifelse
+        } forall
+        /Encoding EncodingVector def
+        currentdict end definefont
+} def
+/Times-Roman starnetISO def
+/Times-Italic starnetISO def
+/Times-Bold starnetISO def
+/Times-BoldItalic starnetISO def
+/Helvetica starnetISO def
+/Helvetica-Oblique starnetISO def
+/Helvetica-Bold starnetISO def
+/Helvetica-BoldOblique starnetISO def
+/Courier starnetISO def
+/Courier-Oblique starnetISO def
+/Courier-Bold starnetISO def
+/Courier-BoldOblique starnetISO def
+cleartomark
+} bind def
+
+%%BeginResource: procset graphviz 0 0
+/coord-font-family /Times-Roman def
+/default-font-family /Times-Roman def
+/coordfont coord-font-family findfont 8 scalefont def
+
+/InvScaleFactor 1.0 def
+/set_scale {
+       dup 1 exch div /InvScaleFactor exch def
+       scale
+} bind def
+
+% styles
+/solid { [] 0 setdash } bind def
+/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
+/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
+/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
+/bold { 2 setlinewidth } bind def
+/filled { } bind def
+/unfilled { } bind def
+/rounded { } bind def
+/diagonals { } bind def
+/tapered { } bind def
+
+% hooks for setting color 
+/nodecolor { sethsbcolor } bind def
+/edgecolor { sethsbcolor } bind def
+/graphcolor { sethsbcolor } bind def
+/nopcolor {pop pop pop} bind def
+
+/beginpage {	% i j npages
+	/npages exch def
+	/j exch def
+	/i exch def
+	/str 10 string def
+	npages 1 gt {
+		gsave
+			coordfont setfont
+			0 0 moveto
+			(\() show i str cvs show (,) show j str cvs show (\)) show
+		grestore
+	} if
+} bind def
+
+/set_font {
+	findfont exch
+	scalefont setfont
+} def
+
+% draw text fitted to its expected width
+/alignedtext {			% width text
+	/text exch def
+	/width exch def
+	gsave
+		width 0 gt {
+			[] 0 setdash
+			text stringwidth pop width exch sub text length div 0 text ashow
+		} if
+	grestore
+} def
+
+/boxprim {				% xcorner ycorner xsize ysize
+		4 2 roll
+		moveto
+		2 copy
+		exch 0 rlineto
+		0 exch rlineto
+		pop neg 0 rlineto
+		closepath
+} bind def
+
+/ellipse_path {
+	/ry exch def
+	/rx exch def
+	/y exch def
+	/x exch def
+	matrix currentmatrix
+	newpath
+	x y translate
+	rx ry scale
+	0 0 1 0 360 arc
+	setmatrix
+} bind def
+
+/endpage { showpage } bind def
+/showpage { } def
+
+/layercolorseq
+	[	% layer color sequence - darkest to lightest
+		[0 0 0]
+		[.2 .8 .8]
+		[.4 .8 .8]
+		[.6 .8 .8]
+		[.8 .8 .8]
+	]
+def
+
+/layerlen layercolorseq length def
+
+/setlayer {/maxlayer exch def /curlayer exch def
+	layercolorseq curlayer 1 sub layerlen mod get
+	aload pop sethsbcolor
+	/nodecolor {nopcolor} def
+	/edgecolor {nopcolor} def
+	/graphcolor {nopcolor} def
+} bind def
+
+/onlayer { curlayer ne {invis} if } def
+
+/onlayers {
+	/myupper exch def
+	/mylower exch def
+	curlayer mylower lt
+	curlayer myupper gt
+	or
+	{invis} if
+} def
+
+/curlayer 0 def
+
+%%EndResource
+%%EndProlog
+%%BeginSetup
+14 default-font-family set_font
+% /arrowlength 10 def
+% /arrowwidth 5 def
+
+% make sure pdfmark is harmless for PS-interpreters other than Distiller
+/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
+% make '<<' and '>>' safe on PS Level 1 devices
+/languagelevel where {pop languagelevel}{1} ifelse
+2 lt {
+    userdict (<<) cvn ([) cvn load put
+    userdict (>>) cvn ([) cvn load put
+} if
+
+%%EndSetup
+setupLatin1
+%%Page: 1 1
+%%PageBoundingBox: 36 36 415 403
+%%PageOrientation: Portrait
+0 0 1 beginpage
+gsave
+36 36 379 367 boxprim clip newpath
+1 1 set_scale 0 rotate 40 40 translate
+% Rules_N1_0
+gsave
+0 0 0 nodecolor
+199.3968 356 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+199.3968 356 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N1_1
+gsave
+0 0 0 nodecolor
+199.3968 279 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+199.3968 279 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N1_0->Rules_N1_1
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 199.3968 354.0966 moveto
+199.3968 345.4826 199.3968 309.7513 199.3968 290.8486 curveto
+stroke
+0 0 0 edgecolor
+newpath 202.8969 290.8368 moveto
+199.3968 280.8368 lineto
+195.8969 290.8369 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 202.8969 290.8368 moveto
+199.3968 280.8368 lineto
+195.8969 290.8369 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+199.3968 314.3 moveto 52 (taskname) alignedtext
+grestore
+% Rules_N1_2
+gsave
+0 0 0 nodecolor
+199.3968 202 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+199.3968 202 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N1_1->Rules_N1_2
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 199.3968 277.0966 moveto
+199.3968 268.4826 199.3968 232.7513 199.3968 213.8486 curveto
+stroke
+0 0 0 edgecolor
+newpath 202.8969 213.8368 moveto
+199.3968 203.8368 lineto
+195.8969 213.8369 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 202.8969 213.8368 moveto
+199.3968 203.8368 lineto
+195.8969 213.8369 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+199.3968 237.3 moveto 37 ('frame') alignedtext
+grestore
+% Rules_N1_3
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+36.3968 102 36.2938 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+16.3968 98.3 moveto 40 (!access) alignedtext
+grestore
+% Rules_N1_2->Rules_N1_3
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 197.564 201.3971 moveto
+189.252 198.6259 154.3801 186.5972 128.3968 171.5 curveto
+104.8958 157.8452 80.443 139.1236 62.6594 124.5513 curveto
+stroke
+0 0 0 edgecolor
+newpath 64.4269 121.4695 moveto
+54.4984 117.7714 lineto
+59.9538 126.8538 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 64.4269 121.4695 moveto
+54.4984 117.7714 lineto
+59.9538 126.8538 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+128.3968 160.3 moveto 17 ('IP') alignedtext
+grestore
+% Rules_N1_4
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+119.3968 102 28.6953 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+105.3968 98.3 moveto 28 ('eval') alignedtext
+grestore
+% Rules_N1_2->Rules_N1_4
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 197.6841 201.0368 moveto
+191.7637 197.642 171.846 185.6715 159.3968 171.5 curveto
+148.2326 158.7913 138.655 142.4896 131.673 128.8686 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 134.6227 126.9362 moveto
+127.0622 119.514 lineto
+128.3439 130.031 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 134.6227 126.9362 moveto
+127.0622 119.514 lineto
+128.3439 130.031 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+159.3968 160.3 moveto 36 ('phase') alignedtext
+grestore
+% Rules_N1_5
+gsave
+1 setlinewidth
+0.33333 1 1 nodecolor
+199.3968 102 33.5952 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+181.3968 98.3 moveto 36 ('finish') alignedtext
+grestore
+% Rules_N1_2->Rules_N1_5
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 199.3968 199.9114 moveto
+199.3968 191.0764 199.3968 156.0518 199.3968 130.4073 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 202.8969 130.0947 moveto
+199.3968 120.0948 lineto
+195.8969 130.0948 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 202.8969 130.0947 moveto
+199.3968 120.0948 lineto
+195.8969 130.0948 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+199.3968 160.3 moveto 36 ('phase') alignedtext
+grestore
+% Rules_N1_6
+gsave
+0 0 0 nodecolor
+285.3968 3 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+285.3968 3 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N1_2->Rules_N1_6
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 201.2493 201.1446 moveto
+207.6263 198.1019 228.8563 187.1434 239.3968 171.5 curveto
+273.7627 120.4967 282.5481 44.5497 284.7153 15.1932 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 288.2312 15.0279 moveto
+285.3306 4.8379 lineto
+281.2435 14.6127 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 288.2312 15.0279 moveto
+285.3306 4.8379 lineto
+281.2435 14.6127 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+274.3968 98.3 moveto 67 ('returnvalue') alignedtext
+grestore
+% Rules_N1_7
+gsave
+0 0 0 nodecolor
+356.3968 102 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+356.3968 102 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N1_2->Rules_N1_7
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 201.6102 201.5291 moveto
+211.639 199.3299 253.6157 189.4133 283.3968 171.5 curveto
+310.9082 154.9519 336.4806 126.4262 348.7628 111.5905 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 351.6664 113.5644 moveto
+355.1949 103.5744 lineto
+346.2067 109.1835 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 351.6664 113.5644 moveto
+355.1949 103.5744 lineto
+346.2067 109.1835 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+304.3968 160.3 moveto 67 ('returnvalue') alignedtext
+grestore
+% Rules_N1_7->Rules_N1_6
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 355.1644 100.2817 moveto
+347.7291 89.9141 308.6296 35.3951 292.4333 12.8115 curveto
+stroke
+0 0 0 edgecolor
+newpath 295.1207 10.5531 moveto
+286.4486 4.4666 lineto
+289.4323 14.6326 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 295.1207 10.5531 moveto
+286.4486 4.4666 lineto
+289.4323 14.6326 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+317.3968 37.3 moveto 34 ('value') alignedtext
+grestore
+endpage
+showpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+end
+restore
+%%EOF

BIN
kernel/rules/generated/Rules_Access_Eval_N1.pdf


+ 536 - 0
kernel/rules/generated/Rules_Access_Init_N2.eps

@@ -0,0 +1,536 @@
+%!PS-Adobe-3.0 EPSF-3.0
+%%Creator: graphviz version 2.40.1 (20161225.0304)
+%%Title: %3
+%%Pages: 1
+%%BoundingBox: 36 36 542 451
+%%EndComments
+save
+%%BeginProlog
+/DotDict 200 dict def
+DotDict begin
+
+/setupLatin1 {
+mark
+/EncodingVector 256 array def
+ EncodingVector 0
+
+ISOLatin1Encoding 0 255 getinterval putinterval
+EncodingVector 45 /hyphen put
+
+% Set up ISO Latin 1 character encoding
+/starnetISO {
+        dup dup findfont dup length dict begin
+        { 1 index /FID ne { def }{ pop pop } ifelse
+        } forall
+        /Encoding EncodingVector def
+        currentdict end definefont
+} def
+/Times-Roman starnetISO def
+/Times-Italic starnetISO def
+/Times-Bold starnetISO def
+/Times-BoldItalic starnetISO def
+/Helvetica starnetISO def
+/Helvetica-Oblique starnetISO def
+/Helvetica-Bold starnetISO def
+/Helvetica-BoldOblique starnetISO def
+/Courier starnetISO def
+/Courier-Oblique starnetISO def
+/Courier-Bold starnetISO def
+/Courier-BoldOblique starnetISO def
+cleartomark
+} bind def
+
+%%BeginResource: procset graphviz 0 0
+/coord-font-family /Times-Roman def
+/default-font-family /Times-Roman def
+/coordfont coord-font-family findfont 8 scalefont def
+
+/InvScaleFactor 1.0 def
+/set_scale {
+       dup 1 exch div /InvScaleFactor exch def
+       scale
+} bind def
+
+% styles
+/solid { [] 0 setdash } bind def
+/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
+/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
+/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
+/bold { 2 setlinewidth } bind def
+/filled { } bind def
+/unfilled { } bind def
+/rounded { } bind def
+/diagonals { } bind def
+/tapered { } bind def
+
+% hooks for setting color 
+/nodecolor { sethsbcolor } bind def
+/edgecolor { sethsbcolor } bind def
+/graphcolor { sethsbcolor } bind def
+/nopcolor {pop pop pop} bind def
+
+/beginpage {	% i j npages
+	/npages exch def
+	/j exch def
+	/i exch def
+	/str 10 string def
+	npages 1 gt {
+		gsave
+			coordfont setfont
+			0 0 moveto
+			(\() show i str cvs show (,) show j str cvs show (\)) show
+		grestore
+	} if
+} bind def
+
+/set_font {
+	findfont exch
+	scalefont setfont
+} def
+
+% draw text fitted to its expected width
+/alignedtext {			% width text
+	/text exch def
+	/width exch def
+	gsave
+		width 0 gt {
+			[] 0 setdash
+			text stringwidth pop width exch sub text length div 0 text ashow
+		} if
+	grestore
+} def
+
+/boxprim {				% xcorner ycorner xsize ysize
+		4 2 roll
+		moveto
+		2 copy
+		exch 0 rlineto
+		0 exch rlineto
+		pop neg 0 rlineto
+		closepath
+} bind def
+
+/ellipse_path {
+	/ry exch def
+	/rx exch def
+	/y exch def
+	/x exch def
+	matrix currentmatrix
+	newpath
+	x y translate
+	rx ry scale
+	0 0 1 0 360 arc
+	setmatrix
+} bind def
+
+/endpage { showpage } bind def
+/showpage { } def
+
+/layercolorseq
+	[	% layer color sequence - darkest to lightest
+		[0 0 0]
+		[.2 .8 .8]
+		[.4 .8 .8]
+		[.6 .8 .8]
+		[.8 .8 .8]
+	]
+def
+
+/layerlen layercolorseq length def
+
+/setlayer {/maxlayer exch def /curlayer exch def
+	layercolorseq curlayer 1 sub layerlen mod get
+	aload pop sethsbcolor
+	/nodecolor {nopcolor} def
+	/edgecolor {nopcolor} def
+	/graphcolor {nopcolor} def
+} bind def
+
+/onlayer { curlayer ne {invis} if } def
+
+/onlayers {
+	/myupper exch def
+	/mylower exch def
+	curlayer mylower lt
+	curlayer myupper gt
+	or
+	{invis} if
+} def
+
+/curlayer 0 def
+
+%%EndResource
+%%EndProlog
+%%BeginSetup
+14 default-font-family set_font
+% /arrowlength 10 def
+% /arrowwidth 5 def
+
+% make sure pdfmark is harmless for PS-interpreters other than Distiller
+/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
+% make '<<' and '>>' safe on PS Level 1 devices
+/languagelevel where {pop languagelevel}{1} ifelse
+2 lt {
+    userdict (<<) cvn ([) cvn load put
+    userdict (>>) cvn ([) cvn load put
+} if
+
+%%EndSetup
+setupLatin1
+%%Page: 1 1
+%%PageBoundingBox: 36 36 542 451
+%%PageOrientation: Portrait
+0 0 1 beginpage
+gsave
+36 36 506 415 boxprim clip newpath
+1 1 set_scale 0 rotate 40 40 translate
+% Rules_N2_0
+gsave
+0 0 0 nodecolor
+205.9031 406 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+205.9031 406 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N2_1
+gsave
+0 0 0 nodecolor
+205.9031 351 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+205.9031 351 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N2_0->Rules_N2_1
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 205.9031 404.1701 moveto
+205.9031 397.9072 205.9031 376.9659 205.9031 363.3088 curveto
+stroke
+0 0 0 edgecolor
+newpath 209.4032 362.8932 moveto
+205.9031 352.8932 lineto
+202.4032 362.8933 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 209.4032 362.8932 moveto
+205.9031 352.8932 lineto
+202.4032 362.8933 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+205.9031 374.3 moveto 52 (taskname) alignedtext
+grestore
+% Rules_N2_2
+gsave
+0 0 0 nodecolor
+205.9031 296 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+205.9031 296 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N2_1->Rules_N2_2
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 205.9031 349.1701 moveto
+205.9031 342.9072 205.9031 321.9659 205.9031 308.3088 curveto
+stroke
+0 0 0 edgecolor
+newpath 209.4032 307.8932 moveto
+205.9031 297.8932 lineto
+202.4032 307.8933 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 209.4032 307.8932 moveto
+205.9031 297.8932 lineto
+202.4032 307.8933 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+205.9031 320.3 moveto 37 ('frame') alignedtext
+grestore
+% Rules_N2_3
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+48.9031 226 27 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+37.4031 222.3 moveto 23 ('init') alignedtext
+grestore
+% Rules_N2_2->Rules_N2_3
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 204.0652 295.829 moveto
+191.3775 294.6251 116.7072 287.1627 96.9031 276.5 curveto
+85.2543 270.2282 74.7974 260.0974 66.6403 250.5499 curveto
+stroke
+0 0 0 edgecolor
+newpath 69.3593 248.3459 moveto
+60.3536 242.7647 lineto
+63.9132 252.7437 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 69.3593 248.3459 moveto
+60.3536 242.7647 lineto
+63.9132 252.7437 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+96.9031 265.3 moveto 36 ('phase') alignedtext
+grestore
+% Rules_N2_4
+gsave
+0.33333 1 1 nodecolor
+223.9031 226 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0.33333 1 1 nodecolor
+223.9031 226 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N2_2->Rules_N2_4
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 206.4224 293.9805 moveto
+208.517 285.8349 216.4434 255.0098 220.8688 237.8002 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 224.315 238.4516 moveto
+223.4158 227.895 lineto
+217.5356 236.7082 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 224.315 238.4516 moveto
+223.4158 227.895 lineto
+217.5356 236.7082 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+214.9031 265.3 moveto 55 ('evalstack') alignedtext
+grestore
+% Rules_N2_5
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+207.9031 73 36.2938 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+187.9031 69.3 moveto 40 (!access) alignedtext
+grestore
+% Rules_N2_2->Rules_N2_5
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 205.9204 294.0722 moveto
+206.0696 277.4299 207.1469 157.3151 207.648 101.4433 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 211.1502 101.2062 moveto
+207.7401 91.1751 lineto
+204.1504 101.1433 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 211.1502 101.2062 moveto
+207.7401 91.1751 lineto
+204.1504 101.1433 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+207.9031 178.3 moveto 17 ('IP') alignedtext
+grestore
+% Rules_N2_6
+gsave
+0 0 0 nodecolor
+261.9031 149 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+261.9031 149 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N2_2->Rules_N2_6
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 207.8451 295.7382 moveto
+218.0113 294.3266 264.9737 287.2837 273.9031 276.5 curveto
+302.9045 241.4761 296.7479 217.4812 281.9031 174.5 curveto
+279.6347 167.9322 274.9003 161.7667 270.6072 157.1438 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 272.988 154.5776 moveto
+263.3459 150.1866 lineto
+268.1452 159.6321 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 272.988 154.5776 moveto
+263.3459 150.1866 lineto
+268.1452 159.6321 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+294.9031 222.3 moveto 55 ('evalstack') alignedtext
+grestore
+% Rules_N2_7
+gsave
+0 0 0 nodecolor
+324.9031 2 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+324.9031 2 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N2_2->Rules_N2_7
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 207.9585 295.9399 moveto
+233.1236 295.1504 480.9031 285.8576 480.9031 226 curveto
+480.9031 226 480.9031 226 480.9031 73 curveto
+480.9031 41.3303 373.0506 13.2394 336.7004 4.6712 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 337.4038 1.2418 moveto
+326.8755 2.4273 lineto
+335.8451 8.0661 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 337.4038 1.2418 moveto
+326.8755 2.4273 lineto
+335.8451 8.0661 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+480.9031 145.3 moveto 17 ('IP') alignedtext
+grestore
+% Rules_N2_4->Rules_N2_6
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 224.8424 224.0966 moveto
+229.1551 215.3577 247.2411 178.7099 256.456 160.0375 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 259.7096 161.3532 moveto
+260.9966 150.8368 lineto
+253.4324 158.2554 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 259.7096 161.3532 moveto
+260.9966 150.8368 lineto
+253.4324 158.2554 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+248.9031 178.3 moveto 29 ('prev') alignedtext
+grestore
+% Rules_N2_5->Rules_N2_7
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 231.0185 58.9727 moveto
+256.3876 43.5778 295.9776 19.5531 314.5839 8.2621 curveto
+stroke
+0 0 0 edgecolor
+newpath 316.4093 11.2485 moveto
+323.1425 3.0684 lineto
+312.7777 5.2641 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 316.4093 11.2485 moveto
+323.1425 3.0684 lineto
+312.7777 5.2641 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+290.9031 25.3 moveto 22 ('var') alignedtext
+grestore
+% Rules_N2_6->Rules_N2_5
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 260.7752 147.4126 moveto
+256.3096 141.1277 239.4536 117.4044 225.9585 98.4114 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 228.6964 96.2219 moveto
+220.0512 90.0973 lineto
+222.9902 100.2764 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 228.6964 96.2219 moveto
+220.0512 90.0973 lineto
+222.9902 100.2764 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+242.9031 112.3 moveto 25 ('inst') alignedtext
+grestore
+% Rules_N2_8
+gsave
+1 setlinewidth
+0.33333 1 1 nodecolor
+356.9031 73 28.6953 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+342.9031 69.3 moveto 28 ('eval') alignedtext
+grestore
+% Rules_N2_6->Rules_N2_8
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 263.552 147.6809 moveto
+271.4768 141.341 306.2849 113.4945 331.0725 93.6644 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 333.419 96.2695 moveto
+339.0413 87.2894 lineto
+329.0461 90.8034 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 333.419 96.2695 moveto
+339.0413 87.2894 lineto
+329.0461 90.8034 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+312.9031 112.3 moveto 36 ('phase') alignedtext
+grestore
+endpage
+showpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+end
+restore
+%%EOF

BIN
kernel/rules/generated/Rules_Access_Init_N2.pdf


+ 490 - 0
kernel/rules/generated/Rules_Assign_Assign_N3.eps

@@ -0,0 +1,490 @@
+%!PS-Adobe-3.0 EPSF-3.0
+%%Creator: graphviz version 2.40.1 (20161225.0304)
+%%Title: %3
+%%Pages: 1
+%%BoundingBox: 36 36 451 419
+%%EndComments
+save
+%%BeginProlog
+/DotDict 200 dict def
+DotDict begin
+
+/setupLatin1 {
+mark
+/EncodingVector 256 array def
+ EncodingVector 0
+
+ISOLatin1Encoding 0 255 getinterval putinterval
+EncodingVector 45 /hyphen put
+
+% Set up ISO Latin 1 character encoding
+/starnetISO {
+        dup dup findfont dup length dict begin
+        { 1 index /FID ne { def }{ pop pop } ifelse
+        } forall
+        /Encoding EncodingVector def
+        currentdict end definefont
+} def
+/Times-Roman starnetISO def
+/Times-Italic starnetISO def
+/Times-Bold starnetISO def
+/Times-BoldItalic starnetISO def
+/Helvetica starnetISO def
+/Helvetica-Oblique starnetISO def
+/Helvetica-Bold starnetISO def
+/Helvetica-BoldOblique starnetISO def
+/Courier starnetISO def
+/Courier-Oblique starnetISO def
+/Courier-Bold starnetISO def
+/Courier-BoldOblique starnetISO def
+cleartomark
+} bind def
+
+%%BeginResource: procset graphviz 0 0
+/coord-font-family /Times-Roman def
+/default-font-family /Times-Roman def
+/coordfont coord-font-family findfont 8 scalefont def
+
+/InvScaleFactor 1.0 def
+/set_scale {
+       dup 1 exch div /InvScaleFactor exch def
+       scale
+} bind def
+
+% styles
+/solid { [] 0 setdash } bind def
+/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
+/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
+/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
+/bold { 2 setlinewidth } bind def
+/filled { } bind def
+/unfilled { } bind def
+/rounded { } bind def
+/diagonals { } bind def
+/tapered { } bind def
+
+% hooks for setting color 
+/nodecolor { sethsbcolor } bind def
+/edgecolor { sethsbcolor } bind def
+/graphcolor { sethsbcolor } bind def
+/nopcolor {pop pop pop} bind def
+
+/beginpage {	% i j npages
+	/npages exch def
+	/j exch def
+	/i exch def
+	/str 10 string def
+	npages 1 gt {
+		gsave
+			coordfont setfont
+			0 0 moveto
+			(\() show i str cvs show (,) show j str cvs show (\)) show
+		grestore
+	} if
+} bind def
+
+/set_font {
+	findfont exch
+	scalefont setfont
+} def
+
+% draw text fitted to its expected width
+/alignedtext {			% width text
+	/text exch def
+	/width exch def
+	gsave
+		width 0 gt {
+			[] 0 setdash
+			text stringwidth pop width exch sub text length div 0 text ashow
+		} if
+	grestore
+} def
+
+/boxprim {				% xcorner ycorner xsize ysize
+		4 2 roll
+		moveto
+		2 copy
+		exch 0 rlineto
+		0 exch rlineto
+		pop neg 0 rlineto
+		closepath
+} bind def
+
+/ellipse_path {
+	/ry exch def
+	/rx exch def
+	/y exch def
+	/x exch def
+	matrix currentmatrix
+	newpath
+	x y translate
+	rx ry scale
+	0 0 1 0 360 arc
+	setmatrix
+} bind def
+
+/endpage { showpage } bind def
+/showpage { } def
+
+/layercolorseq
+	[	% layer color sequence - darkest to lightest
+		[0 0 0]
+		[.2 .8 .8]
+		[.4 .8 .8]
+		[.6 .8 .8]
+		[.8 .8 .8]
+	]
+def
+
+/layerlen layercolorseq length def
+
+/setlayer {/maxlayer exch def /curlayer exch def
+	layercolorseq curlayer 1 sub layerlen mod get
+	aload pop sethsbcolor
+	/nodecolor {nopcolor} def
+	/edgecolor {nopcolor} def
+	/graphcolor {nopcolor} def
+} bind def
+
+/onlayer { curlayer ne {invis} if } def
+
+/onlayers {
+	/myupper exch def
+	/mylower exch def
+	curlayer mylower lt
+	curlayer myupper gt
+	or
+	{invis} if
+} def
+
+/curlayer 0 def
+
+%%EndResource
+%%EndProlog
+%%BeginSetup
+14 default-font-family set_font
+% /arrowlength 10 def
+% /arrowwidth 5 def
+
+% make sure pdfmark is harmless for PS-interpreters other than Distiller
+/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
+% make '<<' and '>>' safe on PS Level 1 devices
+/languagelevel where {pop languagelevel}{1} ifelse
+2 lt {
+    userdict (<<) cvn ([) cvn load put
+    userdict (>>) cvn ([) cvn load put
+} if
+
+%%EndSetup
+setupLatin1
+%%Page: 1 1
+%%PageBoundingBox: 36 36 451 419
+%%PageOrientation: Portrait
+0 0 1 beginpage
+gsave
+36 36 415 383 boxprim clip newpath
+1 1 set_scale 0 rotate 40 40 translate
+% Rules_N3_0
+gsave
+0 0 0 nodecolor
+212.7468 372 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+212.7468 372 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N3_1
+gsave
+0 0 0 nodecolor
+212.7468 292 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+212.7468 292 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N3_0->Rules_N3_1
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 212.7468 370.0225 moveto
+212.7468 361.0296 212.7468 323.59 212.7468 304.0269 curveto
+stroke
+0 0 0 edgecolor
+newpath 216.2469 303.9084 moveto
+212.7468 293.9084 lineto
+209.2469 303.9084 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 216.2469 303.9084 moveto
+212.7468 293.9084 lineto
+209.2469 303.9084 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+212.7468 328.3 moveto 52 (taskname) alignedtext
+grestore
+% Rules_N3_2
+gsave
+0 0 0 nodecolor
+212.7468 211 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+212.7468 211 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N3_1->Rules_N3_2
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 212.7468 289.9977 moveto
+212.7468 280.8925 212.7468 242.9849 212.7468 223.1772 curveto
+stroke
+0 0 0 edgecolor
+newpath 216.2469 222.9322 moveto
+212.7468 212.9323 lineto
+209.2469 222.9323 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 216.2469 222.9322 moveto
+212.7468 212.9323 lineto
+209.2469 222.9323 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+212.7468 247.3 moveto 37 ('frame') alignedtext
+grestore
+% Rules_N3_3
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+35.7468 107 35.9954 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+16.2468 103.3 moveto 39 (!assign) alignedtext
+grestore
+% Rules_N3_2->Rules_N3_3
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 210.881 210.3153 moveto
+202.4155 207.1793 166.8589 193.6858 139.7468 178.5 curveto
+112.8164 163.4159 84.0317 143.2814 63.5886 128.2226 curveto
+stroke
+0 0 0 edgecolor
+newpath 65.4808 125.268 moveto
+55.3678 122.1092 lineto
+61.3036 130.8851 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 65.4808 125.268 moveto
+55.3678 122.1092 lineto
+61.3036 130.8851 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+139.7468 167.3 moveto 17 ('IP') alignedtext
+grestore
+% Rules_N3_4
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+124.7468 107 35.9954 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+105.2468 103.3 moveto 39 ('assign') alignedtext
+grestore
+% Rules_N3_2->Rules_N3_4
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 211.0767 209.9131 moveto
+205.2952 206.0979 185.7767 192.7744 172.7468 178.5 curveto
+160.1788 164.7316 148.4666 147.4135 139.7581 133.2698 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 142.6408 131.2718 moveto
+134.4902 124.5029 lineto
+136.6407 134.8772 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 142.6408 131.2718 moveto
+134.4902 124.5029 lineto
+136.6407 134.8772 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+172.7468 167.3 moveto 36 ('phase') alignedtext
+grestore
+% Rules_N3_5
+gsave
+1 setlinewidth
+0.33333 1 1 nodecolor
+212.7468 107 33.5952 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+194.7468 103.3 moveto 36 ('finish') alignedtext
+grestore
+% Rules_N3_2->Rules_N3_5
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 212.7468 209.1949 moveto
+212.7468 200.5273 212.7468 162.4839 212.7468 135.3528 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 216.2469 135.2195 moveto
+212.7468 125.2195 lineto
+209.2469 135.2196 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 216.2469 135.2195 moveto
+212.7468 125.2195 lineto
+209.2469 135.2196 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+212.7468 167.3 moveto 36 ('phase') alignedtext
+grestore
+% Rules_N3_6
+gsave
+0 0 0 nodecolor
+299.7468 3 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+299.7468 3 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N3_2->Rules_N3_6
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 214.6014 210.0555 moveto
+220.9853 206.7054 242.2349 194.7184 252.7468 178.5 curveto
+287.6991 124.5737 296.7865 45.3263 299.0402 15.2154 curveto
+stroke
+0 0 0 edgecolor
+newpath 302.5539 15.0978 moveto
+299.6724 4.9023 lineto
+295.567 14.6694 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 302.5539 15.0978 moveto
+299.6724 4.9023 lineto
+295.567 14.6694 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+287.7468 103.3 moveto 67 ('returnvalue') alignedtext
+grestore
+% Rules_N3_7
+gsave
+0 0 0 nodecolor
+369.7468 107 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+369.7468 107 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N3_2->Rules_N3_7
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 214.9664 210.4777 moveto
+225.022 208.045 267.0975 197.1486 296.7468 178.5 curveto
+324.2976 161.1713 349.853 131.9567 362.1223 116.7932 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 365.1269 118.6338 moveto
+368.5467 108.6061 lineto
+359.6199 114.3125 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 365.1269 118.6338 moveto
+368.5467 108.6061 lineto
+359.6199 114.3125 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+317.7468 167.3 moveto 49 ('variable') alignedtext
+grestore
+% Rules_N3_7->Rules_N3_6
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 368.5318 105.1949 moveto
+361.1678 94.254 322.2998 36.5072 306.4669 12.9841 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 309.2712 10.8822 moveto
+300.7838 4.5407 lineto
+303.4641 14.7909 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 309.2712 10.8822 moveto
+300.7838 4.5407 lineto
+303.4641 14.7909 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+330.7468 39.3 moveto 34 ('value') alignedtext
+grestore
+% Rules_N3_8
+gsave
+0 0 0 nodecolor
+372.7468 3 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+372.7468 3 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N3_7->Rules_N3_8
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 369.7989 105.1949 moveto
+370.1061 94.544 371.6929 39.5352 372.4028 14.925 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 375.9034 14.9516 moveto
+372.6933 4.8548 lineto
+368.9063 14.7497 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 375.9034 14.9516 moveto
+372.6933 4.8548 lineto
+368.9063 14.7497 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+372.7468 39.3 moveto 34 ('value') alignedtext
+grestore
+endpage
+showpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+end
+restore
+%%EOF

BIN
kernel/rules/generated/Rules_Assign_Assign_N3.pdf


+ 536 - 0
kernel/rules/generated/Rules_Assign_Init_N4.eps

@@ -0,0 +1,536 @@
+%!PS-Adobe-3.0 EPSF-3.0
+%%Creator: graphviz version 2.40.1 (20161225.0304)
+%%Title: %3
+%%Pages: 1
+%%BoundingBox: 36 36 513 451
+%%EndComments
+save
+%%BeginProlog
+/DotDict 200 dict def
+DotDict begin
+
+/setupLatin1 {
+mark
+/EncodingVector 256 array def
+ EncodingVector 0
+
+ISOLatin1Encoding 0 255 getinterval putinterval
+EncodingVector 45 /hyphen put
+
+% Set up ISO Latin 1 character encoding
+/starnetISO {
+        dup dup findfont dup length dict begin
+        { 1 index /FID ne { def }{ pop pop } ifelse
+        } forall
+        /Encoding EncodingVector def
+        currentdict end definefont
+} def
+/Times-Roman starnetISO def
+/Times-Italic starnetISO def
+/Times-Bold starnetISO def
+/Times-BoldItalic starnetISO def
+/Helvetica starnetISO def
+/Helvetica-Oblique starnetISO def
+/Helvetica-Bold starnetISO def
+/Helvetica-BoldOblique starnetISO def
+/Courier starnetISO def
+/Courier-Oblique starnetISO def
+/Courier-Bold starnetISO def
+/Courier-BoldOblique starnetISO def
+cleartomark
+} bind def
+
+%%BeginResource: procset graphviz 0 0
+/coord-font-family /Times-Roman def
+/default-font-family /Times-Roman def
+/coordfont coord-font-family findfont 8 scalefont def
+
+/InvScaleFactor 1.0 def
+/set_scale {
+       dup 1 exch div /InvScaleFactor exch def
+       scale
+} bind def
+
+% styles
+/solid { [] 0 setdash } bind def
+/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
+/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
+/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
+/bold { 2 setlinewidth } bind def
+/filled { } bind def
+/unfilled { } bind def
+/rounded { } bind def
+/diagonals { } bind def
+/tapered { } bind def
+
+% hooks for setting color 
+/nodecolor { sethsbcolor } bind def
+/edgecolor { sethsbcolor } bind def
+/graphcolor { sethsbcolor } bind def
+/nopcolor {pop pop pop} bind def
+
+/beginpage {	% i j npages
+	/npages exch def
+	/j exch def
+	/i exch def
+	/str 10 string def
+	npages 1 gt {
+		gsave
+			coordfont setfont
+			0 0 moveto
+			(\() show i str cvs show (,) show j str cvs show (\)) show
+		grestore
+	} if
+} bind def
+
+/set_font {
+	findfont exch
+	scalefont setfont
+} def
+
+% draw text fitted to its expected width
+/alignedtext {			% width text
+	/text exch def
+	/width exch def
+	gsave
+		width 0 gt {
+			[] 0 setdash
+			text stringwidth pop width exch sub text length div 0 text ashow
+		} if
+	grestore
+} def
+
+/boxprim {				% xcorner ycorner xsize ysize
+		4 2 roll
+		moveto
+		2 copy
+		exch 0 rlineto
+		0 exch rlineto
+		pop neg 0 rlineto
+		closepath
+} bind def
+
+/ellipse_path {
+	/ry exch def
+	/rx exch def
+	/y exch def
+	/x exch def
+	matrix currentmatrix
+	newpath
+	x y translate
+	rx ry scale
+	0 0 1 0 360 arc
+	setmatrix
+} bind def
+
+/endpage { showpage } bind def
+/showpage { } def
+
+/layercolorseq
+	[	% layer color sequence - darkest to lightest
+		[0 0 0]
+		[.2 .8 .8]
+		[.4 .8 .8]
+		[.6 .8 .8]
+		[.8 .8 .8]
+	]
+def
+
+/layerlen layercolorseq length def
+
+/setlayer {/maxlayer exch def /curlayer exch def
+	layercolorseq curlayer 1 sub layerlen mod get
+	aload pop sethsbcolor
+	/nodecolor {nopcolor} def
+	/edgecolor {nopcolor} def
+	/graphcolor {nopcolor} def
+} bind def
+
+/onlayer { curlayer ne {invis} if } def
+
+/onlayers {
+	/myupper exch def
+	/mylower exch def
+	curlayer mylower lt
+	curlayer myupper gt
+	or
+	{invis} if
+} def
+
+/curlayer 0 def
+
+%%EndResource
+%%EndProlog
+%%BeginSetup
+14 default-font-family set_font
+% /arrowlength 10 def
+% /arrowwidth 5 def
+
+% make sure pdfmark is harmless for PS-interpreters other than Distiller
+/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
+% make '<<' and '>>' safe on PS Level 1 devices
+/languagelevel where {pop languagelevel}{1} ifelse
+2 lt {
+    userdict (<<) cvn ([) cvn load put
+    userdict (>>) cvn ([) cvn load put
+} if
+
+%%EndSetup
+setupLatin1
+%%Page: 1 1
+%%PageBoundingBox: 36 36 513 451
+%%PageOrientation: Portrait
+0 0 1 beginpage
+gsave
+36 36 477 415 boxprim clip newpath
+1 1 set_scale 0 rotate 40 40 translate
+% Rules_N4_0
+gsave
+0 0 0 nodecolor
+247.4669 406 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+247.4669 406 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N4_1
+gsave
+0 0 0 nodecolor
+247.4669 351 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+247.4669 351 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N4_0->Rules_N4_1
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 247.4669 404.1701 moveto
+247.4669 397.9072 247.4669 376.9659 247.4669 363.3088 curveto
+stroke
+0 0 0 edgecolor
+newpath 250.967 362.8932 moveto
+247.4669 352.8932 lineto
+243.967 362.8933 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 250.967 362.8932 moveto
+247.4669 352.8932 lineto
+243.967 362.8933 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+247.4669 374.3 moveto 52 (taskname) alignedtext
+grestore
+% Rules_N4_2
+gsave
+0 0 0 nodecolor
+247.4669 296 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+247.4669 296 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N4_1->Rules_N4_2
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 247.4669 349.1701 moveto
+247.4669 342.9072 247.4669 321.9659 247.4669 308.3088 curveto
+stroke
+0 0 0 edgecolor
+newpath 250.967 307.8932 moveto
+247.4669 297.8932 lineto
+243.967 307.8933 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 250.967 307.8932 moveto
+247.4669 297.8932 lineto
+243.967 307.8933 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+247.4669 320.3 moveto 37 ('frame') alignedtext
+grestore
+% Rules_N4_3
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+42.4669 226 27 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+30.9669 222.3 moveto 23 ('init') alignedtext
+grestore
+% Rules_N4_2->Rules_N4_3
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 245.38 295.9646 moveto
+233.3487 295.7003 171.7664 293.5344 125.4669 276.5 curveto
+105.2207 269.0511 84.4875 256.4402 68.8075 245.6845 curveto
+stroke
+0 0 0 edgecolor
+newpath 70.3915 242.5189 moveto
+60.2012 239.6191 lineto
+66.359 248.2407 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 70.3915 242.5189 moveto
+60.2012 239.6191 lineto
+66.359 248.2407 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+125.4669 265.3 moveto 36 ('phase') alignedtext
+grestore
+% Rules_N4_4
+gsave
+0.33333 1 1 nodecolor
+145.4669 226 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0.33333 1 1 nodecolor
+145.4669 226 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N4_2->Rules_N4_4
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 245.5554 295.9361 moveto
+236.9126 295.5575 200.9372 293.0113 178.4669 276.5 curveto
+164.8314 266.4805 155.2631 248.994 150.0593 237.456 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 153.1744 235.8279 moveto
+146.1396 227.9057 lineto
+146.6986 238.4858 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 153.1744 235.8279 moveto
+146.1396 227.9057 lineto
+146.6986 238.4858 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+178.4669 265.3 moveto 55 ('evalstack') alignedtext
+grestore
+% Rules_N4_5
+gsave
+0 0 0 nodecolor
+231.4669 149 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+231.4669 149 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N4_2->Rules_N4_5
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 247.2407 293.922 moveto
+245.6658 279.4524 236.2965 193.3721 232.7903 161.1581 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 236.2247 160.3648 moveto
+231.6631 150.8023 lineto
+229.2658 161.1223 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 236.2247 160.3648 moveto
+231.6631 150.8023 lineto
+229.2658 161.1223 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+242.4669 222.3 moveto 55 ('evalstack') alignedtext
+grestore
+% Rules_N4_6
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+351.4669 73 35.9954 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+331.9669 69.3 moveto 39 (!assign) alignedtext
+grestore
+% Rules_N4_2->Rules_N4_6
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 249.0795 294.9347 moveto
+256.3487 290.0474 286.3689 268.9397 301.4669 244 curveto
+329.0482 198.4396 342.1468 136.8072 347.7672 101.3347 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 351.2634 101.6199 moveto
+349.2791 91.2125 lineto
+344.3402 100.5857 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 351.2634 101.6199 moveto
+349.2791 91.2125 lineto
+344.3402 100.5857 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+330.4669 178.3 moveto 17 ('IP') alignedtext
+grestore
+% Rules_N4_8
+gsave
+0 0 0 nodecolor
+402.4669 2 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+402.4669 2 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N4_2->Rules_N4_8
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 249.7692 295.7427 moveto
+272.2911 293.1646 452.4669 271.1295 452.4669 226 curveto
+452.4669 226 452.4669 226 452.4669 73 curveto
+452.4669 45.3399 426.7858 20.8592 412.2336 9.2075 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 414.2302 6.33 moveto
+404.1305 3.1287 lineto
+410.0294 11.9294 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 414.2302 6.33 moveto
+404.1305 3.1287 lineto
+410.0294 11.9294 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+452.4669 145.3 moveto 17 ('IP') alignedtext
+grestore
+% Rules_N4_4->Rules_N4_5
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 146.9596 224.6635 moveto
+155.8894 216.6682 202.5258 174.9124 222.4391 157.083 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 224.8177 159.6513 moveto
+229.9331 150.3733 lineto
+220.1483 154.4362 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 224.8177 159.6513 moveto
+229.9331 150.3733 lineto
+220.1483 154.4362 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+201.4669 178.3 moveto 29 ('prev') alignedtext
+grestore
+% Rules_N4_5->Rules_N4_6
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 233.1633 147.9256 moveto
+242.5373 141.9888 288.7289 112.7341 320.5406 92.5866 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 322.5138 95.4799 moveto
+329.0893 87.1725 lineto
+318.7684 89.5662 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 322.5138 95.4799 moveto
+329.0893 87.1725 lineto
+318.7684 89.5662 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+294.4669 112.3 moveto 25 ('inst') alignedtext
+grestore
+% Rules_N4_7
+gsave
+1 setlinewidth
+0.33333 1 1 nodecolor
+215.4669 73 32.4942 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+198.4669 69.3 moveto 34 ('value') alignedtext
+grestore
+% Rules_N4_5->Rules_N4_7
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 231.0714 147.1213 moveto
+229.7296 140.7478 225.2214 119.3337 221.3935 101.151 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 224.7895 100.2925 moveto
+219.3044 91.2281 lineto
+217.9397 101.7346 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 224.7895 100.2925 moveto
+219.3044 91.2281 lineto
+217.9397 101.7346 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+226.4669 112.3 moveto 36 ('phase') alignedtext
+grestore
+% Rules_N4_6->Rules_N4_8
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 363.8126 55.8129 moveto
+373.6422 42.1285 387.0629 23.4448 395.2284 12.0771 curveto
+stroke
+0 0 0 edgecolor
+newpath 398.1668 13.9857 moveto
+401.1582 3.8219 lineto
+392.4815 9.9019 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 398.1668 13.9857 moveto
+401.1582 3.8219 lineto
+392.4815 9.9019 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+386.4669 25.3 moveto 22 ('var') alignedtext
+grestore
+endpage
+showpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+end
+restore
+%%EOF

BIN
kernel/rules/generated/Rules_Assign_Init_N4.pdf


+ 636 - 0
kernel/rules/generated/Rules_Assign_Value_N5.eps

@@ -0,0 +1,636 @@
+%!PS-Adobe-3.0 EPSF-3.0
+%%Creator: graphviz version 2.40.1 (20161225.0304)
+%%Title: %3
+%%Pages: 1
+%%BoundingBox: 36 36 605 451
+%%EndComments
+save
+%%BeginProlog
+/DotDict 200 dict def
+DotDict begin
+
+/setupLatin1 {
+mark
+/EncodingVector 256 array def
+ EncodingVector 0
+
+ISOLatin1Encoding 0 255 getinterval putinterval
+EncodingVector 45 /hyphen put
+
+% Set up ISO Latin 1 character encoding
+/starnetISO {
+        dup dup findfont dup length dict begin
+        { 1 index /FID ne { def }{ pop pop } ifelse
+        } forall
+        /Encoding EncodingVector def
+        currentdict end definefont
+} def
+/Times-Roman starnetISO def
+/Times-Italic starnetISO def
+/Times-Bold starnetISO def
+/Times-BoldItalic starnetISO def
+/Helvetica starnetISO def
+/Helvetica-Oblique starnetISO def
+/Helvetica-Bold starnetISO def
+/Helvetica-BoldOblique starnetISO def
+/Courier starnetISO def
+/Courier-Oblique starnetISO def
+/Courier-Bold starnetISO def
+/Courier-BoldOblique starnetISO def
+cleartomark
+} bind def
+
+%%BeginResource: procset graphviz 0 0
+/coord-font-family /Times-Roman def
+/default-font-family /Times-Roman def
+/coordfont coord-font-family findfont 8 scalefont def
+
+/InvScaleFactor 1.0 def
+/set_scale {
+       dup 1 exch div /InvScaleFactor exch def
+       scale
+} bind def
+
+% styles
+/solid { [] 0 setdash } bind def
+/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
+/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
+/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
+/bold { 2 setlinewidth } bind def
+/filled { } bind def
+/unfilled { } bind def
+/rounded { } bind def
+/diagonals { } bind def
+/tapered { } bind def
+
+% hooks for setting color 
+/nodecolor { sethsbcolor } bind def
+/edgecolor { sethsbcolor } bind def
+/graphcolor { sethsbcolor } bind def
+/nopcolor {pop pop pop} bind def
+
+/beginpage {	% i j npages
+	/npages exch def
+	/j exch def
+	/i exch def
+	/str 10 string def
+	npages 1 gt {
+		gsave
+			coordfont setfont
+			0 0 moveto
+			(\() show i str cvs show (,) show j str cvs show (\)) show
+		grestore
+	} if
+} bind def
+
+/set_font {
+	findfont exch
+	scalefont setfont
+} def
+
+% draw text fitted to its expected width
+/alignedtext {			% width text
+	/text exch def
+	/width exch def
+	gsave
+		width 0 gt {
+			[] 0 setdash
+			text stringwidth pop width exch sub text length div 0 text ashow
+		} if
+	grestore
+} def
+
+/boxprim {				% xcorner ycorner xsize ysize
+		4 2 roll
+		moveto
+		2 copy
+		exch 0 rlineto
+		0 exch rlineto
+		pop neg 0 rlineto
+		closepath
+} bind def
+
+/ellipse_path {
+	/ry exch def
+	/rx exch def
+	/y exch def
+	/x exch def
+	matrix currentmatrix
+	newpath
+	x y translate
+	rx ry scale
+	0 0 1 0 360 arc
+	setmatrix
+} bind def
+
+/endpage { showpage } bind def
+/showpage { } def
+
+/layercolorseq
+	[	% layer color sequence - darkest to lightest
+		[0 0 0]
+		[.2 .8 .8]
+		[.4 .8 .8]
+		[.6 .8 .8]
+		[.8 .8 .8]
+	]
+def
+
+/layerlen layercolorseq length def
+
+/setlayer {/maxlayer exch def /curlayer exch def
+	layercolorseq curlayer 1 sub layerlen mod get
+	aload pop sethsbcolor
+	/nodecolor {nopcolor} def
+	/edgecolor {nopcolor} def
+	/graphcolor {nopcolor} def
+} bind def
+
+/onlayer { curlayer ne {invis} if } def
+
+/onlayers {
+	/myupper exch def
+	/mylower exch def
+	curlayer mylower lt
+	curlayer myupper gt
+	or
+	{invis} if
+} def
+
+/curlayer 0 def
+
+%%EndResource
+%%EndProlog
+%%BeginSetup
+14 default-font-family set_font
+% /arrowlength 10 def
+% /arrowwidth 5 def
+
+% make sure pdfmark is harmless for PS-interpreters other than Distiller
+/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
+% make '<<' and '>>' safe on PS Level 1 devices
+/languagelevel where {pop languagelevel}{1} ifelse
+2 lt {
+    userdict (<<) cvn ([) cvn load put
+    userdict (>>) cvn ([) cvn load put
+} if
+
+%%EndSetup
+setupLatin1
+%%Page: 1 1
+%%PageBoundingBox: 36 36 605 451
+%%PageOrientation: Portrait
+0 0 1 beginpage
+gsave
+36 36 569 415 boxprim clip newpath
+1 1 set_scale 0 rotate 40 40 translate
+% Rules_N5_0
+gsave
+0 0 0 nodecolor
+235.8218 406 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+235.8218 406 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N5_1
+gsave
+0 0 0 nodecolor
+235.8218 351 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+235.8218 351 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N5_0->Rules_N5_1
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 235.8218 404.1701 moveto
+235.8218 397.9072 235.8218 376.9659 235.8218 363.3088 curveto
+stroke
+0 0 0 edgecolor
+newpath 239.3218 362.8932 moveto
+235.8218 352.8932 lineto
+232.3218 362.8933 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 239.3218 362.8932 moveto
+235.8218 352.8932 lineto
+232.3218 362.8933 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+235.8218 374.3 moveto 52 (taskname) alignedtext
+grestore
+% Rules_N5_2
+gsave
+0 0 0 nodecolor
+235.8218 296 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+235.8218 296 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N5_1->Rules_N5_2
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 235.8218 349.1701 moveto
+235.8218 342.9072 235.8218 321.9659 235.8218 308.3088 curveto
+stroke
+0 0 0 edgecolor
+newpath 239.3218 307.8932 moveto
+235.8218 297.8932 lineto
+232.3218 307.8933 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 239.3218 307.8932 moveto
+235.8218 297.8932 lineto
+232.3218 307.8933 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+235.8218 320.3 moveto 37 ('frame') alignedtext
+grestore
+% Rules_N5_3
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+37.8218 226 32.4942 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+20.8218 222.3 moveto 34 ('value') alignedtext
+grestore
+% Rules_N5_2->Rules_N5_3
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 234.0079 295.9114 moveto
+216.2435 295.0293 73.6641 287.6252 58.8218 276.5 curveto
+51.5042 271.015 46.7202 262.5093 43.5993 254.0321 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 46.8936 252.8342 moveto
+40.6473 244.2765 lineto
+40.1936 254.8616 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 46.8936 252.8342 moveto
+40.6473 244.2765 lineto
+40.1936 254.8616 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+58.8218 265.3 moveto 36 ('phase') alignedtext
+grestore
+% Rules_N5_4
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+184.8218 73 35.9954 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+165.3218 69.3 moveto 39 (!assign) alignedtext
+grestore
+% Rules_N5_2->Rules_N5_4
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 233.7838 295.7337 moveto
+226.7685 294.7051 203.4138 290.3328 191.8218 276.5 curveto
+182.2672 265.0985 186.8136 258.5716 183.8218 244 curveto
+178.884 219.9514 176.8285 213.9681 174.8218 189.5 curveto
+172.3468 159.3225 176.1506 124.7619 179.7568 101.1702 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 183.2345 101.5884 moveto
+181.3765 91.1578 lineto
+176.3244 100.4705 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 183.2345 101.5884 moveto
+181.3765 91.1578 lineto
+176.3244 100.4705 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+174.8218 178.3 moveto 17 ('IP') alignedtext
+grestore
+% Rules_N5_5
+gsave
+0.33333 1 1 nodecolor
+335.8218 226 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0.33333 1 1 nodecolor
+335.8218 226 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N5_2->Rules_N5_5
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 237.343 294.8751 moveto
+243.363 290.4396 266.1507 273.804 285.8218 261.5 curveto
+299.2354 253.1099 304.0951 253.3996 316.8218 244 curveto
+320.4768 241.3005 324.1755 237.9634 327.326 234.8987 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 330.1092 237.0553 moveto
+334.5414 227.4321 lineto
+325.0754 232.191 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 330.1092 237.0553 moveto
+334.5414 227.4321 lineto
+325.0754 232.191 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+285.8218 265.3 moveto 55 ('evalstack') alignedtext
+grestore
+% Rules_N5_6
+gsave
+1 setlinewidth
+0.33333 1 1 nodecolor
+280.8218 226 27 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+269.3218 222.3 moveto 23 ('init') alignedtext
+grestore
+% Rules_N5_2->Rules_N5_6
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 234.1819 295.2425 moveto
+229.7216 293.0782 217.3984 286.3804 212.8218 276.5 curveto
+210.0197 270.4508 209.3666 267.2014 212.8218 261.5 curveto
+220.1369 249.4291 233.0501 241.2683 245.6723 235.849 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 247.0783 239.0586 moveto
+255.1704 232.2198 lineto
+244.5798 232.5197 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 247.0783 239.0586 moveto
+255.1704 232.2198 lineto
+244.5798 232.5197 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+212.8218 265.3 moveto 36 ('phase') alignedtext
+grestore
+% Rules_N5_7
+gsave
+0 0 0 nodecolor
+337.8218 2 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+337.8218 2 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N5_2->Rules_N5_7
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 237.8061 295.9294 moveto
+260.2656 295.1203 466.281 287.4235 490.8218 276.5 curveto
+520.5465 263.269 543.8218 258.5364 543.8218 226 curveto
+543.8218 226 543.8218 226 543.8218 73 curveto
+543.8218 31.7728 394.4819 9.2791 350.1102 3.5057 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 350.4907 .0261 moveto
+340.1352 2.2654 lineto
+349.6269 6.9726 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 350.4907 .0261 moveto
+340.1352 2.2654 lineto
+349.6269 6.9726 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+543.8218 145.3 moveto 17 ('IP') alignedtext
+grestore
+% Rules_N5_8
+gsave
+0 0 0 nodecolor
+404.8218 226 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+404.8218 226 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N5_2->Rules_N5_8
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 237.6956 295.9455 moveto
+256.044 295.3931 403.2245 290.5356 415.8218 276.5 curveto
+425.7858 265.3982 418.1691 247.4179 411.6039 236.1752 curveto
+stroke
+0 0 0 edgecolor
+newpath 414.3191 233.9316 moveto
+405.9237 227.4688 lineto
+408.4565 237.7564 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 414.3191 233.9316 moveto
+405.9237 227.4688 lineto
+408.4565 237.7564 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+419.8218 265.3 moveto 67 ('returnvalue') alignedtext
+grestore
+% Rules_N5_2->Rules_N5_8
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 237.9008 295.7522 moveto
+250.9139 294.1809 321.235 285.3842 340.8218 276.5 curveto
+346.9544 273.7183 379.3389 247.1634 395.5543 233.719 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 397.9893 236.246 moveto
+403.4368 227.1589 lineto
+393.5115 230.8655 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 397.9893 236.246 moveto
+403.4368 227.1589 lineto
+393.5115 230.8655 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+360.8218 265.3 moveto 49 ('variable') alignedtext
+grestore
+% Rules_N5_9
+gsave
+0 0 0 nodecolor
+215.8218 149 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+215.8218 149 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N5_2->Rules_N5_9
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 234.0334 295.1919 moveto
+229.1235 292.8982 215.2409 285.9005 206.8218 276.5 curveto
+195.9464 264.3569 193.7119 259.8302 189.8218 244 curveto
+186.0035 228.4623 186.5249 223.6567 189.8218 208 curveto
+193.5877 190.1152 203.1268 171.0431 209.5425 159.5739 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 212.6824 161.1386 moveto
+214.7249 150.7425 lineto
+206.6451 157.5958 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 212.6824 161.1386 moveto
+214.7249 150.7425 lineto
+206.6451 157.5958 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+189.8218 222.3 moveto 55 ('evalstack') alignedtext
+grestore
+% Rules_N5_4->Rules_N5_7
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 211.1234 60.7947 moveto
+245.1737 44.9936 302.9794 18.1687 326.9287 7.0549 curveto
+stroke
+0 0 0 edgecolor
+newpath 328.4638 10.2011 moveto
+336.0614 2.8169 lineto
+325.5172 3.8515 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 328.4638 10.2011 moveto
+336.0614 2.8169 lineto
+325.5172 3.8515 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+292.8218 25.3 moveto 34 ('value') alignedtext
+grestore
+% Rules_N5_5->Rules_N5_9
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 334.5356 224.5756 moveto
+331.599 221.3719 324.0917 213.4528 316.8218 208 curveto
+286.1712 185.0105 245.8395 163.8606 226.7451 154.3259 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 228.0993 151.0919 moveto
+217.5793 149.8349 lineto
+225.0193 157.3779 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 228.0993 151.0919 moveto
+217.5793 149.8349 lineto
+225.0193 157.3779 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+287.8218 178.3 moveto 29 ('prev') alignedtext
+grestore
+% Rules_N5_9->Rules_N5_4
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 215.0555 147.1213 moveto
+212.4158 140.6498 203.4509 118.6714 195.9631 100.3143 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 199.132 98.8161 moveto
+192.1144 90.8787 lineto
+192.6505 101.4599 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 199.132 98.8161 moveto
+192.1144 90.8787 lineto
+192.6505 101.4599 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+205.8218 112.3 moveto 25 ('inst') alignedtext
+grestore
+% Rules_N5_10
+gsave
+1 setlinewidth
+0.33333 1 1 nodecolor
+289.8218 73 35.9954 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+270.3218 69.3 moveto 39 ('assign') alignedtext
+grestore
+% Rules_N5_9->Rules_N5_10
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 217.1062 147.6809 moveto
+222.9685 141.6601 247.7168 116.243 266.7302 96.7156 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 269.4727 98.9161 moveto
+273.9412 89.3097 lineto
+264.4574 94.0328 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 269.4727 98.9161 moveto
+273.9412 89.3097 lineto
+264.4574 94.0328 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+255.8218 112.3 moveto 36 ('phase') alignedtext
+grestore
+endpage
+showpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+end
+restore
+%%EOF

BIN
kernel/rules/generated/Rules_Assign_Value_N5.pdf


+ 589 - 0
kernel/rules/generated/Rules_Break_N6.eps

@@ -0,0 +1,589 @@
+%!PS-Adobe-3.0 EPSF-3.0
+%%Creator: graphviz version 2.40.1 (20161225.0304)
+%%Title: %3
+%%Pages: 1
+%%BoundingBox: 36 36 436 418
+%%EndComments
+save
+%%BeginProlog
+/DotDict 200 dict def
+DotDict begin
+
+/setupLatin1 {
+mark
+/EncodingVector 256 array def
+ EncodingVector 0
+
+ISOLatin1Encoding 0 255 getinterval putinterval
+EncodingVector 45 /hyphen put
+
+% Set up ISO Latin 1 character encoding
+/starnetISO {
+        dup dup findfont dup length dict begin
+        { 1 index /FID ne { def }{ pop pop } ifelse
+        } forall
+        /Encoding EncodingVector def
+        currentdict end definefont
+} def
+/Times-Roman starnetISO def
+/Times-Italic starnetISO def
+/Times-Bold starnetISO def
+/Times-BoldItalic starnetISO def
+/Helvetica starnetISO def
+/Helvetica-Oblique starnetISO def
+/Helvetica-Bold starnetISO def
+/Helvetica-BoldOblique starnetISO def
+/Courier starnetISO def
+/Courier-Oblique starnetISO def
+/Courier-Bold starnetISO def
+/Courier-BoldOblique starnetISO def
+cleartomark
+} bind def
+
+%%BeginResource: procset graphviz 0 0
+/coord-font-family /Times-Roman def
+/default-font-family /Times-Roman def
+/coordfont coord-font-family findfont 8 scalefont def
+
+/InvScaleFactor 1.0 def
+/set_scale {
+       dup 1 exch div /InvScaleFactor exch def
+       scale
+} bind def
+
+% styles
+/solid { [] 0 setdash } bind def
+/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
+/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
+/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
+/bold { 2 setlinewidth } bind def
+/filled { } bind def
+/unfilled { } bind def
+/rounded { } bind def
+/diagonals { } bind def
+/tapered { } bind def
+
+% hooks for setting color 
+/nodecolor { sethsbcolor } bind def
+/edgecolor { sethsbcolor } bind def
+/graphcolor { sethsbcolor } bind def
+/nopcolor {pop pop pop} bind def
+
+/beginpage {	% i j npages
+	/npages exch def
+	/j exch def
+	/i exch def
+	/str 10 string def
+	npages 1 gt {
+		gsave
+			coordfont setfont
+			0 0 moveto
+			(\() show i str cvs show (,) show j str cvs show (\)) show
+		grestore
+	} if
+} bind def
+
+/set_font {
+	findfont exch
+	scalefont setfont
+} def
+
+% draw text fitted to its expected width
+/alignedtext {			% width text
+	/text exch def
+	/width exch def
+	gsave
+		width 0 gt {
+			[] 0 setdash
+			text stringwidth pop width exch sub text length div 0 text ashow
+		} if
+	grestore
+} def
+
+/boxprim {				% xcorner ycorner xsize ysize
+		4 2 roll
+		moveto
+		2 copy
+		exch 0 rlineto
+		0 exch rlineto
+		pop neg 0 rlineto
+		closepath
+} bind def
+
+/ellipse_path {
+	/ry exch def
+	/rx exch def
+	/y exch def
+	/x exch def
+	matrix currentmatrix
+	newpath
+	x y translate
+	rx ry scale
+	0 0 1 0 360 arc
+	setmatrix
+} bind def
+
+/endpage { showpage } bind def
+/showpage { } def
+
+/layercolorseq
+	[	% layer color sequence - darkest to lightest
+		[0 0 0]
+		[.2 .8 .8]
+		[.4 .8 .8]
+		[.6 .8 .8]
+		[.8 .8 .8]
+	]
+def
+
+/layerlen layercolorseq length def
+
+/setlayer {/maxlayer exch def /curlayer exch def
+	layercolorseq curlayer 1 sub layerlen mod get
+	aload pop sethsbcolor
+	/nodecolor {nopcolor} def
+	/edgecolor {nopcolor} def
+	/graphcolor {nopcolor} def
+} bind def
+
+/onlayer { curlayer ne {invis} if } def
+
+/onlayers {
+	/myupper exch def
+	/mylower exch def
+	curlayer mylower lt
+	curlayer myupper gt
+	or
+	{invis} if
+} def
+
+/curlayer 0 def
+
+%%EndResource
+%%EndProlog
+%%BeginSetup
+14 default-font-family set_font
+% /arrowlength 10 def
+% /arrowwidth 5 def
+
+% make sure pdfmark is harmless for PS-interpreters other than Distiller
+/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
+% make '<<' and '>>' safe on PS Level 1 devices
+/languagelevel where {pop languagelevel}{1} ifelse
+2 lt {
+    userdict (<<) cvn ([) cvn load put
+    userdict (>>) cvn ([) cvn load put
+} if
+
+%%EndSetup
+setupLatin1
+%%Page: 1 1
+%%PageBoundingBox: 36 36 436 418
+%%PageOrientation: Portrait
+0 0 1 beginpage
+gsave
+36 36 400 382 boxprim clip newpath
+1 1 set_scale 0 rotate 40 40 translate
+% Rules_N6_0
+gsave
+0 0 0 nodecolor
+186.2018 372 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+186.2018 372 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N6_1
+gsave
+0 0 0 nodecolor
+186.2018 317 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+186.2018 317 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N6_0->Rules_N6_1
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 186.2018 370.1701 moveto
+186.2018 363.9072 186.2018 342.9659 186.2018 329.3088 curveto
+stroke
+0 0 0 edgecolor
+newpath 189.7019 328.8932 moveto
+186.2018 318.8932 lineto
+182.7019 328.8933 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 189.7019 328.8932 moveto
+186.2018 318.8932 lineto
+182.7019 328.8933 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+186.2018 341.3 moveto 52 (taskname) alignedtext
+grestore
+% Rules_N6_2
+gsave
+0 0 0 nodecolor
+186.2018 263 1.8 1.8 ellipse_path fill
+1 setlinewidth
+filled
+0 0 0 nodecolor
+186.2018 263 1.8 1.8 ellipse_path stroke
+grestore
+% Rules_N6_1->Rules_N6_2
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 186.2018 314.6797 moveto
+186.2018 307.9573 186.2018 288.1183 186.2018 275.0682 curveto
+stroke
+0 0 0 edgecolor
+newpath 189.7019 275.0183 moveto
+186.2018 265.0183 lineto
+182.7019 275.0183 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 189.7019 275.0183 moveto
+186.2018 265.0183 lineto
+182.7019 275.0183 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+186.2018 286.3 moveto 37 ('frame') alignedtext
+grestore
+% Rules_N6_3
+gsave
+1 setlinewidth
+0 0 0 nodecolor
+30.2018 192 27 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+18.7018 188.3 moveto 23 ('init') alignedtext
+grestore
+% Rules_N6_2->Rules_N6_3
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 184.0862 262.7879 moveto
+170.8473 261.4343 99.3424 253.7353 80.2018 243.5 curveto
+68.0107 236.9809 56.996 226.4407 48.4275 216.5886 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 50.8911 214.0742 moveto
+41.8332 208.5781 lineto
+45.4867 218.5231 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 50.8911 214.0742 moveto
+41.8332 208.5781 lineto
+45.4867 218.5231 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+80.2018 232.3 moveto 36 ('phase') alignedtext
+grestore
+% Rules_N6_4
+gsave
+1 setlinewidth
+0.33333 1 1 nodecolor
+117.2018 192 33.5952 18 ellipse_path stroke
+0 0 0 nodecolor
+14 /Times-Roman set_font
+99.2018 188.3 moveto 36 ('finish') alignedtext
+grestore
+% Rules_N6_2->Rules_N6_4
+gsave
+4 setlinewidth
+0.33333 1 1 edgecolor
+newpath 184.0809 262.5783 moveto
+174.5882 260.6493 136.1225 252.3785 128.2018 243.5 curveto
+122.5529 237.168 119.5541 228.6581 118.0264 220.3817 curveto
+stroke
+0.33333 1 1 edgecolor
+newpath 121.4705 219.7093 moveto
+116.7893 210.2048 lineto
+114.5217 220.5541 lineto
+closepath fill
+4 setlinewidth
+solid
+0.33333 1 1 edgecolor
+newpath 121.4705 219.7093 moveto
+116.7893 210.2048 lineto
+114.5217 220.5541 lineto
+closepath stroke
+0 0 0 edgecolor
+14 /Times-Roman set_font
+128.2018 232.3 moveto 36 ('phase') alignedtext
+grestore
+% Rules_N6_5