com.github.mryf323.tractatus

Annotation Type CACC

@Target(value=METHOD)
 @Retention(value=RUNTIME)
 @Repeatable(value=CaccContainer.class)
public @interface CACC

Methods being annotated with this annotation, satisfy a correlated active clause coverage test requirement (TR). This annotation indicates the predicate, using element predicate, the major clause using majorClause element and the value of the predicate with predicateValue. Valuations of every clause used in the predicate, are also given using valuations element.

Example below shows a sample usage of this annotation.

     @NearFalsePoint(
      predicate = "(a + (bc)) d",
      majorClause = 'a',
      valuations = {
          @Valuation(clause = 'a', valuation = true),
          @Valuation(clause = 'b', valuation = true),
          @Valuation(clause = 'c', valuation = false),
          @Valuation(clause = 'd', valuation = true)
      },
      predicateValue = true
     )
     @Test
     public void test1() {
         ...
     }
 

Note: If a test method covers correlated active clause coverage TR s, you can annotate that method with @@CACC multiple times.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
char	majorClause
java.lang.String	predicate String representation of a predicate.(i.e "a (b + c)")
boolean	predicateValue
Valuation[]	valuations Valuation of each clause.

Element Detail

predicate

public abstract java.lang.String predicate

String representation of a predicate.(i.e "a (b + c)")

Returns:

a string consists of '+' and some alphabetical clauses.

majorClause

public abstract char majorClause

Returns:

major clause of given predicate

valuations

public abstract Valuation[] valuations

Valuation of each clause.

Returns:

an array which assigns every clause in the predicate a value.

predicateValue

public abstract boolean predicateValue

Returns:

the value of the predicate according to the valuations of major clauses.