congrats Icon
New! Announcing Tabnine Chat Beta
Learn More
Tabnine Logo
NullType.v
Code IndexAdd Tabnine to your IDE (free)

How to use
v
method
in
soot.NullType

Best Java code snippets using soot.NullType.v (Showing top 20 results out of 315)

origin: Sable/soot

public Type getType() {
 return NullType.v();
}
origin: Sable/soot

public Type getType() {
 return NullType.v();
}
origin: Sable/soot

public Type getType() {
 return NullType.v();
}
origin: Sable/soot

public void outANullBaseType(ANullBaseType node) {
 mProductions.addLast(NullType.v());
}
origin: Sable/soot

public void outANullBaseTypeNoName(ANullBaseTypeNoName node) {
 mProductions.addLast(NullType.v());
}
origin: Sable/soot

@Override
public Local createZeroValue() {
 return new JimpleLocal("<<zero>>", NullType.v());
}
origin: Sable/soot

@Override
public Local createZeroValue() {
 return new JimpleLocal("zero", NullType.v());
}
origin: Sable/soot

public Value createZeroValue() {
 return new JimpleLocal("<<zero>>", NullType.v());
}
origin: Sable/soot

@SuppressWarnings("unchecked")
public ArrayTypes getArrayTypesBefore(Stmt s, Local arrayLocal) {
 if (!isConstantBefore(s, arrayLocal)) {
  return null;
 }
 ArrayTypes toRet = new ArrayTypes();
 int varRef = localToInt.get(arrayLocal);
 ArrayTypesInternal ati = getFlowBefore(s).state[varRef];
 toRet.possibleSizes = new HashSet<Integer>();
 toRet.possibleTypes = new Set[ati.typeState.length];
 for (int i = ati.sizeState.nextSetBit(0); i >= 0; i = ati.sizeState.nextSetBit(i + 1)) {
  toRet.possibleSizes.add(rvSizeToInt.get(i));
 }
 for (int i = 0; i < toRet.possibleTypes.length; i++) {
  toRet.possibleTypes[i] = new HashSet<Type>();
  for (int j = ati.typeState[i].nextSetBit(0); j >= 0; j = ati.typeState[i].nextSetBit(j + 1)) {
   toRet.possibleTypes[i].add(rvTypeToInt.get(j));
  }
  if (!ati.mustAssign.get(i)) {
   toRet.possibleTypes[i].add(NullType.v());
  }
 }
 return toRet;
}
origin: Sable/soot

public Pair<Value, Set<DefinitionStmt>> createZeroValue() {
 return new Pair<Value, Set<DefinitionStmt>>(new JimpleLocal("<<zero>>", NullType.v()),
   Collections.<DefinitionStmt>emptySet());
}
origin: Sable/soot

private Type getTargetType(final Value other) {
 if (other instanceof Constant) {
  if (other.getType() != NullType.v()) {
   return other.getType();
  }
 } else if (other instanceof Local) {
  Type tgTp = tg.get((Local) other);
  if (tgTp instanceof PrimType) {
   return tgTp;
  }
 }
 return null;
}
origin: Sable/soot

