Class MarkHolder


  • public abstract class MarkHolder
    extends java.lang.Object
    A MarkHolder records Marks for later retrieval.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int NO_MAX_MARKS  
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected MarkHolder()  
    • Constructor Detail

      • MarkHolder

        protected MarkHolder()
    • Method Detail

      • resetForThread

        public void resetForThread()
        Attempts to remove all Marks for the calling thread.
      • resetForAll

        public void resetForAll()
        Attempts to remove all Marks in this mark holder.
      • read

        public abstract java.util.List<MarkList> read()
      • read

        public void read​(java.util.Collection<? super MarkList> destination)
      • maxMarks

        public int maxMarks()