Tabnine Logo
TypeVariable.<init>
Code IndexAdd Tabnine to your IDE (free)

How to use
com.ibm.wala.analysis.typeInference.TypeVariable
constructor

Best Java code snippets using com.ibm.wala.analysis.typeInference.TypeVariable.<init> (Showing top 4 results out of 315)

origin: wala/WALA

@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);
}
origin: com.ibm.wala/com.ibm.wala.core

@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);
}
origin: wala/WALA

@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);
 }
}
origin: com.ibm.wala/com.ibm.wala.cast.java

@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);
 }
}
com.ibm.wala.analysis.typeInferenceTypeVariable<init>

Popular methods of TypeVariable

  • getType
  • setType

Popular in Java

  • Making http requests using okhttp
  • getSharedPreferences (Context)
  • orElseThrow (Optional)
    Return the contained value, if present, otherwise throw an exception to be created by the provided s
  • requestLocationUpdates (LocationManager)
  • FileReader (java.io)
    A specialized Reader that reads from a file in the file system. All read requests made by calling me
  • URL (java.net)
    A Uniform Resource Locator that identifies the location of an Internet resource as specified by RFC
  • ByteBuffer (java.nio)
    A buffer for bytes. A byte buffer can be created in either one of the following ways: * #allocate
  • Charset (java.nio.charset)
    A charset is a named mapping between Unicode characters and byte sequences. Every Charset can decode
  • JCheckBox (javax.swing)
  • JTable (javax.swing)
  • Best IntelliJ plugins
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