/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
- /*
- * Copyright (c) 2009-@year@. The GUITAR group at the University of Maryland. Names of owners of this group may
- * be obtained by sending an e-mail to atif@cs.umd.edu
- *
- * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
- * documentation files (the "Software"), to deal in the Software without restriction, including without
- * limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
- * the Software, and to permit persons to whom the Software is furnished to do so, subject to the following
- * conditions:
- *
- * The above copyright notice and this permission notice shall be included in all copies or substantial
- * portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT
- * LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO
- * EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
- * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR
- * THE USE OR OTHER DEALINGS IN THE SOFTWARE.
- */
- package edu.umd.cs.guitar.testcase.plugin;
- import java.util.List;
- /**
- * Abstract class displaying method to build stacks used in Test Case Generator main frame
- * @author <a href="mailto:charlie.biger@gmail.com"> Charlie BIGER </a>
- *
- */
- public interface TestCaseType {
- Class<?> getInputType();
- List<Object> createPostSequenceStack(List<Integer> localInteractionEventsList , List<Integer> localInvokingEventsList, List<Object> visited);
- List<Object> createPreSequenceStack(List<Integer> preSequence, List<Integer> invokingEvents);
- List<Object> createCurrentSequenceStack(List<Integer> localInteractionEventsList, List<Integer> localInvokingEventsList, List<Object> visited);
- boolean isEdge();
- }