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

Example 11 with ProductDecl

use of org.abs_models.frontend.ast.ProductDecl 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 12 with ProductDecl

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

the class ProductDeclarationTest method validProduct.

@Test
public void validProduct() throws WrongProgramArgumentException {
    Model model = assertParse("product P1 = {F1, F2, F3};" + "root FM {" + "group allof { F1, F2, F3 }" + "}");
    model.evaluateAllProductDeclarations();
    ProductDecl p = model.findProduct("P1");
    SemanticConditionList e = new SemanticConditionList();
    typeCheck(model, p, e);
    assertEquals(0, e.getErrorCount());
}

Example 13 with ProductDecl

use of org.abs_models.frontend.ast.ProductDecl 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 14 with ProductDecl

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

the class ProductDeclarationTest method undeclaredProduct.

// FIXME: The correct error message is emitted, but via throwing an
// exception instead of reporting it in the condition list.  Additionally,
// the WrongProgramArgumentException is re-thrown as a RuntimeException.
// The proper fix is to just add an error to the SemanticConditionList
// instead of throwing an exception
// @Test(expected=org.abs_models.common.WrongProgramArgumentException.class)
@Test(expected = java.lang.RuntimeException.class)
public void undeclaredProduct() throws WrongProgramArgumentException {
    Model model = assertParse("product P1 = P2 && P3 || P4 || {F1, F2};");
    ProductDecl p = model.findProduct("P1");
    SemanticConditionList e = new SemanticConditionList();
    typeCheck(model, p, e);
    assertEquals(3, e.getErrorCount());
    Assert.assertEquals(ErrorMessage.UNDECLARED_PRODUCT, e.getFirstError().msg);
}

Example 15 with ProductDecl

use of org.abs_models.frontend.ast.ProductDecl 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);
}