AbstractModule.java

package cz.cvut.spipes.modules;

import cz.cvut.spipes.config.AuditConfig;
import cz.cvut.spipes.config.Environment;
import cz.cvut.spipes.config.ExecutionConfig;
import cz.cvut.spipes.constants.KBSS_MODULE;
import cz.cvut.spipes.engine.ExecutionContext;
import cz.cvut.spipes.engine.ExecutionContextFactory;
import cz.cvut.spipes.engine.VariablesBinding;
import cz.cvut.spipes.exception.ValidationConstraintFailedException;
import cz.cvut.spipes.util.JenaUtils;
import cz.cvut.spipes.util.QueryUtils;
import org.apache.jena.atlas.lib.NotImplemented;
import org.apache.jena.ontology.OntModel;
import org.apache.jena.query.*;
import org.apache.jena.rdf.model.*;
import org.apache.jena.util.FileUtils;
import org.apache.jena.vocabulary.RDF;
import org.apache.jena.vocabulary.RDFS;
import org.jetbrains.annotations.NotNull;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
import org.topbraid.spin.arq.ARQFactory;
import org.topbraid.spin.model.Ask;
import org.topbraid.spin.model.Construct;
import org.topbraid.spin.model.SPINFactory;
import org.topbraid.spin.model.Select;
import org.topbraid.spin.util.SPINExpressions;
import org.topbraid.spin.vocabulary.SP;

import java.io.*;
import java.net.URLEncoder;
import java.nio.charset.StandardCharsets;
import java.nio.file.Files;
import java.util.*;
import java.util.stream.Collectors;

import static java.util.stream.Collectors.joining;

public abstract class AbstractModule implements Module {

    private static final Logger LOG = LoggerFactory.getLogger(AbstractModule.class);
    Resource resource;
    List<Module> inputModules = new LinkedList<>();
    ExecutionContext executionContext;
    ExecutionContext outputContext;
    private List<Resource> inputConstraintQueries;
    private List<Resource> outputConstraintQueries;
    protected boolean isInDebugMode;
    private boolean isTargetModule;


    // load each properties
    // valiadation of required parameter
    // ?? validation of shape of input graph


    abstract ExecutionContext executeSelf();

    @Override
    public ExecutionContext execute() {
        loadModuleFlags();
        loadConfiguration();
        loadModuleConstraints();
        String inputModelFilePath = null;
        if (AuditConfig.isEnabled() || isInDebugMode) {
            inputModelFilePath = saveModelToTemporaryFile(executionContext.getDefaultModel());
            LOG.debug("Saving module's execution input to file {}.", inputModelFilePath);
        }
        if (ExecutionConfig.isCheckValidationConstrains()) {
            checkInputConstraints();
        }
        outputContext = executeSelf();
        if (AuditConfig.isEnabled() || isInDebugMode) {
            LOG.debug("Saving module's execution output to file {}.", saveModelToTemporaryFile(outputContext.getDefaultModel()));
        }

        if (ExecutionConfig.isCheckValidationConstrains()) {
            checkOutputConstraints();
        }

        if (ExecutionConfig.getEnvironment().equals(Environment.development)) {
            generateLinkToRerunExecution(inputModelFilePath);
        }

        return outputContext;
    }


    private String encodeValue(String value) {
        try {
            return URLEncoder.encode(value, StandardCharsets.UTF_8.toString());
        } catch (UnsupportedEncodingException e) {
            e.printStackTrace();
        }
        return "";
    }

