EmbASP-Java
Param.java
1 package it.unical.mat.embasp.languages;
2 
3 import java.lang.annotation.ElementType;
4 import java.lang.annotation.Retention;
5 import java.lang.annotation.RetentionPolicy;
6 import java.lang.annotation.Target;
7 
8 @Target(ElementType.FIELD)
9 @Retention(RetentionPolicy.RUNTIME)
10 public @interface Param {
11  int value();
12 }
it.unical.mat.embasp.languages.Param
Definition: Param.java:10