congrats Icon
New! Announcing our next generation AI code completions
Read here
Tabnine Logo
NullType
Code IndexAdd Tabnine to your IDE (free)

How to use
NullType
in
soot

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

origin: Sable/soot

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

public soot.NullType soot_NullType() {
  if (instance_soot_NullType == null) {
      synchronized (this) {
      if (instance_soot_NullType == null)
        instance_soot_NullType = new soot.NullType(g);
      }
    }
  return instance_soot_NullType;
}
protected void release_soot_NullType() {
origin: Sable/soot

public Type getType() {
 return NullType.v();
}
origin: ibinti/bugvm

public soot.NullType soot_NullType() {
  if( instance_soot_NullType == null ) instance_soot_NullType = new soot.NullType( g );
  return instance_soot_NullType;
}
origin: Sable/soot

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

public soot.NullType soot_NullType() {
  if( instance_soot_NullType == null ) instance_soot_NullType = new soot.NullType( g );
  return instance_soot_NullType;
}
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

} else if (t == ErroneousType.v()) {
 buffer.append("e" + count++);
} else if (t == NullType.v()) {
 buffer.append("n" + count++);
} else {
origin: Sable/soot

 return NullType.v();
} else {
 throw new RuntimeException("ERROR: could not find type of array from statement '" + arrayStmt + "'");
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

final UnknownType unknownType = UnknownType.v();
final StmtAddressType stmtAddressType = StmtAddressType.v();
final NullType nullType = NullType.v();
int objectCount = 0;
int intCount = 0;
sootNullType

Javadoc

Soot representation of the Java type 'null'. Implemented as a singleton.

Most used methods

  • v
  • <init>

Popular in Java

  • Reactive rest calls using spring rest template
  • getOriginalFilename (MultipartFile)
    Return the original filename in the client's filesystem.This may contain path information depending
  • runOnUiThread (Activity)
  • getContentResolver (Context)
  • BufferedInputStream (java.io)
    A BufferedInputStream adds functionality to another input stream-namely, the ability to buffer the i
  • IOException (java.io)
    Signals a general, I/O-related error. Error details may be specified when calling the constructor, a
  • InetAddress (java.net)
    An Internet Protocol (IP) address. This can be either an IPv4 address or an IPv6 address, and in pra
  • 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.
  • ReentrantLock (java.util.concurrent.locks)
    A reentrant mutual exclusion Lock with the same basic behavior and semantics as the implicit monitor
  • Top 15 Vim Plugins
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimAtomGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

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