PageRenderTime 31ms CodeModel.GetById 21ms RepoModel.GetById 1ms app.codeStats 0ms

/TestCaseGenerator-Plugin-MinEdgeCoverage/src/edu/umd/cs/guitar/testcase/plugin/TestCaseType.java

https://github.com/swidge/guitar
Java | 42 lines | 9 code | 9 blank | 24 comment | 0 complexity | 319328984f7bcd9a1040e1c8160b259d MD5 | raw file
  1. /*
  2. * Copyright (c) 2009-@year@. The GUITAR group at the University of Maryland. Names of owners of this group may
  3. * be obtained by sending an e-mail to atif@cs.umd.edu
  4. *
  5. * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
  6. * documentation files (the "Software"), to deal in the Software without restriction, including without
  7. * limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
  8. * the Software, and to permit persons to whom the Software is furnished to do so, subject to the following
  9. * conditions:
  10. *
  11. * The above copyright notice and this permission notice shall be included in all copies or substantial
  12. * portions of the Software.
  13. *
  14. * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT
  15. * LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO
  16. * EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
  17. * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR
  18. * THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  19. */
  20. package edu.umd.cs.guitar.testcase.plugin;
  21. import java.util.List;
  22. /**
  23. * Abstract class displaying method to build stacks used in Test Case Generator main frame
  24. * @author <a href="mailto:charlie.biger@gmail.com"> Charlie BIGER </a>
  25. *
  26. */
  27. public interface TestCaseType {
  28. Class<?> getInputType();
  29. List<Object> createPostSequenceStack(List<Integer> localInteractionEventsList , List<Integer> localInvokingEventsList, List<Object> visited);
  30. List<Object> createPreSequenceStack(List<Integer> preSequence, List<Integer> invokingEvents);
  31. List<Object> createCurrentSequenceStack(List<Integer> localInteractionEventsList, List<Integer> localInvokingEventsList, List<Object> visited);
  32. boolean isEdge();
  33. }