@Documented @Retention(value=CLASS) @Target(value=METHOD) public @interface Contract
boolean
pure
String
value
public abstract String value
public abstract boolean pure
Copyright © 2018 SAP SE. All rights reserved.