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/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/stream/StreamTypeRecord.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/stream/MapOrCollectLikeMethodRecord.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/stream/CollectLikeMethodRecord.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/stream/CollectLikeMethodRecord.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/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/handlers/stream/MapOrCollectLikeMethodRecord.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/StreamModelBuilder.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/MapLikeMethodRecord.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; "[nullaway/src/main/java/com/uber/nullaway/NullAway.java]" -- "[nullaway/src/main/java/com/uber/nullaway/ErrorMessage.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/StreamNullabilityPropagatorFactory.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/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/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/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/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/handlers/stream/MapOrCollectMethodToFilterInstanceRecord.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/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/contract/ContractHandler.java]" -- "[nullaway/src/main/java/com/uber/nullaway/dataflow/cfg/NullAwayCFGBuilder.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/StreamNullabilityPropagatorFactory.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/stream/MapLikeMethodRecord.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"]; "[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/stream/StreamTypeRecord.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/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/stream/MapLikeMethodRecord.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/StreamModelBuilder.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/stream/MapOrCollectMethodToFilterInstanceRecord.java]" -- "[nullaway/src/main/java/com/uber/nullaway/handlers/stream/CollectLikeMethodRecord.java]" [label=" 1 ", penwidth="1", color="#00688b5E"]; }