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/CodeAnnotationInfo.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.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/ErrorProneCLIFlagsConfig.java]" -- "[nullaway/src/main/java/com/uber/nullaway/AbstractConfig.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/StreamModelBuilder.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/StreamNullabilityPropagator.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/MapOrCollectMethodToFilterInstanceRecord.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/StreamNullabilityPropagatorFactory.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/temporary/FluentFutureHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/AbstractConfig.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/Config.java]" -- "[nullaway/src/main/java/com/uber/nullaway/AbstractConfig.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/StreamTypeRecord.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/MapOrCollectLikeMethodRecord.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/generics/GenericsChecks.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[sample-library-model/src/main/java/com/uber/modelexample/ExampleLibraryModels.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/StreamTypeRecord.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/StreamNullabilityPropagator.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/StreamTypeRecord.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/CollectLikeMethodRecord.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/temporary/FluentFutureHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/Config.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/generics/PreservedAnnotationTreeVisitor.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.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/NullabilityUtil.java]" -- "[nullaway/src/main/java/com/uber/nullaway/generics/GenericsChecks.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[sample-library-model/src/main/java/com/uber/modelexample/ExampleLibraryModels.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.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/CompositeHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/LibraryModels.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" -- "[nullaway/src/main/java/com/uber/nullaway/LibraryModels.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java]" -- "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/StreamModelBuilder.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/MapOrCollectMethodToFilterInstanceRecord.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/StreamTypeRecord.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/MapLikeMethodRecord.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/ErrorProneCLIFlagsConfig.java]" -- "[nullaway/src/main/java/com/uber/nullaway/Config.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[sample-library-model/src/main/java/com/uber/modelexample/ExampleLibraryModels.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/CoreNullnessStoreInitializer.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[sample-library-model/src/main/java/com/uber/modelexample/ExampleLibraryModels.java]" -- "[nullaway/src/main/java/com/uber/nullaway/LibraryModels.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/MapOrCollectLikeMethodRecord.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/StreamNullabilityPropagatorFactory.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" -- "[nullaway/src/main/java/com/uber/nullaway/generics/GenericsChecks.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/generics/GenericsChecks.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/LibraryModelsHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/StreamTypeRecord.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/StreamModelBuilder.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/fixserialization/XMLUtil.java]" -- "[nullaway/src/main/java/com/uber/nullaway/fixserialization/FixSerializationConfig.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/Handler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/NullabilityUtil.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/MapOrCollectMethodToFilterInstanceRecord.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/MapOrCollectLikeMethodRecord.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/temporary/FluentFutureHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/DummyOptionsConfig.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/MapOrCollectLikeMethodRecord.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/CollectLikeMethodRecord.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/BaseNoOpHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/LibraryModels.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/StreamModelBuilder.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/CollectLikeMethodRecord.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/MapLikeMethodRecord.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/StreamNullabilityPropagator.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/CompositeHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/CodeAnnotationInfo.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/StreamModelBuilder.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/StreamNullabilityPropagatorFactory.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; }