public String toString() {
   if (this == NONE) return "NONE"; // $NON-NLS-1$
   else
     return "ParamStructure "
         + fBase.toString()
         + '<'
         + Arrays.asList(fParameters)
         + '>'; //$NON-NLS-1$
 }
 public ParametricStructure(GenericType base) {
   if (base == null) throw new NullPointerException();
   fBase = base;
   fParameters = new ParametricStructure[base.getTypeParameters().length];
 }