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/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/generics/CompareNullabilityVisitor.java]" -- "[nullaway/src/main/java/com/uber/nullaway/generics/GenericsChecks.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 4 ", penwidth="4", color="#00688b93"]; "[nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" [label=" 3 ", penwidth="3", color="#00688b82"]; "[nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/LombokHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/LombokHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/InferredJARModelsHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/InferredJARModelsHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStoreInitializer.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[sample-library-model/src/main/java/com/uber/modelexample/ExampleLibraryModels.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.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/LombokHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[sample-library-model/src/main/java/com/uber/modelexample/ExampleLibraryModels.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/InferredJARModelsHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[test-java-lib-lombok/src/main/java/com/uber/lombok/UsesDTO.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/contract/ContractNullnessStoreInitializer.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[test-java-lib-lombok/src/main/java/com/uber/lombok/UsesDTO.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.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/CompareNullabilityVisitor.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/LombokHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/contract/ContractNullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[test-java-lib-lombok/src/main/java/com/uber/lombok/UsesDTO.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[test-java-lib-lombok/src/main/java/com/uber/lombok/UsesDTO.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LombokHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[test-java-lib-lombok/src/main/java/com/uber/lombok/UsesDTO.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/contract/ContractNullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/LibraryModels.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/contract/ContractNullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStoreInitializer.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/InferredJARModelsHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; "[test-java-lib-lombok/src/main/java/com/uber/lombok/UsesDTO.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" [label=" 2 ", penwidth="2", color="#00688b70"]; }