Ejemplos de Sort.getName en Java

Ejemplo n.º 1

Archivo: Sort.java Proyecto: runtimeverification/k

 public static Set<Sort> of(Collection<org.kframework.kil.Sort> sorts) {
   ImmutableSet.Builder<Sort> builder = ImmutableSet.builder();
   for (org.kframework.kil.Sort name : sorts) {
     builder.add(Sort.of(name.getName()));
   }
   return builder.build();
 }

Ejemplo n.º 2

Archivo: Sort.java Proyecto: runtimeverification/k

 public static Sort of(org.kframework.kil.Sort sort) {
   return of(sort.getName());
 }