Class StatisticsVisitor.Statistics

  • Enclosing class:
    StatisticsVisitor

    public static class StatisticsVisitor.Statistics
    extends net.ssehub.easy.varModel.confModel.AbstractConfigurationStatisticsVisitor.ConfigStatistics
    Extended statistics.
    Author:
    Holger Eichelberger, SSE
    • Constructor Summary

      Constructors 
      Constructor Description
      Statistics()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getMetaVars()
      Returns the number of meta variables.
      int getMetaVarsWithComment()
      Returns the number of commented meta variables.
      • Methods inherited from class net.ssehub.easy.varModel.confModel.AbstractConfigurationStatisticsVisitor.ConfigStatistics

        noOfAnnotations, noOfConstraintInstances, noOfConstraintVariables, noOfConstraintVariablesNoContainer, noOfNormalVariables, noOfNormalVariablesNoContainer, noOfToplevelVariables, noOfVariables, noOfVariablesWithoutContainer
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • metaVars

        private int metaVars
      • metaVarsWithComment

        private int metaVarsWithComment
    • Constructor Detail

      • Statistics

        public Statistics()
    • Method Detail

      • getMetaVars

        public int getMetaVars()
        Returns the number of meta variables.
        Returns:
        the number of meta variables
      • getMetaVarsWithComment

        public int getMetaVarsWithComment()
        Returns the number of commented meta variables.
        Returns:
        the number of meta variables