The DSL should not only allow specifying that vertices that Data never flows to a Vertex. It should also allow that a user might specify that data must flow to a certain vertex and the analysis should return every that matches the source, but not the destination. An example:
var constraint = new ConstraintDSL().fromNode()
.withCharacteristic("Stereotype", "entrypoint")
.mustFlow()
.toVertex()
.withCharacteristic("Stereotype", "loadBalancer")
.create();
All nodes that are entry points must be load balancers as well. (This Constraint only matches vertices that are entry points, but not load balancer)
The DSL should not only allow specifying that vertices that Data never flows to a Vertex. It should also allow that a user might specify that data must flow to a certain vertex and the analysis should return every that matches the source, but not the destination. An example:
All nodes that are entry points must be load balancers as well. (This Constraint only matches vertices that are entry points, but not load balancer)