autoloc.mbt

// Copyright 2025 International Digital Economy Academy
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

///|
pub(all) type SourceLoc

///|
pub fn SourceLoc::to_string(self : SourceLoc) -> String = "%loc_to_string"

///|
pub impl Show for SourceLoc with output(self, logger) {
  logger.write_string(self.to_string())
}

///|
pub(all) type ArgsLoc Array[SourceLoc?] derive(Show)

///|
pub fn ArgsLoc::to_json(self : ArgsLoc) -> String {
  let buf = StringBuilder::new(size_hint=10)
  buf.write_char('[')
  for i = 0; i < self._.length(); i = i + 1 {
    if i != 0 {
      buf.write_string(", ")
    }
    let item = self._[i]
    match item {
      None => buf.write_string("null")
      Some(loc) => loc.to_string() |> Show::output(buf)
    }
  }
  buf.write_char(']')
  buf.to_string()
}