format 70

classcanvas 128002 class_ref 148738 // Action
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 151 121 2000
end
classcanvas 128130 class_ref 148866 // Command
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 212 31 2000
end
classcanvas 128258 class_ref 148994 // CommandList
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 338 18 2000
end
classcanvas 128642 class_ref 149122 // Environment
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 99 305 2000
end
classcanvas 128770 class_ref 149250 // curses
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 118 611 2000
end
classcanvas 128898 class_ref 149378 // FM
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 143 185 2000
end
classcanvas 129154 class_ref 128002 // Displayable
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 325 408 2000
end
classcanvas 129666 class_ref 135426 // Console
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 627 149 2006
end
classcanvas 129922 class_ref 128130 // UI
  draw_all_relations default hide_attributes default hide_operations yes hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 366 235 2006
end
classcanvas 130178 class_ref 128386 // DisplayableContainer
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 299 311 2012
end
classcanvas 131458 class_ref 155906 // FileSystemObject
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 71 416 2000
end
classcanvas 131842 class_ref 128258 // DefaultUI
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 325 129 2012
end
classcanvas 132610 class_ref 156034 // Widget
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 509 237 2017
end
classcanvas 133250 class_ref 135170 // BrowserColumn
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 526 453 2023
end
classcanvas 133506 class_ref 135042 // TitleBar
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 646 391 2023
end
classcanvas 136322 class_ref 162690 // os
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default show_members_full_definition default show_members_visibility default show_members_stereotype default show_members_multiplicity default show_members_initialization default show_attribute_modifiers default member_max_width 0 show_parameter_dir default show_parameter_name default package_name_in_tab default class_drawing_mode default drawing_language default show_context_mode default auto_label_position default show_relation_modifiers default show_relation_visibility default show_infonote default shadow default show_stereotype_properties default
  xyz 54 566 2000
end
packagecanvas 136578 
  package_ref 134530 // builtin
    xyzwh 29 522 2006 225 181
end
note 137346 "\"outer world\""
  xyzwh 123 566 2011 117 37
classcanvas 137602 class_ref 175746 // Pager
  draw_all_relations default hide_attributes default hide_operations default hide_getset_operations default shoight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */</style><div class="highlight"><pre><span></span>:(before &quot;End Globals&quot;)
// Jump ops.
const int JUMP = 10;
:(before &quot;End Primitive Recipe Numbers&quot;)
Recipe_number[&quot;jump&quot;] = JUMP;
assert(Next_recipe_number == JUMP);
Next_recipe_number++;
:(before &quot;End Primitive Recipe Implementations&quot;)
case JUMP: {
  trace(&quot;run&quot;) &lt;&lt; &quot;ingredient 0 is &quot; &lt;&lt; instructions[pc].ingredients[0].value;
  pc += instructions[pc].ingredients[0].value;
  trace(&quot;run&quot;) &lt;&lt; &quot;pc now &quot; &lt;&lt; pc;
  break;
}

:(scenario &quot;jump_can_skip_instructions&quot;)
recipe main [
  jump 1:offset
  1:integer &lt;- copy 1:literal
]
+run: instruction main/0
+run: ingredient 0 is 1
-run: instruction main/1
-mem: storing 1 in location 1

:(scenario &quot;jump_backward&quot;)
recipe main [
  jump 1:offset  # 0 -+
  jump 1:offset  #    |   +-+ 1
                 #   \/  /\ |
  jump -2:offset #  2 +--&gt;+ |
]                #         \/ 3
+run: instruction main/0
+run: instruction main/2
+run: instruction main/1

:(before &quot;End Globals&quot;)
const int JUMP_IF = 11;
:(before &quot;End Primitive Recipe Numbers&quot;)
Recipe_number[&quot;jump-if&quot;] = JUMP_IF;
assert(Next_recipe_number == JUMP_IF);
Next_recipe_number++;
:(before &quot;End Primitive Recipe Implementations&quot;)
case JUMP_IF: {
  vector&lt;int&gt; arg0 = read_memory(instructions[pc].ingredients[0]);
  assert(arg0.size() == 1);
  trace(&quot;run&quot;) &lt;&lt; &quot;ingredient 0 is &quot; &lt;&lt; arg0[0];
  if (!arg0[0]) {
    trace(&quot;run&quot;) &lt;&lt; &quot;jump-if fell through&quot;;
    break;
  }
  trace(&quot;run&quot;) &lt;&lt; &quot;ingredient 1 is &quot; &lt;&lt; instructions[pc].ingredients[1].name;
  pc += instructions[pc].ingredients[1].value;
  trace(&quot;run&quot;) &lt;&lt; &quot;jumping to instruction &quot; &lt;&lt; pc+1;
  break;
}

:(scenario &quot;jump_if&quot;)
recipe main [
  jump-if 999:literal 1:offset
  1:integer &lt;- copy 1:literal
]
+run: instruction main/0
+run: ingredient 1 is 1
+run: jumping to instruction 2
-run: instruction main/1
-mem: storing 1 in location 1

:(scenario &quot;jump_if_fallthrough&quot;)
recipe main [
  jump-if 0:literal 1:offset
  123:integer &lt;- copy 1:literal
]
+run: instruction main/0
+run: jump-if fell through
+run: instruction main/1
+mem: storing 1 in location 123

:(before &quot;End Globals&quot;)
const int JUMP_UNLESS = 12;
:(before &quot;End Primitive Recipe Numbers&quot;)
Recipe_number[&quot;jump-unless&quot;] = JUMP_UNLESS;
assert(Next_recipe_number == JUMP_UNLESS);
Next_recipe_number++;
:(before &quot;End Primitive Recipe Implementations&quot;)
case JUMP_UNLESS: {
  vector&lt;int&gt; arg0 = read_memory(instructions[pc].ingredients[0]);
  assert(arg0.size() == 1);
  trace(&quot;run&quot;) &lt;&lt; &quot;ingredient 0 is &quot; &lt;&lt; arg0[0];
  if (arg0[0]) {
    trace(&quot;run&quot;) &lt;&lt; &quot;jump-unless fell through&quot;;
    break;
  }
  trace(&quot;run&quot;) &lt;&lt; &quot;ingredient 1 is &quot; &lt;&lt; instructions[pc].ingredients[1].name;
  pc += instructions[pc].ingredients[1].value;
  trace(&quot;run&quot;) &lt;&lt; &quot;jumping to instruction &quot; &lt;&lt; pc+1;
  break;
}

:(scenario &quot;jump_unless&quot;)
recipe main [
  jump-unless 0:literal 1:offset
  1:integer &lt;- copy 1:literal
]
+run: instruction main/0
+run: ingredient 1 is 1
+run: jumping to instruction 2
-run: instruction main/1
-mem: storing 1 in location 1

:(scenario &quot;jump_unless_fallthrough&quot;)
recipe main [
  jump-unless 999:literal 1:offset
  123:integer &lt;- copy 1:literal
]
+run: instruction main/0
+run: ingredient 0 is 999
+run: jump-unless fell through
+run: instruction main/1
+mem: storing 1 in location 123
</pre></div>
city_a no_multiplicity_b
end
relationcanvas 137858 relation_ref 191362 // <generalisation>
  from ref 133250 z 2029 to ref 137602
  no_role_a no_role_b
  no_multiplicity_a no_multiplicity_b
end
end