How to use

com.ibm.wala.analysis.typeInference.TypeVariable

constructor

@Override
public IVariable makeVariable(int valueNumber) {
 if (doPrimitives) {
  SymbolTable st = ir.getSymbolTable();
  if (st.isConstant(valueNumber)) {
   if (st.isBooleanConstant(valueNumber)) {
    return new TypeVariable(language.getPrimitive(language.getConstantType(Boolean.TRUE)));
   }
  }
 }
 return new TypeVariable(TypeAbstraction.TOP);
}

@Override
public IVariable makeVariable(int valueNumber) {
 if (doPrimitives) {
  SymbolTable st = ir.getSymbolTable();
  if (st.isConstant(valueNumber)) {
   if (st.isBooleanConstant(valueNumber)) {
    return new TypeVariable(language.getPrimitive(language.getConstantType(Boolean.TRUE)));
   }
  }
 }
 return new TypeVariable(TypeAbstraction.TOP);
}

@Override
public IVariable makeVariable(int valueNumber) {
 SymbolTable st = ir.getSymbolTable();
 if (st.isStringConstant(valueNumber)) {
  IClass klass = cha.lookupClass(TypeReference.JavaLangString);
  TypeAbstraction stringTypeAbs = new PointType(klass);
  return new TypeVariable(stringTypeAbs);
 } else {
  return super.makeVariable(valueNumber);
 }
}

@Override
public IVariable makeVariable(int valueNumber) {
 SymbolTable st = ir.getSymbolTable();
 if (st.isStringConstant(valueNumber)) {
  IClass klass = cha.lookupClass(TypeReference.JavaLangString);
  TypeAbstraction stringTypeAbs = new PointType(klass);
  return new TypeVariable(stringTypeAbs);
 } else {
  return super.makeVariable(valueNumber);
 }
}