Package com.piketec.tpt.api.codecoverage

Interface TPTCoverageSettings

  • All Superinterfaces:
    CoverageSettings, IdentifiableRemote, java.rmi.Remote, TptRemote
    public interface TPTCoverageSettings
extends CoverageSettings
    Represents the settings for a coverage measurement with TPT Coverage.
    Use CCodePlatformConfiguration.setCoverageToTPT() to get TPT Coverage settings, they will be used for instrumentation afterwards

    • Method Detail

      • isDecisionCoverage

        boolean isDecisionCoverage()
                    throws java.rmi.RemoteException
        Returns:
        If decision coverage is measured
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setDecisionCoverage

        void setDecisionCoverage​(boolean decisionCoverage)
                  throws java.rmi.RemoteException
        En- or disable decision coverage measurement
        Parameters:
        decisionCoverage - Should decision coverage be measured
        Throws:
        java.rmi.RemoteException - remote communication problem

      • isConditionCoverage

        boolean isConditionCoverage()
                     throws java.rmi.RemoteException
        Returns:
        If condition coverage is measured
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setConditionCoverage

        void setConditionCoverage​(boolean conditionCoverage)
                   throws java.rmi.RemoteException
        En- or disable condition coverage measurement
        Parameters:
        conditionCoverage - Should condition coverage be measured
        Throws:
        java.rmi.RemoteException - remote communication problem

      • isMCDCCoverage

        boolean isMCDCCoverage()
                throws java.rmi.RemoteException
        Returns:
        If MC/DC coverage is measured
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setMCDCCoverage

        void setMCDCCoverage​(boolean mcdcCoverage)
              throws java.rmi.RemoteException
        En- or disable MC/DC coverage measurement
        Parameters:
        mcdcCoverage - Should MC/DC coverage be measured
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setSpacesPerTab

        void setSpacesPerTab​(int spacesPerTab)
              throws java.rmi.RemoteException
        Set the amount of spaces used to replace tab stops in the code, when generating the coverage report
        Parameters:
        spacesPerTab - The amount of spaces used to replace tabstops in the code, when generating the coverage report
        Throws:
        java.rmi.RemoteException - remote communication problem

      • getSpacesPerTab

        int getSpacesPerTab()
             throws java.rmi.RemoteException
        Returns:
        The amount of spaces used to replace tabstops in the code, when generating the coverage report
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setSearchHint

        void setSearchHint​(java.lang.String searchHint)
            throws java.rmi.RemoteException
        Parameters:
        searchHint - The search hint used in the generated coverage report
        Throws:
        java.rmi.RemoteException - remote communication problem

      • getSearchHint

        java.lang.String getSearchHint()
                        throws java.rmi.RemoteException
        Returns:
        The search hint used in the generated coverage report
        Throws:
        java.rmi.RemoteException - remote communication problem