Class Defaults


  • public class Defaults
    extends Object

    A request include several optional parameters such as maximum resources used when grading, debugging options, logging options, and so on. This class provides default values, if any of these parameters are missing.

    • Field Detail

      • DEFAULT_MAX_DISC_QUOTA_KIB

        public static final Defaults.TypeWithDefault<Integer> DEFAULT_MAX_DISC_QUOTA_KIB
        Default value for maximum disc quota (2000 kibibyte).
      • DEFAULT_MAX_RUNTIME_SECONDS

        public static final Defaults.TypeWithDefault<Integer> DEFAULT_MAX_RUNTIME_SECONDS
        Default value for maximum runtime (60 seconds wallclock time).
      • DEFAULT_KEEP_STARTER_WORKSPACE

        public static final Defaults.TypeWithDefault<Boolean> DEFAULT_KEEP_STARTER_WORKSPACE
        Default value for keeping the workspace, where the Graja backend unpacks the student submission (default=false).
      • DEFAULT_KEEP_BACKEND_WORKSPACE

        public static final Defaults.TypeWithDefault<Boolean> DEFAULT_KEEP_BACKEND_WORKSPACE
        Default value for keeping the workspace, where the Graja starter unpacks the student submission and creates a security policy (default=false).
      • DEFAULT_MIN_RD_LEVEL

        public static final Defaults.TypeWithDefault<String> DEFAULT_MIN_RD_LEVEL
        Default value for the minimum comment level of comments produced by Graja. The minimum level serves as a performance tuner, since it prevents generation of many comments, that the client does not need. Default: Level.INFO.
      • DEFAULT_JAVA_SECURITY_DEBUG

        public static final Defaults.TypeWithDefault<String> DEFAULT_JAVA_SECURITY_DEBUG
        Default value of the java.security.debug system property (see documentation). The default value is null.
      • DEFAULT_AGENTLIB_JDWP

        public static final Defaults.TypeWithDefault<String> DEFAULT_AGENTLIB_JDWP
        Default JVM parameter for remote debugging (-agentlib:jdwp option, see documentation for details). The default value is null.
      • DEFAULT_OVERRIDE_MAX_RUNTIME_SECONDS_WALLCLOCK_TIME

        public static final Defaults.TypeWithDefault<Integer> DEFAULT_OVERRIDE_MAX_RUNTIME_SECONDS_WALLCLOCK_TIME
        For debugging purposes there is a parameter that overrides the maximum runtime specified by an assignment. Default value: null (that is the maximum runtime is not overridden).
      • DEFAULT_RESULT_SPEC_INCLUDE_SCORES

        public static final Defaults.TypeWithDefault<Boolean> DEFAULT_RESULT_SPEC_INCLUDE_SCORES
        Default setting that controls whether scores will be included in result documents. Default value: true.
      • DEFAULT_RESULT_SPEC_MERGE_SUBRESULT_DOCUMENTS

        public static final Defaults.TypeWithDefault<Boolean> DEFAULT_RESULT_SPEC_MERGE_SUBRESULT_DOCUMENTS
        Default setting that controls whether documents of categories and aspect will be joined in a huge result document. Default value: true.
      • DEFAULT_RESULT_SPEC_INCLUDE_CONSOLE_OUTPUT

        public static final Defaults.TypeWithDefault<Boolean> DEFAULT_RESULT_SPEC_INCLUDE_CONSOLE_OUTPUT
        Default setting that controls whether the console output of the graja backend will be included intothe result documents. Default value: true.
      • DEFAULT_RESULT_SPEC_USE_JAVASCRIPT

        public static final Defaults.TypeWithDefault<Boolean> DEFAULT_RESULT_SPEC_USE_JAVASCRIPT
        Default setting that controls whether HTML output of the grader will contain Javascript. Default value: false.
      • DEFAULT_PROFORMA_RESPONSE_FORMAT

        public static final Defaults.TypeWithDefault<String> DEFAULT_PROFORMA_RESPONSE_FORMAT
        Default setting that defines the requested ProFormA response format (xml or zip). Default value: xml.
    • Constructor Detail

      • Defaults

        public Defaults()