1 /*
2 * Themis: Java Project Framework
3 * Copyright 2012-2026. Tony Washer
4 *
5 * Licensed under the Apache License, Version 2.0 (the "License"); you may not
6 * use this file except in compliance with the License. You may obtain a copy
7 * of the License at
8 *
9 * http://www.apache.org/licenses/LICENSE-2.0
10 *
11 * Unless required by applicable law or agreed to in writing, software
12 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
13 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
14 * License for the specific language governing permissions and limitations under
15 * the License.
16 */
17 package io.github.tonywasher.joceanus.themis.solver.proj;
18
19 import io.github.tonywasher.joceanus.themis.parser.base.ThemisInstance.ThemisMethodInstance;
20 import io.github.tonywasher.joceanus.themis.solver.proj.ThemisSolverDef.ThemisSolverClassDef;
21 import io.github.tonywasher.joceanus.themis.solver.proj.ThemisSolverDef.ThemisSolverMethodDef;
22
23 /**
24 * Solver Method.
25 */
26 public class ThemisSolverMethod
27 implements ThemisSolverMethodDef {
28 /**
29 * The owning class.
30 */
31 private final ThemisSolverClassDef theClass;
32
33 /**
34 * The contained method.
35 */
36 private final ThemisMethodInstance theMethod;
37
38 /**
39 * Constructor.
40 *
41 * @param pClass the owning class
42 * @param pMethod the parsed method
43 */
44 ThemisSolverMethod(final ThemisSolverClassDef pClass,
45 final ThemisMethodInstance pMethod) {
46 /* Store the parameters */
47 theClass = pClass;
48 theMethod = pMethod;
49 }
50
51 @Override
52 public ThemisSolverClassDef getOwningClass() {
53 return theClass;
54 }
55
56 @Override
57 public ThemisMethodInstance getUnderlyingMethod() {
58 return theMethod;
59 }
60 }