    private void generateLinkToRerunExecution(String inputModelFilePath) {
        final String FILE_PREFIX = "file://";
        final String SPIPES_SERVICE_URL = ExecutionConfig.getDevelopmentServiceUrl();

        String inputModelFileUrl = FILE_PREFIX + Optional.ofNullable(inputModelFilePath)
            .orElse(saveModelToTemporaryFile(executionContext.getDefaultModel()));
        String inputBindingFileUrl = FILE_PREFIX + saveModelToTemporaryFile(executionContext.getVariablesBinding().getModel());
        String configModelFileUrl = FILE_PREFIX + saveModelToTemporaryFile(this.resource.getModel());

        Map<String, String> requestParams = new HashMap<>();
        requestParams.put("_pId", this.resource.getURI());
        requestParams.put("_pConfigURL", configModelFileUrl);
        requestParams.put("_pInputGraphURL", inputModelFileUrl);
        requestParams.put("_pInputBindingURL", inputBindingFileUrl);

        String encodedURL = requestParams.keySet().stream()
            .map(key -> key + "=" + encodeValue(requestParams.get(key)))
            .collect(joining("&", SPIPES_SERVICE_URL + "/module?", ""));


        LOG.debug("To rerun the execution visit {}", encodedURL);
    }

    @Override
    public void addOutputBindings(VariablesBinding additionalVariablesBinding) {
        VariablesBinding mergedVarsBinding = new VariablesBinding(outputContext.getVariablesBinding().asQuerySolution());
        mergedVarsBinding.extendConsistently(additionalVariablesBinding);
        outputContext = ExecutionContextFactory.createContext(outputContext.getDefaultModel(), mergedVarsBinding);
    }


    @Override
    public ExecutionContext getOutputContext() {
        return outputContext;
    }

    @Override
    public void setInputContext(ExecutionContext executionContext) {
        this.executionContext = executionContext;
    }

    @Override
    public ExecutionContext getExecutionContext() {
        return executionContext;
    }

    @Override
    public void setConfigurationResource(Resource resource) {
        this.resource = resource;
    }

    public Resource getResource() {
        return resource;
    }

    public String getLabel() {
        String label = getStringPropertyValue(RDFS.label);
        return (label != null) ? label : resource.asResource().getLocalName();
    }


    @Override
    public List<Module> getInputModules() {
        return inputModules;
    }

    @Override
    public void setInputModules(List<Module> inputModules) {
        this.inputModules = inputModules;
    }


    /* ------------------ PRIVATE METHODS --------------------- */

    // TODO revise
    protected String saveModelToTemporaryFile(Model model) {
        File tempFile = null;
        try {
            tempFile = Files.createTempFile("formgen-", ".ttl").toFile();
        } catch (IOException e) {
            e.printStackTrace();
            return null;
        }
        try (OutputStream tempFileIs = new FileOutputStream(tempFile)) {
            model.write(tempFileIs, FileUtils.langTurtle);

            return tempFile.getAbsolutePath();
        } catch (IOException e) {
            e.printStackTrace();
            return null;
        }
    }

    protected String saveFullModelToTemporaryFile(OntModel model) {
        File tempFile = null;
        try {
            tempFile = Files.createTempFile("formgen-", ".ttl").toFile();
        } catch (IOException e) {
            e.printStackTrace();
            return null;
        }
        try (OutputStream tempFileIs = new FileOutputStream(tempFile)) {
            model.writeAll(tempFileIs, FileUtils.langTurtle);

            return tempFile.getAbsolutePath();
        } catch (IOException e) {
            e.printStackTrace();
            return null;
        }
    }

    private void loadModuleConstraints() {
        inputConstraintQueries = getResourcesByProperty(KBSS_MODULE.has_input_graph_constraint);
        outputConstraintQueries = getResourcesByProperty(KBSS_MODULE.has_output_graph_constraint);
    }

    private void loadModuleFlags() {
        isTargetModule = getPropertyValue(KBSS_MODULE.has_debug_mode_flag, false);
        isInDebugMode = getPropertyValue(KBSS_MODULE.has_debug_mode_flag, false);
    }