if (reachingTypes.contains(NullType.v())) {
 return true;
origin: Sable/soot

public Type getType() {
 Value base = baseBox.getValue();
 Type type = base.getType();
 if (type.equals(UnknownType.v())) {
  return UnknownType.v();
 } else if (type.equals(NullType.v())) {
  return NullType.v();
 } else {
  // use makeArrayType on non-array type references when they propagate to this point.
  // kludge, most likely not correct.
  // may stop spark from complaining when it gets passed phantoms.
  // ideally I'd want to find out just how they manage to get this far.
  ArrayType arrayType;
  if (type instanceof ArrayType) {
   arrayType = (ArrayType) type;
  } else {
   arrayType = (ArrayType) type.makeArrayType();
  }
  if (arrayType.numDimensions == 1) {
   return arrayType.baseType;
  } else {
   return ArrayType.v(arrayType.baseType, arrayType.numDimensions - 1);
  }
 }
}
origin: Sable/soot

private ClassHierarchy(Scene scene) {
 if (scene == null) {
  throw new InternalTypingException();
 }
 G.v().ClassHierarchy_classHierarchyMap.put(scene, this);
 NULL = typeNode(NullType.v());
 OBJECT = typeNode(RefType.v("java.lang.Object"));
 // hack for J2ME library which does not have Cloneable and Serializable
 // reported by Stephen Chen
 if (!Options.v().j2me()) {
  CLONEABLE = typeNode(RefType.v("java.lang.Cloneable"));
  SERIALIZABLE = typeNode(RefType.v("java.io.Serializable"));
 } else {
  CLONEABLE = null;
  SERIALIZABLE = null;
 }
 INT = typeNode(IntType.v());
}
origin: Sable/soot

 lop = resolver.typeVariable(LongType.v());
} else if (lv instanceof NullConstant) {
 lop = resolver.typeVariable(NullType.v());
} else if (lv instanceof StringConstant) {
 lop = resolver.typeVariable(RefType.v("java.lang.String"));
 rop = resolver.typeVariable(LongType.v());
} else if (rv instanceof NullConstant) {
 rop = resolver.typeVariable(NullType.v());
} else if (rv instanceof StringConstant) {
 rop = resolver.typeVariable(RefType.v("java.lang.String"));
origin: Sable/soot

 lop = resolver.typeVariable(LongType.v());
} else if (lv instanceof NullConstant) {
 lop = resolver.typeVariable(NullType.v());
} else if (lv instanceof StringConstant) {
 lop = resolver.typeVariable(RefType.v("java.lang.String"));
 rop = resolver.typeVariable(LongType.v());
} else if (rv instanceof NullConstant) {
 rop = resolver.typeVariable(NullType.v());
} else if (rv instanceof StringConstant) {
 rop = resolver.typeVariable(RefType.v("java.lang.String"));
origin: Sable/soot

 lop = hierarchy.typeNode(LongType.v());
} else if (lv instanceof NullConstant) {
 lop = hierarchy.typeNode(NullType.v());
} else if (lv instanceof StringConstant) {
 lop = hierarchy.typeNode(RefType.v("java.lang.String"));
 rop = hierarchy.typeNode(LongType.v());
} else if (rv instanceof NullConstant) {
 rop = hierarchy.typeNode(NullType.v());
} else if (rv instanceof StringConstant) {
 rop = hierarchy.typeNode(RefType.v("java.lang.String"));
origin: Sable/soot

 lop = hierarchy.typeNode(LongType.v());
} else if (lv instanceof NullConstant) {
 lop = hierarchy.typeNode(NullType.v());
} else if (lv instanceof StringConstant) {
 lop = hierarchy.typeNode(RefType.v("java.lang.String"));
 rop = hierarchy.typeNode(LongType.v());
} else if (rv instanceof NullConstant) {
 rop = hierarchy.typeNode(NullType.v());
} else if (rv instanceof StringConstant) {
 rop = hierarchy.typeNode(RefType.v("java.lang.String"));
origin: Sable/soot

 TypeVariable.error("Type Error(6):  Array variable without base type");
} else if (element.type().type() instanceof NullType) {
 local.setType(NullType.v());
} else {
 Type t = element.type().type();
origin: Sable/soot

 TypeVariableBV.error("Type Error(6):  Array variable without base type");
} else if (element.type().type() instanceof NullType) {
 local.setType(NullType.v());
} else {
 Type t = element.type().type();
sootNullTypev

Popular methods of NullType

  • <init>

Popular in Java

  • Making http post requests using okhttp
  • getSystemService (Context)
  • scheduleAtFixedRate (Timer)
  • getApplicationContext (Context)
  • HttpURLConnection (java.net)
    An URLConnection for HTTP (RFC 2616 [http://tools.ietf.org/html/rfc2616]) used to send and receive d
  • Selector (java.nio.channels)
    A controller for the selection of SelectableChannel objects. Selectable channels can be registered w
  • Permission (java.security)
    Legacy security code; do not use.
  • Dictionary (java.util)
    Note: Do not use this class since it is obsolete. Please use the Map interface for new implementatio
  • Stream (java.util.stream)
    A sequence of elements supporting sequential and parallel aggregate operations. The following exampl
  • BoxLayout (javax.swing)
  • 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