graph G {
    compound="true"
    rankdir="TB"
    bgcolor="white"
    fontname="Tahoma"

    node [
        fixedsize="false"
        fontname="Tahoma"
        color="white"
        fillcolor="deepskyblue2"
        fontcolor="black"
        shape="box"
        style="filled"
        penwidth="1.0"
    ]
    edge [
        fontname="Arial"
        color="#00688b"
        fontcolor="black"
        fontsize="12"
        arrowsize="0.5"
        penwidth="1.0"
    ]




    "[nullaway/src/main/java/com/uber/nullaway/generics/GenericsChecks.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" -- "[nullaway/src/main/java/com/uber/nullaway/ErrorProneCLIFlagsConfig.java]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[nullaway/src/main/java/com/uber/nullaway/handlers/Handlers.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessAnalysis.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[nullaway/src/main/java/com/uber/nullaway/generics/CheckIdenticalNullabilityVisitor.java]" -- "[nullaway/src/main/java/com/uber/nullaway/generics/GenericsChecks.java]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[nullaway/src/main/java/com/uber/nullaway/generics/PreservedAnnotationTreeVisitor.java]" -- "[nullaway/src/main/java/com/uber/nullaway/generics/GenericsChecks.java]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[test-java-lib/src/main/java/com/uber/lib/unannotated/ProviderNullMarkedViaModel.java]" -- "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/fixserialization/adapters/SerializationV3Adapter.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStoreInitializer.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/generics/TypeSubstitutionUtils.java]" -- "[nullaway/src/main/java/com/uber/nullaway/generics/GenericsChecks.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[test-java-lib/src/main/java/com/uber/lib/unannotated/ProviderNullMarkedViaModel.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/Nullness.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/ErrorBuilder.java]" -- "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/generics/GenericsChecks.java]" -- "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/generics/TypeMetadataBuilder.java]" -- "[nullaway/src/main/java/com/uber/nullaway/generics/PreservedAnnotationTreeVisitor.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/generics/PreservedAnnotationTreeVisitor.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/generics/TypeMetadataBuilder.java]" -- "[nullaway/src/main/java/com/uber/nullaway/generics/TypeSubstitutionUtils.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[test-library-models/src/main/java/com/uber/nullaway/testlibrarymodels/TestLibraryModels.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/Handlers.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/Handlers.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessAnalysis.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/fixserialization/adapters/SerializationV3Adapter.java]" -- "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[jar-infer/test-java-lib-jarinfer/src/main/java/com/uber/nullaway/jarinfer/toys/unannotated/Toys.java]" -- "[jar-infer/jar-infer-lib/src/main/java/com/uber/nullaway/jarinfer/DefinitelyDerefedParamsDriver.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/generics/TypeSubstitutionUtils.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/handlers/Handlers.java]" -- "[nullaway/src/main/java/com/uber/nullaway/ErrorProneCLIFlagsConfig.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/ErrorBuilder.java]" -- "[nullaway/src/main/java/com/uber/nullaway/LibraryModels.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/generics/TypeMetadataBuilder.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/Nullness.java]" -- "[nullaway/src/main/java/com/uber/nullaway/ErrorProneCLIFlagsConfig.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java]" -- "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessAnalysis.java]" -- "[nullaway/src/main/java/com/uber/nullaway/Nullness.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/Handlers.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/generics/PreservedAnnotationTreeVisitor.java]" -- "[nullaway/src/main/java/com/uber/nullaway/generics/TypeSubstitutionUtils.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[test-java-lib/src/main/java/com/uber/lib/unannotated/ProviderNullMarkedViaModel.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/Handlers.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[test-java-lib/src/main/java/com/uber/lib/unannotated/ProviderNullMarkedViaModel.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessAnalysis.java]" -- "[nullaway/src/main/java/com/uber/nullaway/ErrorProneCLIFlagsConfig.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[test-java-lib/src/main/java/com/uber/lib/unannotated/ProviderNullMarkedViaModel.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"];

}