1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17 package io.github.tonywasher.joceanus.themis.xanalysis.solver.proj;
18
19 import io.github.tonywasher.joceanus.themis.xanalysis.parser.proj.ThemisXAnalysisModule;
20 import io.github.tonywasher.joceanus.themis.xanalysis.parser.proj.ThemisXAnalysisPackage;
21 import io.github.tonywasher.joceanus.themis.xanalysis.solver.proj.ThemisXAnalysisSolverDef.ThemisXAnalysisSolverModuleDef;
22 import io.github.tonywasher.joceanus.themis.xanalysis.solver.proj.ThemisXAnalysisSolverDef.ThemisXAnalysisSolverProjectDef;
23
24 import java.util.ArrayList;
25 import java.util.List;
26
27
28
29
30 public class ThemisXAnalysisSolverModule
31 implements ThemisXAnalysisSolverModuleDef {
32
33
34
35 private final ThemisXAnalysisSolverProjectDef theProject;
36
37
38
39
40 private final ThemisXAnalysisModule theModule;
41
42
43
44
45 private final List<ThemisXAnalysisSolverPackage> thePackages;
46
47
48
49
50
51
52
53 ThemisXAnalysisSolverModule(final ThemisXAnalysisSolverProjectDef pProject,
54 final ThemisXAnalysisModule pModule) {
55
56 theProject = pProject;
57 theModule = pModule;
58
59
60 thePackages = new ArrayList<>();
61 for (ThemisXAnalysisPackage myPackage : theModule.getPackages()) {
62 final ThemisXAnalysisSolverPackage mySolverPackage = new ThemisXAnalysisSolverPackage(this, myPackage);
63 thePackages.add(mySolverPackage);
64 }
65 }
66
67 @Override
68 public ThemisXAnalysisSolverProjectDef getOwningProject() {
69 return theProject;
70 }
71
72 @Override
73 public ThemisXAnalysisModule getUnderlyingModule() {
74 return theModule;
75 }
76
77
78
79
80
81
82 public List<ThemisXAnalysisSolverPackage> getPackages() {
83 return thePackages;
84 }
85
86 @Override
87 public String toString() {
88 return theModule.toString();
89 }
90 }