Package com.piketec.tpt.api.codecoverage

Interface CTCCoverageSettings

  • All Superinterfaces:
    CoverageSettings, IdentifiableRemote, java.rmi.Remote, TptRemote
    public interface CTCCoverageSettings
extends CoverageSettings
    Represents the settings for a coverage measurement with CTC++ for an AUTOSAR or C/C++ Platform
    Use PlatformConfiguration.setCoverageToCTC() to get CTC settings, they will be used for instrumentation afterwards

    • Method Detail

      • getSymbolFile

        java.lang.String getSymbolFile()
                        throws java.rmi.RemoteException
        Returns:
        The current symbol file, null if no symbol file is set
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setSymbolFile

        void setSymbolFile​(java.lang.String symbolFile)
            throws java.rmi.RemoteException
        Parameters:
        symbolFile - The new symbol file
        Throws:
        java.rmi.RemoteException - remote communication problem

      • isFunctionCoverage

        boolean isFunctionCoverage()
                    throws java.rmi.RemoteException
        Returns:
        If function coverage is currently measured
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setFunctionCoverage

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

      • isStatementCoverage

        boolean isStatementCoverage()
                     throws java.rmi.RemoteException
        Returns:
        If statement coverage is currently measured
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setStatementCoverage

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

      • isDecisionCoverage

        boolean isDecisionCoverage()
                    throws java.rmi.RemoteException
        Returns:
        If decision coverage is currently 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 currently 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 currently 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

      • isMulticonditionCoverage

        boolean isMulticonditionCoverage()
                          throws java.rmi.RemoteException
        Returns:
        If multicondition coverage is currenty measured
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setMulticonditionCoverage

        void setMulticonditionCoverage​(boolean multiconditionCoverage)
                        throws java.rmi.RemoteException
        En- or disable multicondition coverage
        Parameters:
        multiconditionCoverage - Should multicondition coverage be measured
        Throws:
        java.rmi.RemoteException - remote communication problem

      • isEnableAnnotationsForReportGeneration

        boolean isEnableAnnotationsForReportGeneration()
                                        throws java.rmi.RemoteException
        Returns:
        If annotations for report generation are enabled
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setEnableAnnotationsForReportGeneration

        void setEnableAnnotationsForReportGeneration​(boolean enableAnnotationForReportGeneration)
                                      throws java.rmi.RemoteException
        En- or disable annotations for report generation
        Parameters:
        enableAnnotationForReportGeneration - Should annotations for report generation be enabled
        Throws:
        java.rmi.RemoteException - remote communication problem

      • isDisableHTMLSourcesInCTCReport

        boolean isDisableHTMLSourcesInCTCReport()
                                 throws java.rmi.RemoteException
        Returns:
        If HTML sources are disabled in the CTC report
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setDisabledHTMLSourcesInCTCReport

        void setDisabledHTMLSourcesInCTCReport​(boolean disableHTMLSourcesInCTCReport)
                                throws java.rmi.RemoteException
        En- or disable HTML sources in the CTC report
        Parameters:
        disableHTMLSourcesInCTCReport - Should HTML sources in the CTC report be disabled
        Throws:
        java.rmi.RemoteException - remote communication problem

      • getSourceFileList

        java.lang.String getSourceFileList()
                            throws java.rmi.RemoteException
        Returns:
        the source file list
        Throws:
        java.rmi.RemoteException - remote communication problem

      • setSourceFileList

        void setSourceFileList​(java.lang.String sourceFileList)
                throws java.rmi.RemoteException
        Set the source file list
        Parameters:
        sourceFileList - The new source file list, old values will be overwritten
        Throws:
        java.rmi.RemoteException - remote communication problem