Tabnine Logo
TypeVariable.setType
Code IndexAdd Tabnine to your IDE (free)

How to use
setType
method
in
com.ibm.wala.analysis.typeInference.TypeVariable

Best Java code snippets using com.ibm.wala.analysis.typeInference.TypeVariable.setType (Showing top 14 results out of 315)

origin: wala/WALA

/**
 * Note that we need evaluate this operator at most once
 */
@Override
public byte evaluate(TypeVariable lhs) {
 if (lhs.type.equals(type)) {
  return NOT_CHANGED_AND_FIXED;
 } else {
  lhs.setType(type);
  return CHANGED_AND_FIXED;
 }
}
origin: com.ibm.wala/com.ibm.wala.core

/**
 * Note that we need evaluate this operator at most once
 */
@Override
public byte evaluate(TypeVariable lhs) {
 if (lhs.type.equals(type)) {
  return NOT_CHANGED_AND_FIXED;
 } else {
  lhs.setType(type);
  return CHANGED_AND_FIXED;
 }
}
origin: com.ibm.wala/com.ibm.wala.core

/**
 * TODO: work on efficiency shortcuts for this.
 */
@Override
public byte evaluate(TypeVariable lhs, TypeVariable[] rhsOperands) {
 TypeAbstraction lhsType = lhs.getType();
 TypeVariable rhs = rhsOperands[0];
 TypeAbstraction rhsType = rhs.getType();
 if (lhsType.equals(rhsType)) {
  return NOT_CHANGED;
 } else {
  lhs.setType(rhsType);
  return CHANGED;
 }
}
origin: wala/WALA

/**
 * TODO: work on efficiency shortcuts for this.
 */
@Override
public byte evaluate(TypeVariable lhs, TypeVariable[] rhsOperands) {
 TypeAbstraction lhsType = lhs.getType();
 TypeVariable rhs = rhsOperands[0];
 TypeAbstraction rhsType = rhs.getType();
 if (lhsType.equals(rhsType)) {
  return NOT_CHANGED;
 } else {
  lhs.setType(rhsType);
  return CHANGED;
 }
}
origin: wala/WALA

@Override
public byte evaluate(TypeVariable lhs, TypeVariable[] rhs) {
 TypeAbstraction lhsType = lhs.getType();
 TypeAbstraction meet = TypeAbstraction.TOP;
 for (TypeVariable r : rhs) {
  if (r != null  && r.getType() != null) {
   meet = meet.meet(r.getType());
  }
 }
 if (lhsType.equals(meet)) {
  return NOT_CHANGED;
 } else {
  lhs.setType(meet);
  return CHANGED;
 }
}
origin: com.ibm.wala/com.ibm.wala.core

@Override
public byte evaluate(TypeVariable lhs, TypeVariable[] rhs) {
 TypeAbstraction lhsType = lhs.getType();
 TypeAbstraction meet = TypeAbstraction.TOP;
 for (TypeVariable r : rhs) {
  if (r != null  && r.getType() != null) {
   meet = meet.meet(r.getType());
  }
 }
 if (lhsType.equals(meet)) {
  return NOT_CHANGED;
 } else {
  lhs.setType(meet);
  return CHANGED;
 }
}
origin: wala/WALA

 v.setType(new ConeType(klass));
} else {
 v.setType(BOTTOM);
v.setType(language.getPrimitive(t));
if (st.isConstant(i)) {
 TypeVariable v = getVariable(i);
 v.setType(getConstantType(i));
IClass klass = cha.lookupClass(t);
if (klass == null) {
 v.setType(BOTTOM);
} else {
 v.setType(new PointType(klass));
 klass = cha.lookupClass(t);
 if (klass != null) {
  v.setType(v.getType().meet(new PointType(klass)));
   IClass tc = cha.lookupClass(tx);
   if (tc != null) {
    v.setType(v.getType().meet(new ConeType(tc)));
origin: com.ibm.wala/com.ibm.wala.core

 v.setType(new ConeType(klass));
} else {
 v.setType(BOTTOM);
v.setType(language.getPrimitive(t));
if (st.isConstant(i)) {
 TypeVariable v = getVariable(i);
 v.setType(getConstantType(i));
IClass klass = cha.lookupClass(t);
if (klass == null) {
 v.setType(BOTTOM);
} else {
 v.setType(new PointType(klass));
 klass = cha.lookupClass(t);
 if (klass != null) {
  v.setType(v.getType().meet(new PointType(klass)));
   IClass tc = cha.lookupClass(tx);
   if (tc != null) {
    v.setType(v.getType().meet(new ConeType(tc)));
origin: com.ibm.wala/com.ibm.wala.core

 return NOT_CHANGED;
} else {
 lhs.setType(meet);
 return CHANGED;
origin: wala/WALA

 return NOT_CHANGED;
} else {
 lhs.setType(meet);
 return CHANGED;
origin: com.ibm.wala/com.ibm.wala.cast.java

 return NOT_CHANGED;
} else {
 L.setType(meet);
 return CHANGED;
origin: wala/WALA

 return NOT_CHANGED;
} else {
 L.setType(meet);
 return CHANGED;
origin: wala/WALA

 lhs.setType(PrimitiveType.getPrimitive(elementType));
 return CHANGED;
 IClass klass = cha.lookupClass(elementType);
 assert klass != null;
 lhs.setType(new ConeType(klass));
 return CHANGED;
IClass klass = cha.lookupClass(elementType);
if (klass != null) {
 lhs.setType(new ConeType(klass));
} else {
 lhs.setType(TypeAbstraction.TOP);
origin: com.ibm.wala/com.ibm.wala.core

 lhs.setType(PrimitiveType.getPrimitive(elementType));
 return CHANGED;
 IClass klass = cha.lookupClass(elementType);
 assert klass != null;
 lhs.setType(new ConeType(klass));
 return CHANGED;
IClass klass = cha.lookupClass(elementType);
if (klass != null) {
 lhs.setType(new ConeType(klass));
} else {
 lhs.setType(TypeAbstraction.TOP);
com.ibm.wala.analysis.typeInferenceTypeVariablesetType

Popular methods of TypeVariable

  • getType
  • <init>

Popular in Java

  • Parsing JSON documents to java classes using gson
  • setRequestProperty (URLConnection)
  • getContentResolver (Context)
  • getSupportFragmentManager (FragmentActivity)
  • FileReader (java.io)
    A specialized Reader that reads from a file in the file system. All read requests made by calling me
  • URLEncoder (java.net)
    This class is used to encode a string using the format required by application/x-www-form-urlencoded
  • Path (java.nio.file)
  • Calendar (java.util)
    Calendar is an abstract base class for converting between a Date object and a set of integer fields
  • GregorianCalendar (java.util)
    GregorianCalendar is a concrete subclass of Calendarand provides the standard calendar used by most
  • Response (javax.ws.rs.core)
    Defines the contract between a returned instance and the runtime when an application needs to provid
  • Top 12 Jupyter Notebook extensions
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

    FAQBlogTabnine AcademyTerms of usePrivacy policyJava Code IndexJavascript Code Index
Get Tabnine for your IDE now