gov.nasa.jpf

Interface SystemAttribute