import edu.rice.cs.caper.bayou.annotations.Evidence;
import java.util.HashMap;

// Bayou supports three types of evidence:
// 1. apicalls - API methods the code should invoke
// 2. types - datatypes of objects which invoke API methods
// 3. context - datatypes of variables that the code should use

public class TestUtil {

    // NOTE: Bayou only supports one synthesis task in a given
    // program at a time, so please comment out the rest.

    /* Store a key value pair in a map */
    void store(HashMap<Integer,String> map, Integer key, String value) {
        { // Provide evidence within a separate block
            // Code should call "put"
            Evidence.apicalls("put");
        } // Synthesized code will replace this block
    }   
}

@@ -1,12 +1,575 @@
+/*%0ACopyright 2017 Rice University%0A%0ALicensed under the Apache License, Version 2.0 (the %22License%22);%0Ayou may not use this file except in compliance with the License.%0AYou may obtain a copy of the License at%0A%0A    http://www.apache.org/licenses/LICENSE-2.0%0A%0AUnless required by applicable law or agreed to in writing, software%0Adistributed under the License is distributed on an %22AS IS%22 BASIS,%0AWITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.%0ASee the License for the specific language governing permissions and%0Alimitations under the License.%0A*/%0A%0A
 import edu.r

Add license header to TestUtil.java