Class DispatchInformation


  • class DispatchInformation
    extends java.lang.Object
    Stores dispatch information for dynamically dispatching a custom operation.
    Author:
    Holger Eichelberger
    • Field Detail

      • bestDiff

        private int bestDiff
      • candidates

        private java.util.Set<java.lang.String> candidates
      • doneProjects

        private java.util.Set<Project> doneProjects
      • opName

        private java.lang.String opName
      • opParamCount

        private int opParamCount
    • Constructor Detail

      • DispatchInformation

        DispatchInformation​(CustomOperation operation,
                            EvaluationAccessor[] args)
        Creates a dispatch information object.
        Parameters:
        operation - the operation to dispatch
        args - the operation arguments
    • Method Detail

      • getBestMatch

        CustomOperation getBestMatch()
        Returns the best matching operation.
        Returns:
        the best matching operation
      • checkForDispatch

        void checkForDispatch​(Project scope)
        Checks the given scope for dispatch candidates.
        Parameters:
        scope - the scope to check for