Examples of dk.brics.string.external.FieldResolution

dk.brics.string.external.FieldResolution

Description of a non-application String field.

It is allowed for the same field to yield different resolutions at various program points. Because only immutable fields can be resolved, it is legal to change the field in non-application code, as long as all resolutions of the field remain valid at each reference to that field.

Note that it is better for a resolver to return null instead of creating a field resolution accepting any string, since another resolver might produce a more accurate answer. The outcomes of an unresolved field, and the any string resolution, are identical. @author Asger

        // only immutable fields can be resolved
        if (factory.fromSootType(reference.getField().getType()) != VariableType.STRING)
            return null;
        
        for (Resolver resolver : resolvers) {
            FieldResolution resolution = resolver.resolveField(reference);
            if (resolution == null)
                continue;
            
            Variable result = factory.createVariable(VariableType.STRING);
            factory.addStatement(new StringInit(result, resolution.getAutomaton()));
            return result;
        }
        return null;
    }

Examples of dk.brics.string.external.FieldResolution

Related Classes of dk.brics.string.external.FieldResolution