public void AddVisibleStateVarToContract(VariableDeclaration varDecl, ContractDefinition contract) { if (!ContractToVisibleStateVarsMap.ContainsKey(contract)) { ContractToVisibleStateVarsMap[contract] = new HashSet <VariableDeclaration>(); } ContractToVisibleStateVarsMap[contract].Add(varDecl); }
public HashSet <VariableDeclaration> GetVisibleStateVarsByContract(ContractDefinition contract) { return(ContractToVisibleStateVarsMap.ContainsKey(contract) ? ContractToVisibleStateVarsMap[contract] : new HashSet <VariableDeclaration>()); }