com.redhat.ceylon.compiler.java.metadata.SatisfiedTypes Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of ceylon-complete Show documentation

There is a newer version: 1.3.3

package com.redhat.ceylon.compiler.java.metadata;

import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

/**
 * Annotation applied to a Java type recording the Ceylon type it satisfies.
 */
@Retention(RetentionPolicy.RUNTIME)
@Target(ElementType.TYPE)
public @interface SatisfiedTypes {
    /**
     * String representation of the types that this type is 
     * constrained to satisfy (in the {@code given ... satisfies ...} clause).
     */
    String[] value() default {};
}