public override bool Visit(UsingForDirective node)
{
if (node.TypeName is UserDefinedTypeName userType)
{
Debug.Assert(!userType.TypeDescriptions.IsContract(), $"VeriSol does not support using A for B where B is a contract name, found {userType.ToString()}");
}
context.UsingMap[currentContract][node.LibraryName] = node.TypeName;
return(true);
}
public override bool Visit(UsingForDirective node)
{
if (context.UsingMap[currentContract].ContainsKey(node.LibraryName))
{
context.UsingMap[currentContract][node.LibraryName].Add(node.TypeName);
}
else
{
context.UsingMap[currentContract][node.LibraryName] = new List <TypeName>()
{
node.TypeName
};
}
return(true);
}
public override bool Visit(UsingForDirective node)
{
return(false);
}
public virtual bool Visit(UsingForDirective node)
{
return(CommonVisit(node));
}
public virtual void EndVisit(UsingForDirective node)
{
CommonEndVisit(node);
}
