@Test
@Given("#tower")
public MetaRepository metamodel(Tower t) {
t.getMetamodel().withAll(Composite.class, Container.class, Leaf.class);
MetaRepository $ = t.getMetamodel();
assertEquals(3, $.allClassDescriptions().size());
assertEquals(4, $.all(PropertyDescription.class).size());
return $;
}
@Test
public void allClassDescriptionsAreElement() {
MetaRepository m3 = MetaRepository.createFM3();
assertTrue(m3.getElements().containsAll(m3.allClassDescriptions()));
}
@Test
public void has4Classes() {
MetaRepository m3 = MetaRepository.createFM3();
assertEquals(4, m3.allClassDescriptions().size());
}
