Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

ValueIndexManagerPoint.java

00001 package edu.ksu.cis.bandera.bofa;
00002 
00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
00004  * Bandera, a Java(TM) analysis and transformation toolkit           *
00005  * Copyright (C) 1998, 1999                                          *
00006  * John Hatcliff (hatcliff@cis.ksu.edu)
00007  * All rights reserved.                                              *
00008  *                                                                   *
00009  * This work was done as a project in the SAnToS Laboratory,         *
00010  * Department of Computing and Information Sciences, Kansas State    *
00011  * University, USA (http://www.cis.ksu.edu/santos).                  *
00012  * It is understood that any modification not identified as such is  *
00013  * not covered by the preceding statement.                           *
00014  *                                                                   *
00015  * This work is free software; you can redistribute it and/or        *
00016  * modify it under the terms of the GNU Library General Public       *
00017  * License as published by the Free Software Foundation; either      *
00018  * version 2 of the License, or (at your option) any later version.  *
00019  *                                                                   *
00020  * This work is distributed in the hope that it will be useful,      *
00021  * but WITHOUT ANY WARRANTY; without even the implied warranty of    *
00022  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU *
00023  * Library General Public License for more details.                  *
00024  *                                                                   *
00025  * You should have received a copy of the GNU Library General Public *
00026  * License along with this toolkit; if not, write to the             *
00027  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,      *
00028  * Boston, MA  02111-1307, USA.                                      *
00029  *                                                                   *
00030  * Java is a trademark of Sun Microsystems, Inc.                     *
00031  *                                                                   *
00032  * To submit a bug report, send a comment, or get the latest news on *
00033  * this project and other SAnToS projects, please visit the web-site *
00034  *                http://www.cis.ksu.edu/santos                      *
00035  * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
00036 
00037 import ca.mcgill.sable.util.*;
00038 
00039 /* 
00040  * ValueIndexManagerPoint.java 
00041  * $Id: ValueIndexManagerPoint.java,v 1.1.1.1 2002/01/24 03:42:08 pserver Exp $
00042  */
00043 
00044 /**
00045  * Class provides indices to partition value variants independent of method and
00046  * position in code. 
00047  * @author <A HREF="http://www.cis.ksu.edu/~hatcliff">John Hatcliff</A>
00048  * @author
00049  * <a href="http://www.cis.ksu.edu/~rvprasad">Venkatesh Prasad Ranganath</a>
00050  * @version $Name:  $($Revision: 1.1.1.1 $)
00051  */
00052 public class ValueIndexManagerPoint extends ValueIndexManager
00053 {
00054     /** 
00055      * The one index that is needed to achieve no partition. 
00056      */
00057     private Index point;
00058 
00059     /**
00060      * Constructor of the class. 
00061      */
00062     public ValueIndexManagerPoint()
00063     {
00064         point = new Index();
00065     }
00066     /**
00067      * Provide the associated index.
00068      *
00069      * @param methodVariant the method in which the value variant occurs.
00070      * @param codeIndex the position in the code where the value variant occurs.
00071      * @return the index corresponding to the value variant.  */
00072     public Index select(MethodVariant methodVariant,
00073                         Index  codeIndex)
00074     {
00075         return point;
00076     }
00077 }

Generated at Thu Feb 7 06:59:07 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001