EmbASP-Java
Id.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.TYPE)
9 @Retention(RetentionPolicy.RUNTIME)
10 public @interface Id {
11  String value();
12 }
it.unical.mat.embasp.languages.Id
Definition: Id.java:10