001 package nl.cwi.sen1.modulemanager.model; 002 003 import nl.cwi.sen1.moduleapi.types.ModuleId; 004 import aterm.ATerm; 005 006 public interface AttributeSetListener { 007 public void attributeSet(ModuleId id, ATerm namespace, ATerm key, ATerm oldValue, ATerm newValue); 008 }