Java NEW.getType Examples

Example #1

File: ExecutionVisitor.java Project: ubiopen/JMD

 /** Symbolically executes the corresponding Java Virtual Machine instruction. */
 public void visitNEW(NEW o) {
   stack().push(new UninitializedObjectType((ObjectType) (o.getType(cpg))));
 }