org.ggp.base.util.gdl.model.SentenceDomainModelFactory Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation

A modified version of the GGP-Base library for Alloy.

The newest version!

package org.ggp.base.util.gdl.model;

import java.util.List;
import java.util.Map;

import org.ggp.base.util.gdl.grammar.Gdl;

public class SentenceDomainModelFactory {
    private SentenceDomainModelFactory() {
    }

    public static ImmutableSentenceDomainModel createWithCartesianDomains(List description) throws InterruptedException {
        //TODO: Require somehow that the input to this has come through the
        //VariableConstrainer already
        ImmutableSentenceFormModel formModel = SentenceFormModelFactory.create(description);

        SentenceFormsFinder sentenceFormsFinder = new SentenceFormsFinder(formModel.getDescription());
        Map domains = sentenceFormsFinder.findCartesianDomains();

        return ImmutableSentenceDomainModel.create(formModel, domains);
    }
}