Examples of edu.cmu.cs.crystal.tac.model.TypeVariable

edu.cmu.cs.crystal.tac.model.TypeVariable
In Java you can make calls that look like the following:
System.exit(0);
Here System is a class, but because out is a static field we access it directly from the class name. In this example, System is a type variable and in three address code System would be represented by an instance of this class. For some reason static fields are represented as {@link SourceVariable}instances and not as a field access to a type variable. @author Kevin Bierhoff

        }
        result = new SourceVariable(vb.getName(), vb, method.equals(declaredIn));
      }
      else if(binding instanceof ITypeBinding) {
        ITypeBinding tb = (ITypeBinding) binding;
        result = new TypeVariable(tb);
      }
      else 
        throw new IllegalArgumentException("Not a variable: " + binding);
      variables.put(binding, result);
    }

View Full Code Here

        }
        result = new SourceVariable(vb.getName(), vb, method.equals(declaredIn));
      }
      else if(binding instanceof ITypeBinding) {
        ITypeBinding tb = (ITypeBinding) binding;
        result = new TypeVariable(tb);
      }
      else 
        throw new IllegalArgumentException("Not a variable: " + binding);
      variables.put(binding, result);
    }

View Full Code Here

TOP

Related Classes of edu.cmu.cs.crystal.tac.model.TypeVariable

edu.cmu.cs.crystal.tac.eclipse.EclipseTAC

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.