C# (CSharp) SolToBoogie TranslatorContext.AddArrayToContract Examples

Example #1

File: MapArrayCollector.cs Project: woods1060/verisol

        public override bool Visit(VariableDeclaration node)
        {
            Debug.Assert(currentContract != null);

            if (node.TypeName is Mapping)
            {
                context.AddMappingtoContract(currentContract, node);
            }
            else if (node.TypeName is ArrayTypeName)
            {
                context.AddArrayToContract(currentContract, node);
            }
            return(false);
        }