    private void checkOutputConstraints() {
        Model defaultModel = outputContext.getDefaultModel();

        // merge input and output execution context
        VariablesBinding mergedVarsBinding = new VariablesBinding(executionContext.getVariablesBinding().asQuerySolution());
        mergedVarsBinding.extendConsistently(outputContext.getVariablesBinding());

        if (!outputConstraintQueries.isEmpty()) {
            LOG.debug("Validating module's output constraints ...");
            checkConstraints(defaultModel, mergedVarsBinding.asQuerySolution(), outputConstraintQueries);
        }
    }

    void checkInputConstraints() {
        Model defaultModel = executionContext.getDefaultModel();

        QuerySolution bindings = executionContext.getVariablesBinding().asQuerySolution();

        if (!inputConstraintQueries.isEmpty()) {
            LOG.debug("Validating module's input constraints ...");
            checkConstraints(defaultModel, bindings, inputConstraintQueries);
        }
    }


    private void checkConstraints(Model model, QuerySolution bindings, List<Resource> constraintQueries) {

        // sort queries based on order specified by comments within query
        constraintQueries = sortConstraintQueries(constraintQueries);

        //      set up variable bindings
        for (Resource queryRes : constraintQueries) {
            org.topbraid.spin.model.Query spinQuery = SPINFactory.asQuery(queryRes);

            // TODO template call
//            if (spinQuery == null) {
//                TemplateCall templateCall = SPINFactory.asTemplateCall(queryRes);
//            }

            Query query = ARQFactory.get().createQuery(spinQuery);

            QueryExecution execution = QueryExecutionFactory.create(query, model, bindings);

            boolean constraintViolated;
            StringBuilder evidence = new StringBuilder();

            if (spinQuery instanceof Ask) {
                constraintViolated = execution.execAsk();
            } else if (spinQuery instanceof Select) { //TODO implement
                ResultSet rs = execution.execSelect();
                constraintViolated = rs.hasNext();

                if(constraintViolated){
                    evidence.append("Evidence of the violation: \n");
                    for(int i = 0; i < 3 && rs.hasNext(); i++){
                        QuerySolution solution = rs.next() ;
                        evidence.append(solution.toString());
                    }
                }
            } else if (spinQuery instanceof Construct) {
                throw new NotImplemented("Constraints for objects " + query + " not implemented.");
            } else {
                throw new NotImplemented("Constraints for objects " + query + " not implemented.");
            }

            if (constraintViolated) {

                String mainErrorMsg = String.format("Validation of constraint failed for the constraint \"%s\".", getQueryComment(spinQuery));
                String failedQueryMsg = String.format("Failed validation constraint : \n %s", spinQuery.toString());
                String mergedMsg = new StringBuffer()
                        .append(mainErrorMsg).append("\n")
                        .append(failedQueryMsg).append("\n")
                        .append(evidence).append("\n")
                        .toString();
                LOG.error(mergedMsg);
                if (ExecutionConfig.isExitOnError()) {
                    throw new ValidationConstraintFailedException(mergedMsg, this);
                }
            } else {
                LOG.debug("Constraint validated for exception \"{}\".", getQueryComment(spinQuery));
            }
        }

    }

    protected String getQueryComment(org.topbraid.spin.model.Query query) {
        if (query.getComment() != null) {
            return query.getComment();
        }
        String comment = QueryUtils.getQueryComment(query.toString());
        if (comment != null) {
            return comment;
        }
//        Resource obj = query.getPropertyResourceValue(RDFS.comment);
//        if (obj == null) {
//            return query.getURI();
//        }
        return query.getURI();
    }

    private org.topbraid.spin.model.Query getQuery(Resource queryResource) {
        if (queryResource.hasProperty(RDF.type, SP.Ask)) {
            return queryResource.as(Ask.class);
        }
        if (queryResource.hasProperty(RDF.type, SP.Construct)) {
            return queryResource.as(Construct.class);
        }
        if (queryResource.hasProperty(RDF.type, SP.Select)) {
            return queryResource.as(Select.class);
        }

        throw new IllegalStateException("Unknown query resource type -- " + queryResource.getPropertyResourceValue(RDF.type));
    }


