00001 00005 package edu.mit.csail.sdg.squander.examples.list.func2; 00006 00007 import edu.mit.csail.sdg.annotations.SpecField; 00008 00009 @SpecField({ 00010 "size : one int | this.size = 0", 00011 "keys : int -> int | no this.keys" 00012 }) 00013 public class Nil extends IntList { 00014 00015 @Override 00016 public String toString() { 00017 return "Nil"; 00018 } 00019 00020 }