@Override public void action(AbstractFieldPointerKey fieldKey) { if (!representsNullType(fieldKey.getInstanceKey())) { system.newConstraint(fieldKey, assignOperator, rhs); } } }
@Override public void action(AbstractFieldPointerKey fieldKey) { if (!representsNullType(fieldKey.getInstanceKey())) { system.newConstraint(fieldKey, assignOperator, rhs); } } }
private static void verboseAction(PointerKey p) { if (p instanceof AbstractFieldPointerKey) { AbstractFieldPointerKey f = (AbstractFieldPointerKey) p; if (f.getInstanceKey().getConcreteType() != null) { TypeReference t = f.getInstanceKey().getConcreteType().getReference(); if (!considered.contains(t)) { considered.add(t); System.err.println("Considered " + t); } } } else if (p instanceof StaticFieldKey) { StaticFieldKey sf = (StaticFieldKey) p; TypeReference t = sf.getField().getDeclaringClass().getReference(); if (!considered.contains(t)) { considered.add(t); System.err.println("Considered " + t); } } }
private static void verboseAction(PointerKey p) { if (p instanceof AbstractFieldPointerKey) { AbstractFieldPointerKey f = (AbstractFieldPointerKey) p; if (f.getInstanceKey().getConcreteType() != null) { TypeReference t = f.getInstanceKey().getConcreteType().getReference(); if (!considered.contains(t)) { considered.add(t); System.err.println("Considered " + t); } } } else if (p instanceof StaticFieldKey) { StaticFieldKey sf = (StaticFieldKey) p; TypeReference t = sf.getField().getDeclaringClass().getReference(); if (!considered.contains(t)) { considered.add(t); System.err.println("Considered " + t); } } }
@Override public void action(AbstractFieldPointerKey fieldKey) { if (!representsNullType(fieldKey.getInstanceKey())) { for (InstanceKey rhsFixedValue : rhsFixedValues) { system.findOrCreateIndexForInstanceKey(rhsFixedValue); system.newConstraint(fieldKey, rhsFixedValue); } } } }
@Override public void action(AbstractFieldPointerKey fieldKey) { if (!representsNullType(fieldKey.getInstanceKey())) { for (InstanceKey rhsFixedValue : rhsFixedValues) { system.findOrCreateIndexForInstanceKey(rhsFixedValue); system.newConstraint(fieldKey, rhsFixedValue); } } } }
public static TypeReference getType(PointerKey pk) { if (pk instanceof AbstractFieldPointerKey) { AbstractFieldPointerKey f = (AbstractFieldPointerKey) pk; if (f.getInstanceKey().getConcreteType() != null) { return f.getInstanceKey().getConcreteType().getReference(); } } else if (pk instanceof StaticFieldKey) { StaticFieldKey sf = (StaticFieldKey) pk; return sf.getField().getDeclaringClass().getReference(); } return null; } }
public static TypeReference getType(PointerKey pk) { if (pk instanceof AbstractFieldPointerKey) { AbstractFieldPointerKey f = (AbstractFieldPointerKey) pk; if (f.getInstanceKey().getConcreteType() != null) { return f.getInstanceKey().getConcreteType().getReference(); } } else if (pk instanceof StaticFieldKey) { StaticFieldKey sf = (StaticFieldKey) pk; return sf.getField().getDeclaringClass().getReference(); } return null; } }
@Override public void action(AbstractFieldPointerKey fieldKey) { if (!representsNullType(fieldKey.getInstanceKey())) { system.newConstraint(lhs, assignOperator, fieldKey); AbstractFieldPointerKey unknown = getBuilder().fieldKeyForUnknownWrites(fieldKey); if (unknown != null) { system.newConstraint(lhs, assignOperator, unknown); } } } });
@Override public void action(AbstractFieldPointerKey fieldKey) { if (!representsNullType(fieldKey.getInstanceKey())) { system.newConstraint(lhs, assignOperator, fieldKey); AbstractFieldPointerKey unknown = getBuilder().fieldKeyForUnknownWrites(fieldKey); if (unknown != null) { system.newConstraint(lhs, assignOperator, unknown); } } } });
if (p instanceof AbstractFieldPointerKey) { AbstractFieldPointerKey f = (AbstractFieldPointerKey) p; if (f.getInstanceKey().getConcreteType() != null) { if (!set.contains(f.getInstanceKey().getConcreteType().getReference().getName().toString().substring(1))) { result.add(p); if (VERBOSE) {
if (p instanceof AbstractFieldPointerKey) { AbstractFieldPointerKey f = (AbstractFieldPointerKey) p; if (f.getInstanceKey().getConcreteType() != null) { if (!set.contains(f.getInstanceKey().getConcreteType().getReference().getName().toString().substring(1))) { result.add(p); if (VERBOSE) {