package Ġcom . github . ker ub istan . ker ub . planner . issues . vi olations Ċ Ċ import Ġcom . github . ker ub istan . ker ub . model . VirtualMachine Ċ import Ġcom . github . ker ub istan . ker ub . model . expect ations . VirtualMachine Expectation Ċ import Ġcom . github . ker ub istan . ker ub . planner . Operation al State Ċ Ċ /** Ċ Ġ* ĠInterface Ġfor Ġdetector s Ġof Ġviolations Ġof ĠVm Ġexpectations . Ċ Ġ*/ Ċ interface ĠVm Violation Detector < in ĠE Ġ: ĠVirtual Machine Expectation > Ġ: ĠVi olation Detector < VirtualMachine , ĠE , ĠOperation al State >