congrats Icon
New! Announcing Tabnine Chat Beta
Learn More
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

  • Start an intent from android
  • putExtra (Intent)
  • scheduleAtFixedRate (ScheduledExecutorService)
  • getContentResolver (Context)
  • BorderLayout (java.awt)
    A border layout lays out a container, arranging and resizing its components to fit in five regions:
  • InputStreamReader (java.io)
    A class for turning a byte stream into a character stream. Data read from the source input stream is
  • System (java.lang)
    Provides access to system-related information and resources including standard input and output. Ena
  • Time (java.sql)
    Java representation of an SQL TIME value. Provides utilities to format and parse the time's represen
  • Base64 (org.apache.commons.codec.binary)
    Provides Base64 encoding and decoding as defined by RFC 2045.This class implements section 6.8. Base
  • Scheduler (org.quartz)
    This is the main interface of a Quartz Scheduler. A Scheduler maintains a registry of org.quartz.Job
  • From CI to AI: The AI layer in your organization
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