update spoofax generated resources in coolf

OpenUniversity · Dec 21, 2018 · b2dcbe3 · b2dcbe3
1 parent 0441c02
commit b2dcbe3
Show file tree

Hide file tree

Showing 218 changed files with 6,898 additions and 9,875 deletions.
diff --git a/coolf/src/main/java/cool/$And$Comp_2_0.java b/coolf/src/main/java/cool/$And$Comp_2_0.java
diff --git a/coolf/src/main/java/cool/$Not$Comp_1_0.java b/coolf/src/main/java/cool/$Not$Comp_1_0.java
diff --git a/coolf/src/main/java/cool/$Or$Comp_2_0.java b/coolf/src/main/java/cool/$Or$Comp_2_0.java
diff --git a/coolf/src/main/java/cool/CoolFrontendAspect.aj b/coolf/src/main/java/cool/CoolFrontendAspect.aj
diff --git a/coolf/src/main/java/cool/InteropRegisterer.java b/coolf/src/main/java/cool/InteropRegisterer.java
@@ -27,17 +27,6 @@ private void register(org.spoofax.interpreter.core.IContext context, Context com
   { 
     compiledContext.registerComponent("cool");
     cool.init(compiledContext);
-    varScope.addSVar("aspectj_to_box_0_0_fragment_4", new InteropSDefT(aspectj_to_box_0_0_fragment_4.instance, context));
-    varScope.addSVar("aspectj_to_box_0_0_fragment_3", new InteropSDefT(aspectj_to_box_0_0_fragment_3.instance, context));
-    varScope.addSVar("aspectj_to_box_0_0_fragment_2", new InteropSDefT(aspectj_to_box_0_0_fragment_2.instance, context));
-    varScope.addSVar("aspectj_to_box_0_0_fragment_1", new InteropSDefT(aspectj_to_box_0_0_fragment_1.instance, context));
-    varScope.addSVar("aspectj_to_box_0_0_fragment_0", new InteropSDefT(aspectj_to_box_0_0_fragment_0.instance, context));
-    varScope.addSVar("aspectj_to_box_0_0", new InteropSDefT(aspectj_to_box_0_0.instance, context));
-    varScope.addSVar("has_leftmost_not_0_0", new InteropSDefT(has_leftmost_not_0_0.instance, context));
-    varScope.addSVar("pp_aspectj_box_0_0", new InteropSDefT(pp_aspectj_box_0_0.instance, context));
-    varScope.addSVar("option_to_boxes_0_0", new InteropSDefT(option_to_boxes_0_0.instance, context));
-    varScope.addSVar("pp_aspectj_string_0_0", new InteropSDefT(pp_aspectj_string_0_0.instance, context));
-    varScope.addSVar("fetch__class__name_0_0", new InteropSDefT(fetch__class__name_0_0.instance, context));
     varScope.addSVar("fetch__full__class__name_0_0", new InteropSDefT(fetch__full__class__name_0_0.instance, context));
     varScope.addSVar("pp_type_0_0", new InteropSDefT(pp_type_0_0.instance, context));
     varScope.addSVar("add__externals_0_1", new InteropSDefT(add__externals_0_1.instance, context));
@@ -64,18 +53,29 @@ private void register(org.spoofax.interpreter.core.IContext context, Context com
     varScope.addSVar("get_expr_type_0_3", new InteropSDefT(get_expr_type_0_3.instance, context));
     varScope.addSVar("type_of_0_3", new InteropSDefT(type_of_0_3.instance, context));
     varScope.addSVar("fetch_0_0", new InteropSDefT(fetch_0_0.instance, context));
+    varScope.addSVar("main_0_0", new InteropSDefT(main_0_0.instance, context));
+    varScope.addSVar("handle_io_0_0", new InteropSDefT(handle_io_0_0.instance, context));
     varScope.addSVar("transform_0_0", new InteropSDefT(transform_0_0.instance, context));
     varScope.addSVar("transform_ast_0_0", new InteropSDefT(transform_ast_0_0.instance, context));
+    varScope.addSVar("gen_source_location_0_0", new InteropSDefT(gen_source_location_0_0.instance, context));
+    varScope.addSVar("origin_location_0_0", new InteropSDefT(origin_location_0_0.instance, context));
+    varScope.addSVar("origin_file_0_0", new InteropSDefT(origin_file_0_0.instance, context));
     varScope.addSVar("gen_isRunByOthers_method_0_0", new InteropSDefT(gen_is$Run$By$Others_method_0_0.instance, context));
     varScope.addSVar("gen_method_state_0_1", new InteropSDefT(gen_method_state_0_1.instance, context));
     varScope.addSVar("gen_method_state_name_0_1", new InteropSDefT(gen_method_state_name_0_1.instance, context));
     varScope.addSVar("gen_requires_method_name_0_1", new InteropSDefT(gen_requires_method_name_0_1.instance, context));
     varScope.addSVar("gen_on_entry_method_name_0_1", new InteropSDefT(gen_on_entry_method_name_0_1.instance, context));
     varScope.addSVar("gen_on_exit_method_name_0_1", new InteropSDefT(gen_on_exit_method_name_0_1.instance, context));
-    varScope.addSVar("make_while_statement_0_2", new InteropSDefT(make_while_statement_0_2.instance, context));
     varScope.addSVar("make_while_condition_0_1", new InteropSDefT(make_while_condition_0_1.instance, context));
     varScope.addSVar("gen_class_head_0_1", new InteropSDefT(gen_class_head_0_1.instance, context));
     varScope.addSVar("make_requires_method_0_3", new InteropSDefT(make_requires_method_0_3.instance, context));
+    varScope.addSVar("gen_source_location_ann_0_1", new InteropSDefT(gen_source_location_ann_0_1.instance, context));
+    varScope.addSVar("get_location_0_0", new InteropSDefT(get_location_0_0.instance, context));
+    varScope.addSVar("get_file_0_0", new InteropSDefT(get_file_0_0.instance, context));
+    varScope.addSVar("get_start_line_0_0", new InteropSDefT(get_start_line_0_0.instance, context));
+    varScope.addSVar("get_end_line_0_0", new InteropSDefT(get_end_line_0_0.instance, context));
+    varScope.addSVar("get_column_0_0", new InteropSDefT(get_column_0_0.instance, context));
+    varScope.addSVar("get_offset_0_0", new InteropSDefT(get_offset_0_0.instance, context));
     varScope.addSVar("make_on_entry_method_0_4", new InteropSDefT(make_on_entry_method_0_4.instance, context));
     varScope.addSVar("make_on_exit_method_0_4", new InteropSDefT(make_on_exit_method_0_4.instance, context));
     varScope.addSVar("convert_0_0", new InteropSDefT(convert_0_0.instance, context));
@@ -91,27 +91,12 @@ private void register(org.spoofax.interpreter.core.IContext context, Context com
     varScope.addSVar("add_condition_fields_0_0", new InteropSDefT(add_condition_fields_0_0.instance, context));
     varScope.addSVar("add_coordinator_fields_0_0", new InteropSDefT(add_coordinator_fields_0_0.instance, context));
     varScope.addSVar("get_methods_list_0_0", new InteropSDefT(get_methods_list_0_0.instance, context));
-    varScope.addSVar("main_0_0", new InteropSDefT(main_0_0.instance, context));
-    varScope.addSVar("OrComp_2_0", new InteropSDefT($Or$Comp_2_0.instance, context));
-    varScope.addSVar("AndComp_2_0", new InteropSDefT($And$Comp_2_0.instance, context));
-    varScope.addSVar("NotComp_1_0", new InteropSDefT($Not$Comp_1_0.instance, context));
   }
 
   private void registerLazy(org.spoofax.interpreter.core.IContext context, Context compiledContext, ClassLoader classLoader, org.spoofax.interpreter.core.VarScope varScope)
   { 
     compiledContext.registerComponent("cool");
     cool.init(compiledContext);
-    varScope.addSVar("aspectj_to_box_0_0_fragment_4", new InteropSDefT(classLoader, "cool.aspectj_to_box_0_0_fragment_4", context));
-    varScope.addSVar("aspectj_to_box_0_0_fragment_3", new InteropSDefT(classLoader, "cool.aspectj_to_box_0_0_fragment_3", context));
-    varScope.addSVar("aspectj_to_box_0_0_fragment_2", new InteropSDefT(classLoader, "cool.aspectj_to_box_0_0_fragment_2", context));
-    varScope.addSVar("aspectj_to_box_0_0_fragment_1", new InteropSDefT(classLoader, "cool.aspectj_to_box_0_0_fragment_1", context));
-    varScope.addSVar("aspectj_to_box_0_0_fragment_0", new InteropSDefT(classLoader, "cool.aspectj_to_box_0_0_fragment_0", context));
-    varScope.addSVar("aspectj_to_box_0_0", new InteropSDefT(classLoader, "cool.aspectj_to_box_0_0", context));
-    varScope.addSVar("has_leftmost_not_0_0", new InteropSDefT(classLoader, "cool.has_leftmost_not_0_0", context));
-    varScope.addSVar("pp_aspectj_box_0_0", new InteropSDefT(classLoader, "cool.pp_aspectj_box_0_0", context));
-    varScope.addSVar("option_to_boxes_0_0", new InteropSDefT(classLoader, "cool.option_to_boxes_0_0", context));
-    varScope.addSVar("pp_aspectj_string_0_0", new InteropSDefT(classLoader, "cool.pp_aspectj_string_0_0", context));
-    varScope.addSVar("fetch__class__name_0_0", new InteropSDefT(classLoader, "cool.fetch__class__name_0_0", context));
     varScope.addSVar("fetch__full__class__name_0_0", new InteropSDefT(classLoader, "cool.fetch__full__class__name_0_0", context));
     varScope.addSVar("pp_type_0_0", new InteropSDefT(classLoader, "cool.pp_type_0_0", context));
     varScope.addSVar("add__externals_0_1", new InteropSDefT(classLoader, "cool.add__externals_0_1", context));
@@ -138,18 +123,29 @@ private void registerLazy(org.spoofax.interpreter.core.IContext context, Context
     varScope.addSVar("get_expr_type_0_3", new InteropSDefT(classLoader, "cool.get_expr_type_0_3", context));
     varScope.addSVar("type_of_0_3", new InteropSDefT(classLoader, "cool.type_of_0_3", context));
     varScope.addSVar("fetch_0_0", new InteropSDefT(classLoader, "cool.fetch_0_0", context));
+    varScope.addSVar("main_0_0", new InteropSDefT(classLoader, "cool.main_0_0", context));
+    varScope.addSVar("handle_io_0_0", new InteropSDefT(classLoader, "cool.handle_io_0_0", context));
     varScope.addSVar("transform_0_0", new InteropSDefT(classLoader, "cool.transform_0_0", context));
     varScope.addSVar("transform_ast_0_0", new InteropSDefT(classLoader, "cool.transform_ast_0_0", context));
+    varScope.addSVar("gen_source_location_0_0", new InteropSDefT(classLoader, "cool.gen_source_location_0_0", context));
+    varScope.addSVar("origin_location_0_0", new InteropSDefT(classLoader, "cool.origin_location_0_0", context));
+    varScope.addSVar("origin_file_0_0", new InteropSDefT(classLoader, "cool.origin_file_0_0", context));
     varScope.addSVar("gen_isRunByOthers_method_0_0", new InteropSDefT(classLoader, "cool.gen_is$Run$By$Others_method_0_0", context));
     varScope.addSVar("gen_method_state_0_1", new InteropSDefT(classLoader, "cool.gen_method_state_0_1", context));
     varScope.addSVar("gen_method_state_name_0_1", new InteropSDefT(classLoader, "cool.gen_method_state_name_0_1", context));
     varScope.addSVar("gen_requires_method_name_0_1", new InteropSDefT(classLoader, "cool.gen_requires_method_name_0_1", context));
     varScope.addSVar("gen_on_entry_method_name_0_1", new InteropSDefT(classLoader, "cool.gen_on_entry_method_name_0_1", context));
     varScope.addSVar("gen_on_exit_method_name_0_1", new InteropSDefT(classLoader, "cool.gen_on_exit_method_name_0_1", context));
-    varScope.addSVar("make_while_statement_0_2", new InteropSDefT(classLoader, "cool.make_while_statement_0_2", context));
     varScope.addSVar("make_while_condition_0_1", new InteropSDefT(classLoader, "cool.make_while_condition_0_1", context));
     varScope.addSVar("gen_class_head_0_1", new InteropSDefT(classLoader, "cool.gen_class_head_0_1", context));
     varScope.addSVar("make_requires_method_0_3", new InteropSDefT(classLoader, "cool.make_requires_method_0_3", context));
+    varScope.addSVar("gen_source_location_ann_0_1", new InteropSDefT(classLoader, "cool.gen_source_location_ann_0_1", context));
+    varScope.addSVar("get_location_0_0", new InteropSDefT(classLoader, "cool.get_location_0_0", context));
+    varScope.addSVar("get_file_0_0", new InteropSDefT(classLoader, "cool.get_file_0_0", context));
+    varScope.addSVar("get_start_line_0_0", new InteropSDefT(classLoader, "cool.get_start_line_0_0", context));
+    varScope.addSVar("get_end_line_0_0", new InteropSDefT(classLoader, "cool.get_end_line_0_0", context));
+    varScope.addSVar("get_column_0_0", new InteropSDefT(classLoader, "cool.get_column_0_0", context));
+    varScope.addSVar("get_offset_0_0", new InteropSDefT(classLoader, "cool.get_offset_0_0", context));
     varScope.addSVar("make_on_entry_method_0_4", new InteropSDefT(classLoader, "cool.make_on_entry_method_0_4", context));
     varScope.addSVar("make_on_exit_method_0_4", new InteropSDefT(classLoader, "cool.make_on_exit_method_0_4", context));
     varScope.addSVar("convert_0_0", new InteropSDefT(classLoader, "cool.convert_0_0", context));
@@ -165,9 +161,5 @@ private void registerLazy(org.spoofax.interpreter.core.IContext context, Context
     varScope.addSVar("add_condition_fields_0_0", new InteropSDefT(classLoader, "cool.add_condition_fields_0_0", context));
     varScope.addSVar("add_coordinator_fields_0_0", new InteropSDefT(classLoader, "cool.add_coordinator_fields_0_0", context));
     varScope.addSVar("get_methods_list_0_0", new InteropSDefT(classLoader, "cool.get_methods_list_0_0", context));
-    varScope.addSVar("main_0_0", new InteropSDefT(classLoader, "cool.main_0_0", context));
-    varScope.addSVar("OrComp_2_0", new InteropSDefT(classLoader, "cool.$Or$Comp_2_0", context));
-    varScope.addSVar("AndComp_2_0", new InteropSDefT(classLoader, "cool.$And$Comp_2_0", context));
-    varScope.addSVar("NotComp_1_0", new InteropSDefT(classLoader, "cool.$Not$Comp_1_0", context));
   }
 }