    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    }