Interface (LearnLib 0.17.0 API)

@Retention(SOURCE)
@Target({})
public @interface Interface

Definition of an additional inferface.

- Required Element Summary
  
  Required Elements
  Modifier and Type Required Element Description
  
  Class<?> clazz
  A reference to the interface.
- Optional Element Summary
  
  Optional Elements
  Modifier and Type Optional Element Description
  
  String[] generics
  Potential nested type parameters of the referenced (cf.

- Element Detail
  - clazz
```
Class<?> clazz
```
    A reference to the interface.
    
    Returns:
    
    a reference to the interface
- - generics
```
String[] generics
```
    Potential nested type parameters of the referenced (cf. clazz()) interface.
    
    Returns:
    
    potential nested type parameters of the referenced interface
    
    Default:
    
    {}