de.uka.ilkd.key.macros.scripts.meta

Annotation Type Flag

public @interface Flag

Currently not implemented in ArgumentsLifter

Used to mark flag for proof script commands. For example "instantitate formula='...' ... hide" is denoted as

Version:

1 (21.04.17)

Author:

Alexander Weigl

See Also:

Option

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:

""