All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.coode.parsers.oppl.patterns.OPPLPatternsSymbolTable Maven / Gradle / Ivy

Go to download

There is a newer version: 5.0.0
Show newest version
package org.coode.parsers.oppl.patterns;

import java.util.Arrays;
import java.util.Collection;
import java.util.List;

import org.coode.oppl.Variable;
import org.coode.parsers.Scope;
import org.coode.parsers.oppl.OPPLSymbolTable;
import org.coode.parsers.oppl.OPPLSyntaxTree;
import org.coode.parsers.oppl.VariableTypes;
import org.coode.patterns.PatternConstraintSystem;
import org.semanticweb.owlapi.model.OWLOntologyManager;

/** @author Luigi Iannone */
public class OPPLPatternsSymbolTable extends OPPLSymbolTable {
    private final OWLOntologyManager ontologyManager;

    /** @param globalScope
     *            globalScope
     * @param ontologyManager
     *            ontologyManager */
    public OPPLPatternsSymbolTable(Scope globalScope, OWLOntologyManager ontologyManager) {
        super(globalScope, ontologyManager.getOWLDataFactory());
        this.ontologyManager = ontologyManager;
    }

    /** @param reference
     *            reference
     * @param patternName
     *            patternName
     * @param constraintSystem
     *            constraintSystem
     * @param args
     *            args */
    public void resolvePattern(OPPLSyntaxTree reference, String patternName,
            PatternConstraintSystem constraintSystem, List... args) {
        List> arguments = Arrays.asList(args);
        @SuppressWarnings("unchecked")
        Variable resolvedPatternReference = getGlobalScope().resolvePatternReference(
                reference, patternName, constraintSystem, getErrorListener(),
                arguments.toArray(new List[arguments.size()]));
        if (resolvedPatternReference == null) {
            reportIllegalToken(reference, "The pattern reference is invalid");
        } else {
            VariableTypes type = VariableTypes.getVariableType(resolvedPatternReference
                    .getType());
            define(reference.token,
                    type.getSymbol(getDataFactory(), reference.token.getText()));
        }
    }

    /** @param reference
     *            reference
     * @param patternName
     *            patternName
     * @param constraintSystem
     *            constraintSystem
     * @param visited
     *            visited
     * @param args
     *            args */
    public void resolvePattern(OPPLSyntaxTree reference, String patternName,
            PatternConstraintSystem constraintSystem,
            Collection visited, List... args) {
        List> arguments = Arrays.asList(args);
        @SuppressWarnings("unchecked")
        Variable resolvedPatternReference = getGlobalScope().resolvePatternReference(
                reference, patternName, constraintSystem, visited, getErrorListener(),
                arguments.toArray(new List[arguments.size()]));
        if (resolvedPatternReference == null) {
            reportIllegalToken(reference, "The pattern reference is invalid");
        } else {
            VariableTypes type = VariableTypes.getVariableType(resolvedPatternReference
                    .getType());
            define(reference.token,
                    type.getSymbol(getDataFactory(), reference.token.getText()));
        }
    }

    @Override
    public OPPLPatternScope getGlobalScope() {
        return new OPPLPatternScope(super.getGlobalScope(), getOntologyManager());
    }

    /** @return the ontologyManager */
    public OWLOntologyManager getOntologyManager() {
        return ontologyManager;
    }

    /** @param thisClass
     *            thisClass
     * @param constraintSystem
     *            constraintSystem */
    public void resolveThisClass(OPPLSyntaxTree thisClass,
            PatternConstraintSystem constraintSystem) {
        Variable thisClassVariable = constraintSystem.getThisClassVariable();
        VariableTypes type = VariableTypes.getVariableType(thisClassVariable.getType());
        define(thisClass.token,
                type.getSymbol(getDataFactory(), thisClass.token.getText()));
    }
}
    

    

    

            

    

            



    
    






    
© 2015 - 2024 Weber Informatics LLC | Privacy Policy