public Result <Dafny.Sequence <char> > Get(Dafny.Sequence <char> key)
{
String result;
if (content.TryGetValue(key.ToString(), out result))
{
return(Result <Dafny.Sequence <char> > .create_Success(
Dafny.Sequence <char> .FromString(result)));
}
else
{
return(Result <Dafny.Sequence <char> > .create_Failure(
Dafny.Sequence <char> .FromString("key not found")));
}
}
public void Put(Dafny.Sequence <char> key, Dafny.Sequence <char> value)
{
Console.WriteLine("C# Externs.StringMap.Put is called");
this.content.Add(key.ToString(), value.ToString());
}
public static int parse(Dafny.Sequence <char> str)
{
return(System.Int32.Parse(str.ToString()));
}