|
Java example source code file (MultisetFeature.java)
The MultisetFeature.java Java example source code/* * Copyright (C) 2013 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.google; import com.google.common.annotations.GwtCompatible; import com.google.common.collect.Multiset; import com.google.common.collect.testing.features.Feature; import com.google.common.collect.testing.features.TesterAnnotation; import java.lang.annotation.Inherited; import java.lang.annotation.Retention; import java.lang.annotation.RetentionPolicy; import java.util.Collections; import java.util.Set; /** * Optional features of classes derived from {@link Multiset}. * * @author Louis Wasserman */ @GwtCompatible public enum MultisetFeature implements Feature<Multiset> { /** * Indicates that elements from {@code Multiset.entrySet()} update to reflect changes in the * backing multiset. */ ENTRIES_ARE_VIEWS; @Override public Set<Feature super Multiset>> getImpliedFeatures() { return Collections.emptySet(); } @Retention(RetentionPolicy.RUNTIME) @Inherited @TesterAnnotation public @interface Require { public abstract MultisetFeature[] value() default {}; public abstract MultisetFeature[] absent() default {}; } } Other Java examples (source code examples)Here is a short list of links related to this Java MultisetFeature.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.