Exemple #1
0
void test_bug_rename_port()
{
    auto ctx = vle::utils::make_context();
    vpz::Vpz file(ctx->getTemplate("unittest.vpz").string());

    CoupledModel* top =
        dynamic_cast<CoupledModel*>(file.project().model().node());
    Ensures(top);
    EnsuresEqual(top->existInternalConnection("top1", "out", "top2",
                                                     "in"), true);
    CoupledModel* top1 =
        dynamic_cast<CoupledModel*>(top->findModel("top1"));
    Ensures(top1);

    CoupledModel* top2 =
        dynamic_cast<CoupledModel*>(top->findModel("top2"));
    Ensures(top2);

    EnsuresEqual(top->existInternalConnection("top2", "out", "top1",
                                                     "in"), true);

    EnsuresEqual(top2->existOutputPort("out"), true);
    top2->delOutputPort("out");
    EnsuresEqual(top2->existOutputPort("out"), false);

    EnsuresEqual(top->existInternalConnection("top2", "out", "top1",
                                                     "in"), false);

    EnsuresEqual(top1->existInputPort("in"), true);
    EnsuresNotThrow(top1->delInputPort("in"), std::exception);
    EnsuresEqual(top1->existInputPort("in"), false);

    EnsuresEqual(top->existInternalConnection("top2", "out", "top1",
                                                     "in"), false);
}
Exemple #2
0
void test_clone2()
{
    auto ctx = vle::utils::make_context();
    vpz::Vpz file(ctx->getTemplate("unittest.vpz").string());

    CoupledModel* oldtop = dynamic_cast < CoupledModel* >(
        file.project().model().node());
    Ensures(oldtop);

    CoupledModel* top = dynamic_cast < CoupledModel* >(oldtop->clone());
    Ensures(top);
    CoupledModel* top1(dynamic_cast < CoupledModel*
                       >(top->findModel("top1")));
    Ensures(top1);
    CoupledModel* top2(dynamic_cast < CoupledModel*
                       >(top->findModel("top2")));
    Ensures(top2);

    AtomicModel* f(dynamic_cast < AtomicModel* >(top2->findModel("f")));
    Ensures(f);
    AtomicModel* g(dynamic_cast < AtomicModel* >(top2->findModel("g")));
    Ensures(g);

    delete top;
}
Exemple #3
0
void
test_rename_model()
{
    auto ctx = vle::utils::make_context();

    vpz::Vpz file(VPZ_TEST_DIR "/unittest.vpz");

    CoupledModel* top =
      dynamic_cast<CoupledModel*>(file.project().model().node());
    Ensures(top);

    if (not top)
        return;

    EnsuresNotThrow(vpz::BaseModel::rename(top, "new_top"), std::exception);

    AtomicModel* d = dynamic_cast<AtomicModel*>(top->findModel("d"));
    Ensures(d);

    if (not d)
        return;

    EnsuresThrow(vpz::BaseModel::rename(d, "e"), utils::DevsGraphError);
    EnsuresNotThrow(vpz::BaseModel::rename(d, "new_d"), std::exception);

    CoupledModel* top1 = dynamic_cast<CoupledModel*>(top->findModel("top1"));
    Ensures(top1);

    if (not top1)
        return;

    EnsuresThrow(vpz::BaseModel::rename(top1, "top2"), utils::DevsGraphError);
    EnsuresNotThrow(vpz::BaseModel::rename(top1, "new_top1"), std::exception);
}
Exemple #4
0
void test_rename_model()
{
    auto ctx = vle::utils::make_context();
    vpz::Vpz file(ctx->getTemplate("unittest.vpz").string());

    CoupledModel* top =
        dynamic_cast<CoupledModel*>(file.project().model().node());
    Ensures(top);
    EnsuresNotThrow(vpz::BaseModel::rename(top, "new_top"), std::exception);

    AtomicModel* d = dynamic_cast<AtomicModel*>(top->findModel("d"));
    EnsuresThrow(vpz::BaseModel::rename(d, "e"), utils::DevsGraphError);
    EnsuresNotThrow(vpz::BaseModel::rename(d, "new_d"), std::exception);

    CoupledModel * top1 = dynamic_cast<CoupledModel*>(top->findModel("top1"));
    EnsuresThrow(vpz::BaseModel::rename(top1, "top2"), utils::DevsGraphError);
    EnsuresNotThrow(vpz::BaseModel::rename(top1, "new_top1"), std::exception);
}
Exemple #5
0
void test_rename_port()
{
    auto ctx = vle::utils::make_context();
    vpz::Vpz file(ctx->getTemplate("unittest.vpz").string());

    CoupledModel* top =
        dynamic_cast<CoupledModel*>(file.project().model().node());
    Ensures(top);
    EnsuresEqual(top->existInternalConnection("top1", "out", "top2",
                                                     "in"), true);

    //Atomic Model
    AtomicModel* d = dynamic_cast<AtomicModel*>(top->findModel("d"));
    Ensures(d);
    EnsuresEqual(d->existInputPort("in"), true);
    EnsuresEqual(d->existOutputPort("out"), true);
    EnsuresEqual(top->existInternalConnection("top1", "out", "d",
                                                     "in"), true);

    //Atomic Model -- Input Port
    d->renameInputPort("in", "new_in");
    EnsuresEqual(d->existInputPort("in"), false);
    EnsuresEqual(top->existInternalConnection("top1", "out", "d",
                                                     "in"), false);
    EnsuresEqual(d->existInputPort("new_in"), true);
    EnsuresEqual(top->existInternalConnection("top1", "out", "d",
                                                     "new_in"), true);

    //Atomic Model -- Output Port
    d->renameOutputPort("out", "new_out");
    EnsuresEqual(d->existOutputPort("out"), false);
    EnsuresEqual(d->existOutputPort("new_out"), true);

    //Coupled Model
    CoupledModel* top1 =
        dynamic_cast<CoupledModel*>(top->findModel("top1"));
    Ensures(top1);

    //Coupled Model -- Input Port
    EnsuresEqual(top1->existInputPort("in"), true);
    EnsuresEqual(top->existInternalConnection("top2", "out", "top1",
                                                     "in"), true);
    EnsuresEqual(top1->existInputConnection("in", "x", "in"), true);

    top1->renameInputPort("in", "new_in");
    EnsuresEqual(top1->existInputPort("in"), false);
    EnsuresEqual(top->existInternalConnection("top2", "out", "top1",
                                                     "in"), false);
    EnsuresEqual(top1->existInputConnection("in", "x", "in"), false);
    EnsuresEqual(top1->existInputPort("new_in"), true);
    EnsuresEqual(top->existInternalConnection("top2", "out", "top1",
                                                     "new_in"), true);
    EnsuresEqual(top1->existInputConnection("new_in", "x", "in"), true);
    EnsuresEqual(top1->nbInputConnection("new_in", "x", "in"), 1);

    //Coupled Model -- Output Port
    EnsuresEqual(top1->existOutputPort("out"), true);
    EnsuresEqual(top->existInternalConnection("top1", "out", "e",
                                                     "in1"), true);
    EnsuresEqual(top->existInternalConnection("top1", "out", "e",
                                                     "in2"), true);
    EnsuresEqual(top1->existOutputConnection("x", "out", "out"),
                        true);

    top1->renameOutputPort("out", "new_out");
    EnsuresEqual(top1->existOutputPort("out"), false);
    EnsuresEqual(top->existInternalConnection("top1", "out", "e",
                                                     "in1"), false);
    EnsuresEqual(top->existInternalConnection("top1", "out", "e",
                                                     "in2"), false);
    EnsuresEqual(top1->existOutputConnection("x", "out", "out"),
                        false);
    EnsuresEqual(top1->existOutputPort("new_out"), true);
    EnsuresEqual(top->existInternalConnection("top1", "new_out", "e",
                                                     "in1"), true);
    EnsuresEqual(top->existInternalConnection("top1", "new_out", "e",
                                                     "in2"), true);
    EnsuresEqual(top1->existOutputConnection("x", "out", "new_out"),
                        true);
    EnsuresEqual(top1->nbOutputConnection("x", "out", "new_out"), 1);
}
Exemple #6
0
void
test_del_port()
{
    auto ctx = vle::utils::make_context();
    vpz::Vpz file(VPZ_TEST_DIR "/unittest.vpz");

    CoupledModel* top =
      dynamic_cast<CoupledModel*>(file.project().model().node());
    Ensures(top);
    if (not top)
        return;
    EnsuresEqual(top->existInternalConnection("top1", "out", "top2", "in"),
                 true);

    // Atomic Model
    AtomicModel* d = dynamic_cast<AtomicModel*>(top->findModel("d"));
    Ensures(d);
    if (not d)
        return;

    EnsuresEqual(d->existInputPort("in"), true);
    EnsuresEqual(d->existOutputPort("out"), true);
    EnsuresEqual(top->existInternalConnection("top1", "out", "d", "in"), true);

    // Atomic Model -- Input Port
    d->delInputPort("in");
    EnsuresEqual(d->existInputPort("in"), false);
    EnsuresEqual(top->existInternalConnection("top1", "out", "d", "in"),
                 false);

    // Atomic Model -- Output Port
    d->delOutputPort("out");
    EnsuresEqual(d->existOutputPort("out"), false);

    // Coupled Model
    CoupledModel* top1 = dynamic_cast<CoupledModel*>(top->findModel("top1"));
    Ensures(top1);
    if (not top1)
        return;

    // Coupled Model -- Input Port
    EnsuresEqual(top1->existInputPort("in"), true);
    EnsuresEqual(top->existInternalConnection("top2", "out", "top1", "in"),
                 true);
    EnsuresEqual(top1->existInputConnection("in", "x", "in"), true);

    top1->delInputPort("in");
    EnsuresEqual(top1->existInputPort("in"), false);
    EnsuresEqual(top->existInternalConnection("top2", "out", "top1", "in"),
                 false);
    EnsuresEqual(top1->existInputConnection("in", "x", "in"), false);

    // Coupled Model -- Output Port
    EnsuresEqual(top1->existOutputPort("out"), true);
    EnsuresEqual(top->existInternalConnection("top1", "out", "e", "in1"),
                 true);
    EnsuresEqual(top->existInternalConnection("top1", "out", "e", "in2"),
                 true);
    EnsuresEqual(top1->existOutputConnection("x", "out", "out"), true);

    top1->delOutputPort("out");
    EnsuresEqual(top1->existOutputPort("out"), false);
    EnsuresEqual(top->existInternalConnection("top1", "out", "e", "in1"),
                 false);
    EnsuresEqual(top->existInternalConnection("top1", "out", "e", "in2"),
                 false);
    EnsuresEqual(top1->existOutputConnection("x", "out", "out"), false);
}