1 files changed, 61 insertions, 0 deletions
diff --git a/source/mod_student/plugin.ml b/source/mod_student/plugin.ml
new file mode 100644
index 0000000..26d15d0
--- /dev/null
+++ b/source/mod_student/plugin.ml
@@ -0,0 +1,61 @@
+open Xi_lib.Iface
+open Xi_lib.Plugin
+open Xi_lib.Plugin_register
+
+
+module LexerAndParser = struct
+
+  type token = Parser.token
+
+  module Lexer = Lexer
+
+  module Parser = Parser
+
+end
+
+module Plugin : PLUGIN = struct
+
+  let version = "na"
+
+  let make_live_variables_analysis = None
+
+  let make_dominators_analysis = None
+
+  let make_scheduler = None
+
+  let make_natural_loops_analysis = None
+
+  let make_spill_costs_analysis = None
+
+  let lexer_and_parser = Some (module LexerAndParser : LEXER_AND_PARSER)
+
+  let make_typechecker = None
+
+  let make_translator = None
+
+  let make_jump_threading = None
+
+  let make_constant_folding = None
+
+  let make_hilower = None
+
+  let make_callconv = None
+
+  let make_mipslower = None
+
+  let make_register_allocator = None
+
+  let make_constant_folding_analysis = None
+
+  let make_codegen = None
+
+  let make_dead_code_elimination = None
+
+  let make_interference_graph_analysis = None
+
+  let make_spilling = None
+
+  let make_reachability_analysis = None
+end
+
+module RegisterMyPlugin = RegisterPlugin(Plugin)
\ No newline at end of file