Examples with Batfish org.batfish.main.Batfish used on opensource projects

Example 31 with Batfish

use of org.batfish.main.Batfish in project batfish by batfish.

the class ElasticsearchDomainTest method loadAwsConfigurations.

public Map<String, Configuration> loadAwsConfigurations() throws IOException {
    List<String> awsFilenames = ImmutableList.of("ElasticsearchDomains.json", "SecurityGroups.json", "Subnets.json", "Vpcs.json", "NetworkAcls.json", "NetworkInterfaces.json", "Reservations.json");
    Batfish batfish = BatfishTestUtils.getBatfishFromTestrigText(TestrigText.builder().setAwsText("org/batfish/representation/aws/test", awsFilenames).build(), _folder);
    return batfish.loadConfigurations();
}

Example 32 with Batfish

use of org.batfish.main.Batfish in project batfish by batfish.

the class BatfishCompressionTest method getDataPlane.

private DataPlane getDataPlane(SortedMap<String, Configuration> configs) throws IOException {
    // make sure to reconstruct the network, since compression mutates it
    TemporaryFolder tmp = new TemporaryFolder();
    tmp.create();
    Batfish batfish = BatfishTestUtils.getBatfish(configs, tmp);
    BdpDataPlanePlugin bdpDataPlanePlugin = new BdpDataPlanePlugin();
    bdpDataPlanePlugin.initialize(batfish);
    batfish.registerDataPlanePlugin(bdpDataPlanePlugin, "bdp");
    batfish.computeDataPlane(false);
    return batfish.loadDataPlane();
}