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    }