Package de.learnlib.buildtool.refinement.annotation

Annotation Type Map

  • @Retention(SOURCE)
@Target({})
public @interface Map
    A refinement mapping of (constructor) parameters for the to-be-generated refinement.

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      Class<?> from
      The type of input parameter that if matched (equality) should be replaced.
      Class<?> to
      The replacement type for matched parameters.

    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      Generic[] withComplexGenerics
      Potential nested type parameters of the replacement (cf.
      String[] withGenerics
      Potential nested type parameters of the replacement (cf.

    • Element Detail

      • from

        Class<?> from
        The type of input parameter that if matched (equality) should be replaced.
        Returns:
        the type of input parameter that if matched should be replaced

      • to

        Class<?> to
        The replacement type for matched parameters.
        Returns:
        the replacement type for matched parameters

      • withGenerics

        String[] withGenerics
        Potential nested type parameters of the replacement (cf. to()) type. If the replacement type has inner type variables use withComplexGenerics().
        Returns:
        potential nested type parameters of the replacement type
        Default:
        {}

      • withComplexGenerics

        Generic[] withComplexGenerics
        Potential nested type parameters of the replacement (cf. to()) type that may contain inner type variables themselves.
        Returns:
        potential nested type parameters of the replacement type
        Default:
        {}