    RDFNode getPropertyValue(Property property) {
        final Statement s = resource.getProperty(property);
        return (s != null) ? s.getObject() : null;
    }

    int getPropertyValue(Property property, int defaultValue) {

        Statement s = resource.getProperty(property);

        if (s != null && s.getObject().isLiteral()) {
            //TODO check if it is boolean first
            return s.getInt();
        }
        return defaultValue;
    }

    Resource getPropertyValue(Property property, Resource defaultValue) {

        Statement s = resource.getProperty(property);

        if (s != null && s.getObject().isURIResource()) {
            return s.getResource();
        }
        return defaultValue;
    }


    boolean getPropertyValue(@NotNull Property property, boolean defaultValue) {

        Statement s = resource.getProperty(property);

        if (s != null && s.getObject().isLiteral()) {
            //TODO check if it is boolean first
            return s.getBoolean();
        }
        return defaultValue;
    }

    char getPropertyValue(@NotNull Property property, char defaultValue) {

        Statement s = resource.getProperty(property);

        if (s != null && s.getObject().isLiteral()) {
            return s.getObject().asLiteral().getChar();
        }
        return defaultValue;
    }

    protected String getStringPropertyValue(@NotNull Property property) {

        Statement st = resource.getProperty(property);
        if (st == null) {
            return null;
        }
        return resource.getProperty(property).getObject().toString();
    }

    protected List<Resource> getResourcesByProperty(Property property) {
        return resource.listProperties(property)
            .toList().stream()
            .map(st -> st.getObject().asResource())
            .collect(Collectors.toList());
    }

    protected RDFNode getEffectiveValue(@NotNull Property valueProperty) {
        RDFNode valueNode = Optional.of(resource)
            .map(r -> r.getProperty(valueProperty))
            .map(Statement::getObject)
            .orElse(null);
        if (SPINExpressions.isExpression(valueNode)) {
            Resource expr = (Resource) SPINFactory.asExpression(valueNode);
            QuerySolution bindings = executionContext.getVariablesBinding().asQuerySolution();
            RDFNode node = SPINExpressions.evaluate(expr, resource.getModel(), bindings); //TODO resource.getModel() should be part o context
            if (node == null) {
                LOG.error("SPIN expression {} for bindings {} evaluated to null.", expr, bindings);
            }
            return node;
        } else {
            return valueNode;
        }
    }

    /**
     * Helper method to creates output execution context considering isReplace flag
     * indicating if newly computed model should replace input model of the module
     * or be appended to it.
     * @param isReplace if true replace input model otherwise append to it.
     * @param computedModel model to be reflected in final output of this module.
     * @return Output execution context to be returned by this module.
     */
    protected ExecutionContext createOutputContext(boolean isReplace, Model computedModel) {
        if (isReplace) {
            return ExecutionContextFactory.createContext(computedModel);
        } else {
            if (AuditConfig.isEnabled() || ExecutionConfig.getEnvironment().equals(Environment.development)) {
                LOG.debug("Saving module's computed output to file {}.", saveModelToTemporaryFile(computedModel));
            }
            return ExecutionContextFactory.createContext(
                JenaUtils.createUnion(executionContext.getDefaultModel(), computedModel)
            );
        }
    }

    private List<Resource> sortConstraintQueries(List<Resource> constraintQueries) {
        return constraintQueries.stream().sorted((resource1, resource2) -> {
            org.topbraid.spin.model.Query spinQuery1 = SPINFactory.asQuery(resource1);
            org.topbraid.spin.model.Query spinQuery2 = SPINFactory.asQuery(resource2);

            return spinQuery1.toString().compareTo(spinQuery2.toString());
        }).collect(Collectors.toList());
    }

//    @Override
//    public String toString() {
//        String resourceId = (resource  != null) ? ( " (" + resource.getId() + ")") : "";
//        return resourceId;
//    }
}