Package edu.cmu.cs.crystal.tac.model

Examples of edu.cmu.cs.crystal.tac.model.Variable.resolveType()

76
77
78
79
80
81
82
83
84
85
86
   
    TupleLatticeElement<Variable, AliasLE> entry = ops.getDefault();
    Variable thisVar = this.getAnalysisContext().getThisVariable();
   
    if (thisVar != null)
      entry.put(thisVar, AliasLE.create(new DefaultObjectLabel(thisVar.resolveType(), false)));
   
    return entry;
  }

  private ObjectLabel getLabel(Variable associatedVar, ITypeBinding binding, TACInstruction declaringInstr) {
View Full Code Here
75
76
77
78
79
80
81
82
83
84
85
   
    if (thisVar != null) {
      Set<ObjectLabel> thisAliases = retriever.getStartingAliases(thisVar);
     
      if (thisAliases.isEmpty()) {
        ObjectLabel fresh = new DefaultObjectLabel(thisVar.resolveType(), false);
        entry.addPointsTo(getAnalysisContext().getSuperVariable(), fresh);
        entry.addPointsTo(thisVar, fresh);
        entry.addLabel(fresh);
      }
      else {     
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
   
    if (thisVar != null) {
      Set<ObjectLabel> thisAliases = retriever.getStartingAliases(thisVar);
     
      if (thisAliases.isEmpty()) {
        ObjectLabel fresh = new DefaultObjectLabel(thisVar.resolveType(), false);
        entry.addPointsTo(getAnalysisContext().getSuperVariable(), fresh);
        entry.addPointsTo(thisVar, fresh);
        entry.addLabel(fresh);
      }
      else {
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.