- All Known Implementing Classes:
- ApplicationContext, DirectCallStackFrame, JVMDirectCallStackFrame
public interface SystemAttribute
a type tag for attributes used by JPF
SystemAttributes are protected by the .util.ObjectList API against accidental
set(..) overwrite, they have to be removed by forceSet(..)