@Override public InstanceKey getInstanceKeyForConstant(TypeReference type, Object S) { return delegate.getInstanceKeyForConstant(type, S); }
@Override public InstanceKey getInstanceKeyForConstant(TypeReference type, Object S) { return delegate.getInstanceKeyForConstant(type, S); }
@Override public <T> InstanceKey getInstanceKeyForConstant(TypeReference type, T S) { return h.getInstanceKeyForConstant(type, S); }
@Override public <T> InstanceKey getInstanceKeyForConstant(TypeReference type, T S) { return h.getInstanceKeyForConstant(type, S); }
return new InstanceKey[0]; InstanceKey ik = hm.getInstanceKeyForConstant(type, S); if (ik != null) { result = new InstanceKey[] { ik }; return new InstanceKey[0]; InstanceKey ik = hm.getInstanceKeyForConstant(type, x); if (ik != null) { result = new InstanceKey[] { ik };
return new InstanceKey[0]; InstanceKey ik = hm.getInstanceKeyForConstant(type, S); if (ik != null) { result = new InstanceKey[] { ik }; return new InstanceKey[0]; InstanceKey ik = hm.getInstanceKeyForConstant(type, x); if (ik != null) { result = new InstanceKey[] { ik };
/** * add constraints for reference constants assigned to vars */ protected void addNodeConstantConstraints(CGNode node, IR ir) { SymbolTable symbolTable = ir.getSymbolTable(); for (int i = 1; i <= symbolTable.getMaxValueNumber(); i++) { if (symbolTable.isConstant(i)) { Object v = symbolTable.getConstantValue(i); if (!(v instanceof Number)) { Object S = symbolTable.getConstantValue(i); TypeReference type = node.getMethod().getDeclaringClass().getClassLoader().getLanguage().getConstantType(S); if (type != null) { InstanceKey ik = heapModel.getInstanceKeyForConstant(type, S); if (ik != null) { PointerKey pk = heapModel.getPointerKeyForLocal(node, i); addNode(pk); addNode(ik); addEdge(pk, ik, NewLabel.v()); } } } } } }
/** * add constraints for reference constants assigned to vars */ protected void addNodeConstantConstraints(CGNode node, IR ir) { SymbolTable symbolTable = ir.getSymbolTable(); for (int i = 1; i <= symbolTable.getMaxValueNumber(); i++) { if (symbolTable.isConstant(i)) { Object v = symbolTable.getConstantValue(i); if (!(v instanceof Number)) { Object S = symbolTable.getConstantValue(i); TypeReference type = node.getMethod().getDeclaringClass().getClassLoader().getLanguage().getConstantType(S); if (type != null) { InstanceKey ik = heapModel.getInstanceKeyForConstant(type, S); if (ik != null) { PointerKey pk = heapModel.getPointerKeyForLocal(node, i); addNode(pk); addNode(ik); addEdge(pk, ik, NewLabel.v()); } } } } } }