001 /* Copyright 2000, 2001, Compaq Computer Corporation */ 002 003 package javafe.filespace; 004 005 006 /** 007 * The normal result type for Resolve.lookup: 008 */ 009 010 public class Resolve_Result { 011 012 public Tree myPackage = null; 013 public String myTypeName = null; 014 015 //@ invariant \nonnullelements(remainder); 016 public String[] remainder = new String[0]; 017 }