From b632667ce57af89691407bb8668e1512775278ae Mon Sep 17 00:00:00 2001
From: Calvin <calvin@EESI>
Date: Fri, 15 Mar 2013 15:26:20 -0400
Subject: nbc added

---
 src/nbc/substitution.sml | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 src/nbc/substitution.sml

(limited to 'src/nbc/substitution.sml')

diff --git a/src/nbc/substitution.sml b/src/nbc/substitution.sml
new file mode 100644
index 0000000..57d55cf
--- /dev/null
+++ b/src/nbc/substitution.sml
@@ -0,0 +1,26 @@
+signature SUBSTITUTION = sig
+	val substitute: (string -> string) -> string -> string option
+end
+
+structure Substitution :> SUBSTITUTION = struct
+	structure LrVals = SubstitutionGrmLrValsFun (structure Token = LrParser.Token)
+	structure Lex = SubstitutionLexFun (structure Tokens = LrVals.Tokens)
+	structure Parser = JoinWithArg (
+		structure ParserData = LrVals.ParserData
+		structure Lex = Lex
+		structure LrParser = LrParser
+	)
+	fun substitute lookup source =
+		let
+			val position = ref 0
+			val instream = TextIO.openString source
+			fun read n = TextIO.inputN (instream, n)
+			val lexer = Parser.makeLexer read (ref 0)
+			fun error (_, _, _) = ()
+			val (result, _) = Parser.parse (0, lexer, error, lookup)
+			val () = TextIO.closeIn instream
+		in
+			SOME result
+		end
+		handle Parser.ParseError => NONE
+end
-- 
cgit v1.2.3