Package de.uni_kiel.rz.fdr.repl

Annotation Interface Dynamize

@Retention(RUNTIME) @Target(TYPE) public @interface Dynamize
This annotation enables the (very experimental) dynamization feature for a given class.

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    boolean
    inherit
    Controls whether all subclasses should automatically be dynamized as well.

  • Element Details

    • inherit

      boolean inherit
      Controls whether all subclasses should automatically be dynamized as well. This should generally be left enabled.
      Returns:
      The inherit flag.
      Default:
      true