public void SetAttribute(SymbolTableKey key, object val)
{
Contract.Requires(!attributes.ContainsKey(key));
attributes[key] = val;
}
public object GetAttribute(SymbolTableKey key)
{
object val;
attributes.TryGetValue(key, out val);
return val;
}