TasmoCoverageGoal

All Superinterfaces:

IdentifiableRemote, java.rmi.Remote, TptRemote
```
public interface TasmoCoverageGoal
extends IdentifiableRemote
```
This class represents a tasmo coverage goal.

Author:

Copyright (c) 2014-2022 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