- All Known Implementing Classes:
- ApplicationContext, CheckExtendTransition, DirectCallStackFrame, GlobalSchedulingPoint, InstructionState, JVMDirectCallStackFrame, NoJPFExec
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(..)