Skip navigation links
de.uka.ilkd.key.macros.scripts.meta

Annotation Type Flag

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element and Description
      java.lang.String value
      Name of the command line argument.
    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element and Description
      boolean defValue
      The default value of this flag.
      java.lang.String help
      A help message for this argument.
    • Element Detail

      • value

        public abstract java.lang.String value
        Name of the command line argument.
        Returns:
        a non-null string
      • defValue

        public abstract boolean defValue
        The default value of this flag.
        Returns:
        true iff this field is required (not null)
        Default:
        false
      • help

        public abstract java.lang.String help
        A help message for this argument.
        Returns:
        a non-null string
        Default:
        ""

Copyright © 2003-2019 The KeY-Project.