@Target(value=FIELD) @Retention(value=RUNTIME) public @interface Varargs
java.lang.Class<?>
as
java.lang.String
prefix
public abstract java.lang.Class<?> as
public abstract java.lang.String prefix
Copyright © 2003-2019 The KeY-Project.