Adding sypet to repo
[Benchmarks_CSolver.git] / sypet / src / edu / utexas / sypet / synthesis / model / Benchmark.java
1 /*
2  * Copyright (C) 2017 The SyPet Authors
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  * http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 package edu.utexas.sypet.synthesis.model;
17
18 import java.util.List;
19 import java.util.Set;
20
21 public class Benchmark {
22
23         private int id;
24
25         private String methodName;
26
27         private List<String> srcTypes;
28
29         private String tgtType;
30
31         private Set<String> packages;
32
33         private List<String> solutions;
34
35         private List<String> libs;
36
37         private List<String> paramNames;
38         
39         private String methodHeader;
40
41         private String testPath;
42
43         private String testBody;
44
45         private String body;
46
47         public int getId() {
48                 return id;
49         }
50
51         public void setId(int id) {
52                 this.id = id;
53         }
54
55         public String getMethodName() {
56                 return methodName;
57         }
58
59         public void setMethodName(String methodName) {
60                 this.methodName = methodName;
61         }
62
63         public List<String> getSrcTypes() {
64                 return srcTypes;
65         }
66
67         public void setSrcTypes(List<String> srcTypes) {
68                 this.srcTypes = srcTypes;
69         }
70
71         public String getTgtType() {
72                 return tgtType;
73         }
74
75         public void setTgtType(String tgtType) {
76                 this.tgtType = tgtType;
77         }
78
79         public Set<String> getPackages() {
80                 return packages;
81         }
82
83         public void setPackages(Set<String> packages) {
84                 this.packages = packages;
85         }
86
87         public List<String> getSolutions() {
88                 return solutions;
89         }
90
91         public void setSolutions(List<String> solutions) {
92                 this.solutions = solutions;
93         }
94         
95         public List<String> getLibs() {
96                 return libs;
97         }
98
99         public void setLibs(List<String> libs) {
100                 this.libs = libs;
101         }
102         
103         public String getMethodHeader() {
104                 return methodHeader;
105         }
106
107         public void setMethodHeader(String methdHeader) {
108                 this.methodHeader = methdHeader;
109         }
110
111         public String getTestPath() {
112                 return testPath;
113         }
114
115         public void setTestPath(String testPath) {
116                 this.testPath = testPath;
117         }
118
119         public String getTestBody() {
120                 return testBody;
121         }
122
123         public void setTestBody(String testBody) {
124                 this.testBody = testBody;
125         }
126
127         public List<String> getParamNames() {
128                 return paramNames;
129         }
130
131         public void setParamNames(List<String> paramNames) {
132                 this.paramNames = paramNames;
133         }
134
135         public String getBody() {
136                 return body;
137         }
138
139         public void setBody(String body) {
140                 this.body = body;
141         }
142 }