Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parser.Parse'.

1 files changed, 5 insertions, 2 deletions

diff --git a/Source/Core/Parser.ssc b/Source/Core/Parser.ssc
index f23e0f9e..7ca3bd73 100644
--- a/Source/Core/Parser.ssc
+++ b/Source/Core/Parser.ssc
@@ -53,13 +53,16 @@ static StructuredCmd! dummyStructuredCmd = new BreakCmd(Token.NoToken, null);
 ///Returns the number of parsing errors encountered.  If 0, "program" returns as

 ///the parsed program.

 ///</summary>

-public static int Parse (string! filename, out /*maybe null*/ Program program) /* throws System.IO.IOException */ {

+public static int Parse (string! filename, /*maybe null*/ List<string!> defines, out /*maybe null*/ Program program) /* throws System.IO.IOException */ {

 

 

   FileStream stream = new FileStream(filename, FileMode.Open, FileAccess.Read, FileShare.Read);

 //  Scanner scanner = new Scanner(stream);

   

-  string s = ParserHelper.Fill(stream,new List<string!>());

+  if (defines == null) {

+    defines = new List<string!>();

+  }

+  string s = ParserHelper.Fill(stream, defines);

   byte[]! buffer = (!) UTF8Encoding.Default.GetBytes(s);

   MemoryStream ms = new MemoryStream(buffer,false);

   Errors errors = new Errors();