Package de.hsh.graja.common

Class Defaults

java.lang.Object
de.hsh.graja.common.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 Details

    • DEFAULT_MAX_MEM_MIB

      public static final Defaults.TypeWithDefault<Integer> DEFAULT_MAX_MEM_MIB
      Default value for maximum memory (64 mebibyte).

    • 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_LOCALE

      public static final Defaults.TypeWithDefault<String> DEFAULT_LOCALE
      Default value for Locale

    • 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_RESULT_SPEC_CODE_ORIENTED_FEEDBACK

      public static final Defaults.TypeWithDefault<Boolean> DEFAULT_RESULT_SPEC_CODE_ORIENTED_FEEDBACK
      Default setting that controls whether output of the grader will contain code oriented feedback. 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 Details

    • Defaults

      public Defaults()