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>());
}