Class FieldValues


  • public class FieldValues
    extends Object
    This utility is meant to be used to replace direct calls to private field variables in class invariants.