Package com.piketec.tpt.api.tasmo
Interface TasmoCoverageGoal
-
- All Superinterfaces:
IdentifiableRemote
,java.rmi.Remote
,TptRemote
public interface TasmoCoverageGoal extends IdentifiableRemote
This class represents a tasmo coverage goal.- Author:
- Copyright (c) 2014-2024 Piketec GmbH - MIT License (MIT) - All rights reserved
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.lang.String
getContextString()
Get the context for this coverage goal.CoverageGoalStatus
getCurrentStatus()
Get the current status for this coverage goal.java.lang.String
getFormulaString()
Get the formaula for this coverage goal.-
Methods inherited from interface com.piketec.tpt.api.IdentifiableRemote
getIdentifier
-
-
-
-
Method Detail
-
getContextString
java.lang.String getContextString() throws java.rmi.RemoteException
Get the context for this coverage goal. In case of Simulink this will be the block path and in case of C-Code this will contain the name of the source file and function.- Returns:
- A string representing the context of this coverage goal.
- Throws:
java.rmi.RemoteException
- remote communication problem
-
getFormulaString
java.lang.String getFormulaString() throws java.rmi.RemoteException
Get the formaula for this coverage goal.- Returns:
- A string representing the formula of this coverage goal.
- Throws:
java.rmi.RemoteException
- remote communication problem
-
getCurrentStatus
CoverageGoalStatus getCurrentStatus() throws java.rmi.RemoteException
Get the current status for this coverage goal.- Returns:
- The current status for this coverage goal.
- Throws:
java.rmi.RemoteException
- remote communication problem
-
-