@Retention(value=RUNTIME) @Target(value={PARAMETER,TYPE}) public @interface Disjunction
And[]
value
Spec[]
or
public abstract And[] value
public abstract Spec[] or
Copyright © 2014–2017. All rights reserved.