Ejemplos de ContractToVisibleFunctionsMap en C# (CSharp)

Ejemplo n.º 1

Archivo: TranslatorContext.cs Proyecto: fredfeng/verisol

 public void AddVisibleFunctionToContract(FunctionDefinition funcDef, ContractDefinition contract)
 {
     if (!ContractToVisibleFunctionsMap.ContainsKey(contract))
     {
         ContractToVisibleFunctionsMap[contract] = new HashSet <FunctionDefinition>();
     }
     ContractToVisibleFunctionsMap[contract].Add(funcDef);
 }

Ejemplo n.º 2

Archivo: TranslatorContext.cs Proyecto: fredfeng/verisol

 public HashSet <FunctionDefinition> GetVisibleFunctionsByContract(ContractDefinition contract)
 {
     return(ContractToVisibleFunctionsMap.ContainsKey(contract) ?
            ContractToVisibleFunctionsMap[contract] :
            new HashSet <FunctionDefinition>());
 }