Java StepResult Examples

Example #1

File: LocationOnlyImpl.java Project: danielratiu/eclipse-cbmc

 @Override
 public StepResult interpret(Context context) {
   StepResult result = ProcessFactory.eINSTANCE.createStepResult();
   result.setCode(SteppingResult.STEP_COMPLETE);
   result.setStepDone(Context.LOCATION_ONLY);
   return result;
 }

Example #2

File: FunctionReturnImpl.java Project: danielratiu/eclipse-cbmc

 private StepResult createResult() {
   StepResult result = ProcessFactory.eINSTANCE.createStepResult();
   result.setCode(SteppingResult.STEP_COMPLETE);
   result.setStepDone(Context.FUNCTION_RETURN);
   return result;
 }