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

edu.cmu.cs.crystal.tac.model.ThisVariable
This class represents the this keyword, which is treated much like any other variable. For example, if the original Java source had code that was similar to the following:
a = this;
The right-hand side would be translated as a variable of this type. @author Kevin Bierhoff

    ITypeBinding thisBinding = resolveThisType();
    if(thisBinding == null)
      // static method
      return null;
    
    ThisVariable result = thisVar.get(thisBinding);
    if(result == null) {
      // unqualified this
      result = new ThisVariable(this);
      thisVar.put(thisBinding, result);
    }
    return result;
  }

View Full Code Here

      // true if (1) binding is an anonymous class and (2) binding is not the innermost class around the current method
      // not sure how to qualify "this" in this case
      throw new IllegalArgumentException("implicit this resolves not to innermost class: " + accessedElement);
    }
    
    ThisVariable result = thisVar.get(thisBinding);
    if(result == null) {
      if(implicitQualifier)
        // implicitly qualified this
        result = new ThisVariable(this, thisBinding);
      else
        // unqualified this
        result = new ThisVariable(this);
      thisVar.put(thisBinding, result);
    }
    return result;
  }

View Full Code Here

     * The rule is that the declared, generic type, is the single canonical type.
     * Parameterized types are actually different type bindings.
     * @see org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment#createParameterizedType(ReferenceBinding genericType, TypeBinding[] typeArguments, ReferenceBinding enclosingType)
     */
    ITypeBinding generic_type = node.resolveTypeBinding().getTypeDeclaration();
    ThisVariable result = thisVar.get(generic_type);
    if(result == null) {
      // explicitly qualified this
      result = new ThisVariable(this, qualifier);
      thisVar.put(node.resolveTypeBinding(), result);
    }
    if(result.isImplicit()) {
      // fix up qualifier of previously created implicitly qualified this variable
      result.explicitQualifier(node.getQualifier());
    }
    return result;
  }

View Full Code Here

    ITypeBinding thisBinding = resolveThisType();
    if(thisBinding == null)
      // static method
      return null;
    
    ThisVariable result = thisVar.get(thisBinding);
    if(result == null) {
      // unqualified this
      result = new ThisVariable(this);
      thisVar.put(thisBinding, result);
    }
    return result;
  }

View Full Code Here

      // true if (1) binding is an anonymous class and (2) binding is not the innermost class around the current method
      // not sure how to qualify "this" in this case
      throw new IllegalArgumentException("implicit this resolves not to innermost class: " + accessedElement);
    }
    
    ThisVariable result = thisVar.get(thisBinding);
    if(result == null) {
      if(implicitQualifier)
        // implicitly qualified this
        result = new ThisVariable(this, thisBinding);
      else
        // unqualified this
        result = new ThisVariable(this);
      thisVar.put(thisBinding, result);
    }
    return result;
  }

View Full Code Here

     * The rule is that the declared, generic type, is the single canonical type.
     * Parameterized types are actually different type bindings.
     * @see org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment#createParameterizedType(ReferenceBinding genericType, TypeBinding[] typeArguments, ReferenceBinding enclosingType)
     */
    ITypeBinding generic_type = node.resolveTypeBinding().getTypeDeclaration();
    ThisVariable result = thisVar.get(generic_type);
    if(result == null) {
      // explicitly qualified this
      result = new ThisVariable(this, qualifier);
      thisVar.put(node.resolveTypeBinding().getTypeDeclaration(), result);
    }
    if(result.isImplicit()) {
      // fix up qualifier of previously created implicitly qualified this variable
      result.explicitQualifier(node.getQualifier());
    }
    return result;
  }

View Full Code Here

TOP

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

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.