From b798ac29c37299b2f761243ae92ab8f7c4c4d7f1 Mon Sep 17 00:00:00 2001
From: Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>
Date: Tue, 30 Oct 2018 15:32:56 +0100
Subject: Initial commit

---
 source/mod_student/plugin.ml | 61 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 61 insertions(+)
 create mode 100644 source/mod_student/plugin.ml

(limited to 'source/mod_student/plugin.ml')

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
-- 
cgit 1.4.1