Package

org.opalj.ai.dataflow

spec

Permalink

package spec

Visibility
  1. Public
  2. All

Type Members

  1. case class Calls(properties: PartialFunction[(ReferenceType, String, MethodDescriptor), Boolean]) extends ValueLocationMatcher with Product with Serializable

    Permalink
  2. abstract class DataFlowProblemSpecification[Source, P] extends DataFlowProblem[Source, P] with SourcesAndSinks

    Permalink

    Support methods to facilitate the definition of data-flow constraints.

  3. case class MethodsMatcher(matcher: PartialFunction[Method, Set[Int]]) extends AValueLocationMatcher with Product with Serializable

    Permalink
  4. trait SourcesAndSinks extends AnyRef

    Permalink

    Support methods to facilitate the definition of data-flow constraints.

  5. trait ValueLocationMatcher extends AValueLocationMatcher

    Permalink

Ungrouped