Adapted to scalameta changes.

Author: robby-phd

parser/shared/src/main/scala/org/sireum/lang/parser/Parser_Ext.scala

@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2026,Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
@@ -37,7 +37,7 @@ object Parser_Ext {
   def parseStmt[T](text: String): T = {
     val reporter = Reporter.create
     val (dialect, input) = SlangParser.scalaDialect(isWorksheet = false)(text.value)
-    val metap = new ScalametaParser(input)(dialect, scala.meta.parsers.ParserOptions.default)
+    val metap = new ScalametaParser(input)(dialect)
     val stat = Try(metap.parseStat()) match {
       case Success(s) => s
       case Failure(e) => err(e.getMessage)
@@ -61,7 +61,7 @@ object Parser_Ext {
   def parseExp[T](text: String): T = {
     val reporter = Reporter.create
     val (dialect, input) = SlangParser.scalaDialect(isWorksheet = false)(text.value)
-    val metap = new ScalametaParser(input)(dialect, scala.meta.parsers.ParserOptions.default)
+    val metap = new ScalametaParser(input)(dialect)
     val term = Try(metap.parseTerm()) match {
       case Success(t) => t
       case Failure(e) => err(e.getMessage)
@@ -84,7 +84,7 @@ object Parser_Ext {
 
   def parseExpOpt(fileUriOpt: Option[String], text: String, isTruthTable: B, reporter: Reporter): Option[lang.ast.Exp] = {
     val (dialect, input) = SlangParser.scalaDialect(isWorksheet = false)(text.value)
-    val metap = new ScalametaParser(input)(dialect, scala.meta.parsers.ParserOptions.default)
+    val metap = new ScalametaParser(input)(dialect)
     val term = Try(metap.parseTerm()) match {
       case Success(t) => t
       case Failure(e) => err(e.getMessage)
@@ -105,7 +105,7 @@ object Parser_Ext {
 
   def parseSequentOpt(fileUriOpt: Option[String], text: String, isTruthTable: B, reporter: Reporter): Option[lang.ast.Sequent] = {
     val (dialect, input) = SlangParser.scalaDialect(isWorksheet = false)(text.value)
-    val metap = new ScalametaParser(input)(dialect, scala.meta.parsers.ParserOptions.default)
+    val metap = new ScalametaParser(input)(dialect)
     val term = Try(metap.parseTerm()) match {
       case Success(t) => t
       case Failure(e) => err(e.getMessage)
@@ -125,12 +125,12 @@ object Parser_Ext {
   }
 
   def parseTopUnit[T](
-    text: String,
-    isWorksheet: B,
-    isDiet: B,
-    fileUriOpt: Option[String],
-    reporter: Reporter
-  ): Option[T] =
+                       text: String,
+                       isWorksheet: B,
+                       isDiet: B,
+                       fileUriOpt: Option[String],
+                       reporter: Reporter
+                     ): Option[T] =
     SlangParser(isWorksheet, isDiet, fileUriOpt, text.value, reporter).unitOpt.map(_.asInstanceOf[T])
 
   @pure def detectSlang(fileUriOpt: Option[String], txt: String): (B, String, String) = {

parser/shared/src/main/scala/org/sireum/lang/parser/SlangParser.scala

@@ -260,7 +260,7 @@ class SlangParser(
       val fileUri = fileUriOpt.getOrElse("").value
       if (fileUri.endsWith(".scala") || fileUri.endsWith(".sc") || fileUri.endsWith(".slang") || fileUri.endsWith(".cmd") || (fileUri == "" && hashSireum)) {
         if (hashSireum || fileUri.endsWith(".slang")) {
-          val parser = new ScalametaParser(input)(dialect, scala.meta.parsers.ParserOptions.default)
+          val parser = new ScalametaParser(input)(dialect)
           translateSource(parser.parseSource())
         } else Result(text, hashSireum, None())
       } else if (fileUriOpt.isEmpty || fileUri.endsWith(".logika")) {
@@ -270,7 +270,7 @@ class SlangParser(
             case _ => Result(text, hashSireum, None())
           }
         } else {
-          val parser = new ScalametaParser(input)(dialect, scala.meta.parsers.ParserOptions.default)
+          val parser = new ScalametaParser(input)(dialect)
           val oldIn = parser.in
           parser.in = oldIn.fork
           parser.next()