@Retention(value=RUNTIME)
@Target(value=TYPE)
public @interface HelpInfo
Modifier and Type | Optional Element and Description |
---|---|
java.lang.String |
path
The relative part of the URL to the
HelpFacade.HELP_BASE_URL . |
public abstract java.lang.String path
HelpFacade.HELP_BASE_URL
.Copyright © 2003-2019 The KeY-Project.