Examples with Feature org.abs_models.frontend.ast.Feature used on opensource projects

Example 6 with Feature

use of org.abs_models.frontend.ast.Feature in project abstools by abstools.

the class ProductDeclarationTest method complexExpression.

@Test
public void complexExpression() throws WrongProgramArgumentException {
    Model model = assertParse("product P1 = {F1, F2, F3} && {F3, F4} || {F5, F6} - {F6};");
    model.evaluateAllProductDeclarations();
    ProductDecl p = model.findProduct("P1");
    Product impl = p.getProduct();
    assertEquals(2, impl.getNumFeature());
    Set<String> expected = new HashSet<>(Arrays.asList("F3", "F5"));
    Set<String> actual = new HashSet<>();
    for (Feature f : impl.getFeatures()) actual.add(f.getName());
    assertEquals(expected, actual);
}

Example 7 with Feature

use of org.abs_models.frontend.ast.Feature in project abstools by abstools.

the class ProductDeclarationTest method unorderedProduct.

@Test
public void unorderedProduct() throws WrongProgramArgumentException {
    Model model = assertParse("product P2 = P1;" + "product P3 = P2;" + "product P1 = {F1, F2, F3};");
    model.evaluateAllProductDeclarations();
    ProductDecl p = model.findProduct("P3");
    Product impl = p.getProduct();
    assertEquals(3, impl.getNumFeature());
    Set<String> expected = new HashSet<>(Arrays.asList("F1", "F2", "F3"));
    Set<String> actual = new HashSet<>();
    for (Feature f : impl.getFeatures()) actual.add(f.getName());
    assertEquals(expected, actual);
}

Example 8 with Feature

use of org.abs_models.frontend.ast.Feature in project abstools by abstools.

the class ProductDeclarationTest method productFeatureSet.

@Test
public void productFeatureSet() throws WrongProgramArgumentException {
    Model model = assertParse("product P1 = {F1, F2, F3};");
    model.evaluateAllProductDeclarations();
    ProductDecl p = model.findProduct("P1");
    Product impl = p.getProduct();
    assertEquals(3, impl.getNumFeature());
    Set<String> expected = new HashSet<>(Arrays.asList("F1", "F2", "F3"));
    Set<String> actual = new HashSet<>();
    for (Feature f : impl.getFeatures()) actual.add(f.getName());
    assertEquals(expected, actual);
}

Example 9 with Feature

use of org.abs_models.frontend.ast.Feature in project abstools by abstools.

the class ProductDeclarationTest method productName.

@Test
public void productName() throws WrongProgramArgumentException {
    Model model = assertParse("product P1 = {F1, F2, F3};" + "product P2 = P1;");
    model.evaluateAllProductDeclarations();
    ProductDecl p = model.findProduct("P2");
    Product impl = p.getProduct();
    assertEquals(3, impl.getNumFeature());
    Set<String> expected = new HashSet<>(Arrays.asList("F1", "F2", "F3"));
    Set<String> actual = new HashSet<>();
    for (Feature f : impl.getFeatures()) actual.add(f.getName());
    assertEquals(expected, actual);
}

Example 10 with Feature

use of org.abs_models.frontend.ast.Feature in project abstools by abstools.

the class ProductDeclarationTest method complexExpressionWithParenthesis.

@Test
public void complexExpressionWithParenthesis() throws WrongProgramArgumentException {
    Model model = assertParse("product P1 = {F1, F2, F3} && ({F3, F4} || {F5}) || {F6} - {F6};");
    model.evaluateAllProductDeclarations();
    ProductDecl p = model.findProduct("P1");
    Product impl = p.getProduct();
    assertEquals(1, impl.getNumFeature());
    Set<String> expected = new HashSet<>(Arrays.asList("F3"));
    Set<String> actual = new HashSet<>();
    for (Feature f : impl.getFeatures()) actual.add(f.getName());
    assertEquals(expected, actual);
}