00001 00005 package edu.mit.csail.sdg.squander.examples.setpoly; 00006 00007 import java.util.HashSet; 00008 import java.util.Set; 00009 00010 import edu.mit.csail.sdg.annotations.SpecField; 00011 00012 @SpecField("elems: set int from this.mySet.elts | this.elems = this.mySet.elts") 00013 public class SetIntSet extends IntSet { 00014 00015 private Set<Integer> mySet = new HashSet<Integer>(); 00016 00017 @Override 00018 public Set<Integer> nodes() { 00019 return mySet; 00020 } 00021 00022 @Override 00023 public String toString() { 00024 return mySet.toString(); 00025 } 00026 00027 }