Class RecursiveFunctions


  • public class RecursiveFunctions
    extends Property
    An analyzer for recursive functions
    Author:
    Ben Holland, Jon Mathews
    • Constructor Detail

      • RecursiveFunctions

        public RecursiveFunctions()
    • Method Detail

      • getName

        public java.lang.String getName()
        Description copied from class: Analyzer
        Returns a name of the analyzer
        Overrides:
        getName in class Analyzer
        Returns:
      • getDescription

        public java.lang.String getDescription()
        Description copied from class: Analyzer
        Returns a short description of the analyzer
        Specified by:
        getDescription in class Analyzer
        Returns:
      • getAssumptions

        public java.lang.String[] getAssumptions()
        Description copied from class: Analyzer
        Returns an array of assumptions made when writing the analyzer
        Overrides:
        getAssumptions in class Analyzer
        Returns:
      • getResults

        public java.util.List<Analyzer.Result> getResults​(com.ensoftcorp.atlas.core.query.Q context)
        Description copied from class: Analyzer
        Return analyzer's labeled results Results are for results within a given context
        Specified by:
        getResults in class Analyzer
        Returns:
      • getRecursiveMethods

        public static com.ensoftcorp.atlas.core.query.Q getRecursiveMethods()