Search in sources :

Example 1 with ASTFeatureConfiguration

use of de.monticore.featureconfiguration._ast.ASTFeatureConfiguration in project feature-diagram by MontiCore.

the class FeatureDiagramAnalysisTest method testCompleteToValid2.

@Test
public void testCompleteToValid2() {
    ASTFeatureDiagram fd = getFD("FalseOptional.fd");
    ASTFeatureConfiguration fc = getFC("ValidConfig.fc");
    ASTFeatureConfiguration result = new CompleteToValid().perform(fd, fc);
    assertFalse(null == result);
}
Also used : ASTFeatureDiagram(de.monticore.featurediagram._ast.ASTFeatureDiagram) ASTFeatureConfiguration(de.monticore.featureconfiguration._ast.ASTFeatureConfiguration) Test(org.junit.Test)

Example 2 with ASTFeatureConfiguration

use of de.monticore.featureconfiguration._ast.ASTFeatureConfiguration in project feature-diagram by MontiCore.

the class FeatureDiagramAnalysisTest method testisValid1.

@Test
public void testisValid1() {
    ASTFeatureDiagram fd = getFD("FalseOptional.fd");
    ASTFeatureConfiguration fc = getFC("CompleteToValid.fc");
    Boolean result = new IsValid().perform(fd, fc);
    assertFalse(result);
}
Also used : ASTFeatureDiagram(de.monticore.featurediagram._ast.ASTFeatureDiagram) ASTFeatureConfiguration(de.monticore.featureconfiguration._ast.ASTFeatureConfiguration) Test(org.junit.Test)

Example 3 with ASTFeatureConfiguration

use of de.monticore.featureconfiguration._ast.ASTFeatureConfiguration in project feature-diagram by MontiCore.

the class FeatureDiagramAnalysisTest method testCompleteToValid3.

@Test
public void testCompleteToValid3() {
    ASTFeatureDiagram fd = getFD("FalseOptional.fd");
    ASTFeatureConfiguration fc = getFC("InvalidConfig.fc");
    ASTFeatureConfiguration result = new CompleteToValid().perform(fd, fc);
    assertFalse(null == result);
}
Also used : ASTFeatureDiagram(de.monticore.featurediagram._ast.ASTFeatureDiagram) ASTFeatureConfiguration(de.monticore.featureconfiguration._ast.ASTFeatureConfiguration) Test(org.junit.Test)

Example 4 with ASTFeatureConfiguration

use of de.monticore.featureconfiguration._ast.ASTFeatureConfiguration in project feature-diagram by MontiCore.

the class FeatureDiagramAnalysisTest method testisValid2.

@Test
public void testisValid2() {
    ASTFeatureDiagram fd = getFD("FalseOptional.fd");
    ASTFeatureConfiguration fc = getFC("ValidConfig.fc");
    Boolean result = new IsValid().perform(fd, fc);
    assertTrue(result);
}
Also used : ASTFeatureDiagram(de.monticore.featurediagram._ast.ASTFeatureDiagram) ASTFeatureConfiguration(de.monticore.featureconfiguration._ast.ASTFeatureConfiguration) Test(org.junit.Test)

Example 5 with ASTFeatureConfiguration

use of de.monticore.featureconfiguration._ast.ASTFeatureConfiguration in project feature-diagram by MontiCore.

the class FeatureDiagramAnalysisTest method testFindValid1.

@Test
public void testFindValid1() {
    ASTFeatureConfiguration result = new FindValid().perform(getFD("fdvalid/Phone.fd"));
    assertFalse(null == result);
}
Also used : ASTFeatureConfiguration(de.monticore.featureconfiguration._ast.ASTFeatureConfiguration) Test(org.junit.Test)

Aggregations

ASTFeatureConfiguration (de.monticore.featureconfiguration._ast.ASTFeatureConfiguration)18 ASTFeatureDiagram (de.monticore.featurediagram._ast.ASTFeatureDiagram)9 Test (org.junit.Test)9 ASTFCCompilationUnit (de.monticore.featureconfiguration._ast.ASTFCCompilationUnit)5 MCPath (de.monticore.io.paths.MCPath)4 ASTFeatureConfigurationBuilder (de.monticore.featureconfiguration._ast.ASTFeatureConfigurationBuilder)2 ASTSelectBuilder (de.monticore.featureconfigurationpartial._ast.ASTSelectBuilder)2 ASTUnselectBuilder (de.monticore.featureconfigurationpartial._ast.ASTUnselectBuilder)2 Path (java.nio.file.Path)2 HashMap (java.util.HashMap)2 Map (java.util.Map)2 FlatZincModel (mcfdtool.transform.flatzinc.FlatZincModel)2 ASTFeatureConfigurationNode (de.monticore.featureconfiguration._ast.ASTFeatureConfigurationNode)1 FeatureConfigurationSymbol (de.monticore.featureconfiguration._symboltable.FeatureConfigurationSymbol)1 IFeatureConfigurationArtifactScope (de.monticore.featureconfiguration._symboltable.IFeatureConfigurationArtifactScope)1 SelectedFeatureCollector (de.monticore.featureconfiguration._visitor.SelectedFeatureCollector)1 FeatureConfigurationPrinter (de.monticore.featureconfiguration.prettyprint.FeatureConfigurationPrinter)1 FeatureConfigurationPartialTraverser (de.monticore.featureconfigurationpartial._visitor.FeatureConfigurationPartialTraverser)1 FeatureDiagramTraverser (de.monticore.featurediagram._visitor.FeatureDiagramTraverser)1 IndentPrinter (de.monticore.prettyprint.IndentPrinter)1