|
Java example source code file (SetFeature.java)
The SetFeature.java Java example source code/* * Copyright (C) 2008 The Guava Authors * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ package com.google.common.collect.testing.features; import com.google.common.annotations.GwtCompatible; import com.google.common.collect.testing.Helpers; import java.lang.annotation.Inherited; import java.lang.annotation.Retention; import java.lang.annotation.RetentionPolicy; import java.util.Set; /** * Optional features of classes derived from {@code Set}. * * @author George van den Driessche */ // Enum values use constructors with generic varargs. @SuppressWarnings("unchecked") @GwtCompatible public enum SetFeature implements Feature<Set> { GENERAL_PURPOSE(CollectionFeature.GENERAL_PURPOSE); private final Set<Feature super Set>> implied; SetFeature(Feature<? super Set>... implied) { this.implied = Helpers.copyToSet(implied); } @Override public Set<Feature super Set>> getImpliedFeatures() { return implied; } @Retention(RetentionPolicy.RUNTIME) @Inherited @TesterAnnotation public @interface Require { public abstract SetFeature[] value() default {}; public abstract SetFeature[] absent() default {}; } } Other Java examples (source code examples)Here is a short list of links related to this Java SetFeature.java source code file: |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.