C# (CSharp) SolToBoogie TranslatorContext.AddVisibleFunctionToContract Examples

Example #1

File: FunctionEventResolver.cs Project: robertkowalski/verisol

        private void ComputeVisibleFunctions()
        {
            foreach (string funcSig in context.FuncSigResolutionMap.Keys)
            {
                foreach (ContractDefinition contract in context.FuncSigResolutionMap[funcSig].Keys)
                {
                    FunctionDefinition funcDef = context.FuncSigResolutionMap[funcSig][contract];
                    context.AddVisibleFunctionToContract(funcDef, contract);
                }
            }

            // PrintVisibleFunctions();
        }