header { package = #test#,
         import = #vendingMachine.*# }

// This file includes the schema used for the following paper:
// Test Suite Selection Based on Traceability Annotations - Tool demonstration

// Definition of groups which add coins to the vending machine

// Then a structured version of the group which adds two coins.

groupheader {testCategory = #NominalValues#}
group validCoins { values = [10,25,100]; }

groupheader {testCategory = #RobustnessValues#}
group invalidCoins { values = [20,50,200]; }

group Coins { values = [@validCoins, @invalidCoins]; }

// First a group which adds two coins
group AddTwoCoins[us=true] {
  VendingMachine vm = new VendingMachine();
  vm.coin(@Coins){2};
  }