StreamEquivalenceClass function ( Stream arg0 ) { return streamEquivalenceMap . get ( arg0 ) ; }
get the equivalence class for given stream . may only be called if marktransitiveuninterestingstreamescapes has been called . concode_field_sep StreamFactory[] streamFactoryList concode_elem_sep Map<Stream,StreamEquivalenceClass> streamEquivalenceMap concode_elem_sep Map<Location,Stream> streamOpenLocationMap concode_elem_sep HashSet<Stream> uninterestingStreamEscapeSet concode_elem_sep RepositoryLookupFailureCallback lookupFailureCallback concode_elem_sep ResourceCollection<Stream> resourceCollection concode_elem_sep TreeSet<StreamEscape> streamEscapeSet concode_field_sep void markTransitiveUninterestingStreamEscapes concode_elem_sep void addStreamOpenLocation concode_elem_sep boolean mightCloseResource concode_elem_sep ResourceValueFrameModelingVisitor createVisitor concode_elem_sep boolean ignoreImplicitExceptions concode_elem_sep boolean isResourceOpen concode_elem_sep boolean isResourceClose concode_elem_sep void setResourceCollection concode_elem_sep boolean isParamInstance concode_elem_sep boolean isUninterestingStreamEscape concode_elem_sep boolean isStreamOpenLocation concode_elem_sep Stream isResourceCreation concode_elem_sep boolean ignoreExceptionEdge concode_elem_sep void addStreamEscape