Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
  /* Soot - a J*va Optimization Framework
   * Copyright (C) 1997-2000 Etienne Gagnon.  All rights reserved.
   *
   * This library is free software; you can redistribute it and/or
   * modify it under the terms of the GNU Lesser General Public
   * License as published by the Free Software Foundation; either
   * version 2.1 of the License, or (at your option) any later version.
   *
   * This library is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  * Lesser General Public License for more details.
  *
  * You should have received a copy of the GNU Lesser General Public
  * License along with this library; if not, write to the
  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  * Boston, MA 02111-1307, USA.
  */
 
 /*
  * Modified by the Sable Research Group and others 1997-1999.  
  * See the 'credits' file distributed with Soot for the complete list of
  * contributors.  (Soot is distributed at http://www.sable.mcgill.ca/soot)
  */
 
 
 package soot.jimple.toolkits.typing.integer;
 
 import soot.*;

Each instance of this class represents one basic type.
 
 class TypeNode
 {
   public static final boolean DEBUG = false;
 
   private final int id;
   private final Type type;
   
   public TypeNode(int idType type)
   {
     this. = id;
     this. = type;
 
     if()
       {
 	G.v()..println("creating node " + this);
       }
   }
  
  
Returns the unique id of this type node.
 
   public int id()
   {
     return ;
   }

  
Returns the type represented by this type node.
 
   public Type type()
   {
     return ;
   }
 
   public boolean hasAncestor_1(TypeNode typeNode)
   {
     if(typeNode == this)
       return true;
 
     return ClassHierarchy.v().hasAncestor_1(typeNode.id);
   }
 
   public boolean hasAncestor_2(TypeNode typeNode)
   {
     if(typeNode == this)
       return true;
     
     return ClassHierarchy.v().hasAncestor_2(typeNode.id);
   }
 
   /*  public boolean hasDescendant_1(TypeNode typeNode)
   {
     return ClassHierarchy.v().hasDescendant_1(id, typeNode.id);
   }
 
   public boolean hasDescendant_2(TypeNode typeNode)
   {
     return ClassHierarchy.v().hasDescendant_2(id, typeNode.id);
   }
 
   public boolean hasDescendantOrSelf_1(TypeNode typeNode)
   {
     if(typeNode == this)
       return true;
 
     return hasDescendant_1(typeNode);
   }
 
   public boolean hasDescendantOrSelf_2(TypeNode typeNode)
   {
    if(typeNode == this)
      return true;
    return hasDescendant_2(typeNode);
    }*/
  public TypeNode lca_1(TypeNode typeNode)
  {
    return ClassHierarchy.v().lca_1(typeNode.id);
  }
  public TypeNode lca_2(TypeNode typeNode)
  {
    return ClassHierarchy.v().lca_2(typeNode.id);
  }
  public TypeNode gcd_1(TypeNode typeNode)
  {
    return ClassHierarchy.v().gcd_1(typeNode.id);
  }
  public TypeNode gcd_2(TypeNode typeNode)
  {
    return ClassHierarchy.v().gcd_2(typeNode.id);
  }
  public String toString()
  {
    if( != null)
      {
	return  + "(" +  + ")";
      }
    if(this == ClassHierarchy.v().)
      {
	return "TOP" + "(" +  + ")";
      }
    if(this == ClassHierarchy.v().)
      {
	return "R0_1" + "(" +  + ")";
      }
    if(this == ClassHierarchy.v().)
      {
	return "R0_127" + "(" +  + ")";
      }
    if(this == ClassHierarchy.v().)
      {
	return "R0_32767" + "(" +  + ")";
      }
    return "ERROR!!!!";
  }
New to GrepCode? Check out our FAQ X