SemanticDifferenceDetector (GTF 2.0.1 API)

java.lang.Object
- science.aist.gtf.verification.syntactic.SemanticDifferenceDetector

```
public class SemanticDifferenceDetector
extends Object
```
Class for detecting semantic differences of a verification result

Since:

1.0

Author:

Christoph Praschl

Constructor Summary

Constructors
Constructor Description

SemanticDifferenceDetector()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addAffectedField(Class<?> clazz, String fieldname)`	Method for adding a class field by name
`void`	`addAffectedField(Field field)`	Method for adding a field to the affected fields list
`PropertyVerificatorResult`	`detect(PropertyVerificatorResult input)`	Method which filters a `PropertyVerificatorResult` based on the transformation affected fields

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SemanticDifferenceDetector
```
public SemanticDifferenceDetector()
```
- Method Detail
  - addAffectedField
```
public void addAffectedField(Field field)
```
    Method for adding a field to the affected fields list
    
    Parameters:
    
    field - field to be added
  - addAffectedField
```
public void addAffectedField(Class<?> clazz,
                             String fieldname)
```
    Method for adding a class field by name
    
    Parameters:
    
    clazz - clazz containing the field
    
    fieldname - name of the field
  - detect
```
public PropertyVerificatorResult detect(PropertyVerificatorResult input)
```
    Method which filters a PropertyVerificatorResult based on the transformation affected fields
    
    Parameters:
    
    input - The result which should be filtered
    
    Returns:
    
    the filtered result